역·이·대우

• 역: 전건과 후건의 순서를 바꾼 것
• 이: 순서는 그대로 두고 긍정과 부정을 뒤바꾼 것
• 대우: 역 + 이 , 대우는 원래 명제와 참,거짓이 항상 일치한다.
  • 즉, 어떤 명제와 그 대우는 동치이다.

대우를 만드는 방법과 시간의 문제

• 대우를 기계적으로 만들다보면 곤란한 일이 발생하기도 한다.
• 예를 들어서, ‘바람이 불면 나무통 장수가 돈을 번다' 의 대우는?
  • ‘나무통 장수가 돈을 벌지 못하면, 바람이 불지 않는다’
  • 마치 바람이 부는 것이 나무통 장수에 의해 좌지우지되는 듯한 느낌으로 보인다.
• 이것은 조건문의 형태에 시간의 경과를 포함할 수도 있기 때문이다.
  • ‘A하면 B한다' 라는 조건문
    • A한뒤에 B한다라는 시간의 전후 관계가 포함된다.
• 논리학에서 다루는 조건문은 시간의 전후 관계가 없다.
  • 따라서 A가 참일 때 B가 참인지만 따지면된다.
  • 그런데 대우를 만들면 시간 전후관계가 바뀐 것처럼 보이기도 한다.
• 일상에서 사용하는 언어와 동일한 언어를 사용하여 논리학을 생각하고자 할때 발생하는 어려움이다.
  • 대신, 표현 방법을 잘 바꾸면 위와 같은 착각을 회피할수 있다.
  • ‘나무통 장수가 돈을 벌지 못했다면 바람이 불지 않았을 것이다’