반례가 없다는 관점 (공집합 비유와 유사):
- "모든 A는 B이다"라는 주장을 거짓으로 만들려면, A이면서 B가 아닌 것(반례)을 찾아야 합니다.
- 만약 "A인 것" 자체가 존재하지 않는다면 (즉, 전제가 거짓이라면), 반례를 찾는 것이 불가능합니다.
- 따라서 반례가 없으므로 원래 주장은 참이라고 인정하는 것입니다.
- 예: "내 방에 있는 모든 유니콘은 분홍색이다."
- 내 방에는 유니콘이 한 마리도 없습니다 (전제 "내 방에 유니콘이 있다"가 거짓).
- 따라서 "분홍색이 아닌 유니콘" (반례)을 내 방에서 찾을 수 없습니다.
- 그러므로 이 명제는 공허하게 참입니다.
이거 맞는말임??
P: For all x in A, x in B not P: There exists x in A such that x is not in B not P가 거짓임 (A가 공집합이므로, 그러한 x가 존재할 리가 없음) 따라서 P는 참임