내수입보기 | 수익출금 | 회원순위
명제 에서 조건 를 가정, 를 결론이라고 합니다.
두 조건 와 를 가지고 새로운 명제를 만들 수 있을 것입니다. 가정과 결론을 서로 바꾼다든지, 각각 조건의 부정을 가정과 결론으로 한다든지 하는 식으로 말입니다.
명제 에 대하여
를 역, 를 이, 를 대우라고 하며 이 명제들 사이의 관계를 아래 그림과 같이 나타낼 수 있습니다.