추론 규칙: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
31번째 줄:
|-
| 아니다 || <math>-,\neg</math> || 부정 명제
|-
| A 는 B 이다 (동치) || <math>A\leftrightarrow B</math> || 정언 명제
|}