[자연어 논리학] 「020 모순문장」, 『두뇌보완계획100』

*모순문장(어긋난 말, contradiction)
  - 한 문장과 그것의 부정문이 이고로 이어져 있는 문장
  - 참말과 거짓말이 이고로 이어져 있는 문장
  so. 아무 평서문 X에 대해 다음은 모순문장이다.
      : X이고, X는 거짓이다.
  ex. 히틀러는 착하고, 히틀러는 착하지 않다.

*항위문장(반드시 거짓말, logical false)
  - 언제나 반드시 거짓인 문장
  - 모든 모순문장은 항위문장이지만, 모든 항위문장이 모순문장인 것은 아님
  ex. 철수와 영희는 착하지만 영희는 착하지 않다.

*모순율(어긋난 말의 굴레, the law of contradiction)(=무모순율, 비모순율, the law of non-contradiction)
  - “모순문장은 언제나 반드시 거짓이다.”
  - “모순문장의 부정문은 언제나 반드시 참이다.”

*타당한 추론의 결론이 모순문장인 경우
  - 전제들 가운데 적어도 하나가 거짓인 경우
  ex. 만일 히틀러가 사람이면, 히틀러는 착하다.
        히틀러는 사람이다.
        히틀러는 착하지 않다.
        따라서 히틀러는 착하고, 히틀러는 착하지 않다.
  ⇒ “만일 히틀러가 사람이면, 히틀러는 착하다.”는 거짓이다. or
        “히틀러는 사람이다.”는 거짓이다. or
        “히틀러는 착하지 않다.”는 거짓이다.