수리 논리학: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
Texvc2LaTeXBot (토론 | 기여) 잔글 mw:Extension:Math/Roadmap에 따라 사용되지 않는 수학 구문을 대체함 |
||
12번째 줄:
! 언어 !! 기호
|-
| 그리고 || <math>\cdot , \
|-
| 또는 || <math>\
|-
| 만일 A 이면 B 이다 || <math>A \subset B ,A \to B </math>
53번째 줄:
! 명제 !! 고전 논리학 !! 기호논리학의 기호화 || 기호논리학의 근거제시
|-
| 전제 1|| 만약 A가 B라면 C가 아니거나 D이다. || <math> B\supset (-C \
|-
| 전제 2 || A는 E이거나 또는 C이다. ||<math> E \
|-
| 전제 3 || A는 B이다. ||<math> B</math> ||
| |||