조건문이란 무엇인가?

• 만약 A이면 B이다.

• A라는 명제가 성립했을 때, B라는 명제도 성립하는 것을 주장하는 문장

• A 를 전건

• B 를 후건이라고 한다.

• A 가 성립한 경우만을 이야기하므로, A가 성립하지 않은 경우에 대해서는 아무것도 주장할 수 없습니다.

  만약 내일 날씨가 좋다면, 나는 소풍을 갈것이다.

  • 날씨가 안좋아도 소풍을 갈 수 있다.
  • 즉, 날씨가 좋다면 가겠다고 한 것일 뿐 좋지 않으면 안가겠다는 것을 주장한 것이 아니다.

• 형태가 조건문처럼보여도 A라는 명제가 가정이 아니라면 조건문이 아닙니다.

  만약 교실에 갔더니 선생님이 있었다.

  전건은 이미 실현된 일이며 가정의 내용이 아닙니다. 따라서 위 문장은 조건문이 아닙니다.

명제 논리

• 부정, 선언, 연언, 조건을 이용하여 명제를 연결하고 논증하는 논리 체계

역, 이, 대우

A이면 B이다.

• 역: 전건 A 와 후건 B의 순서를 바꾼다.
  • B이면 A이다.
• 이: 긍정·부정을 뒤집는다.
  • A가 아니라면 B가 아니다.
• 대우: 역 + 이
  • B가 아니라면 A가 아니다.

<aside> 💡 원래 문장과 참·거짓이 일치하는 것은 대우 뿐이다.

</aside>

예시

만약 날씨가 좋다면 소풍을 갈 것이다.

• 역 : 만약 소풍을 간다면 날씨가 좋을 것이다.
• 이: 만약 날씨가 좋지 않다면 소풍을 가지 않을 것이다.
• 대우: 만약 소풍을 가지 않는다면 날씨가 좋지 않을 것이다.