명제

명제

1. 명제
   두 조건 로 이루어진 명제 ' 이면 이다.'를 기호로 와 같이 나타낸다. 이때 를 가정, 를 결론이라 한다.
   
   
2. 명제 의 참, 거짓
   명제 에 대하여 두 조건 의 진리집합을 각각 라 할 때,
1. 이면 명제 는 참이다.
   거꾸로 명제 가 참이면 이다.
2. 이면 명제 는 거짓이다.
   거꾸로 명제 가 거짓이면 이다.