2019년 8월 18일 (일) 15:09 판 편집 Pk0001 (토론 \| 기여) 장기인증된 사용자 30,399 편집 →‎고전 논리학과 기호 논리학의 비교 ← 이전 편집		2019년 8월 18일 (일) 15:10 판 편집 편집 취소 Pk0001 (토론 \| 기여) 장기인증된 사용자 30,399 편집 →‎고전 논리학과 기호 논리학의 비교 다음 편집 →
44번째 줄: \| 전제 1\|\| 만약 A가 B라면 C가 아니거나 D이다. \|\| <math> B\supset (-C \or D)</math>\|\| \|- \| 전제 2 \|\| 만약 A가 ~~E라면~~ C가 ~~아니다~~아니라면 E이다. \|\|<math> E \supset -C </math>\|\| (E) \|- \| 전제 3 \|\| A는 B이다. \|\|<math> B</math> \|\|

수리 논리학: 두 판 사이의 차이