명제, 가정, 결론, 역
| 명제 | 참, 거짓을 판별할 수 있는 문장 또는 식 |
| p이면 q이다. | 가장 흔히 볼 수 있는 명제의 꼴. p를 가정, q를 결론이라 하고 p → q라고 나타낸다. |
| 역 | 가정과 결론을 바꾸어 놓은 명제 p → q와 q → p는 서로 역 |
| 명제(proposition) 가정(hypothesis) 결론(conclusion) 역(converse) |
(보기) |
명제 : 사람이면 동물 (참) 역 : 동물이면 사람 (거짓) |
|
