수리 논리학: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
|||
26번째 줄:
! 비교 !! 고전 논리학 !! 기호 논리학
|-
| 전제 1|| 만약 A가 B라면 C가 아니거나 D이다. || <math> B\supset (-C \or D)</math>
|-
| 전제 2 || 만약 A가 E라면 C가 아니다. ||<math> E \supset -C </math>
|-
| 전제 3 || A는 B이다. || B
|-
| 전제 4 || A는 D이다. || D
|-
| 결론 || A는 E가 아니다. || -E
|}
| |||