작가의 글을 더 이상 구독하지 않고,
새 글 알림도 받아볼 수 없습니다.
정언 논리 #4
[소전제] 모든 고래는 포유류다
[대전제] 모든 포유류는 물고기가 아니다
∴ 모든 고래는 물고기가 아니다
모든 성인은 어린이가 아니다
어떤 학생은 어린이가 아니다
∴ 어떤 성인은 학생이 아니다
모든 고양이는 귀엽다
어떤 귀여운 것은 생선을 좋아하지 않는다
∴ 어떤 고양이는 생선을 좋아한다
어떤 사람은 악하다
어떤 사람은 강하다
∴ 어떤 약한 것은 강하다
어떤 동물은 포유류다
모든 조류는 동물이다
∴ 모든 포유류는 조류다
모든 철학자는 진지하다
어떤 사람은 진지하지 않다
∴ 어떤 사람은 철학자가 아니다
모든 F는 G다
어떤 H는 G가 아니다
∴ 어떤 H는 F가 아니다
모든 논리학자는 똑똑하다
어떤 철학자는 똑똑하다
∴ 어떤 철학자는 논리학자다
모든 F는 G다
어떤 H는 G다
∴ 어떤 H는 F다