모순

모순 (후건의 긍정)

P이면 Q이다.
Q.
따라서 P이다.

당신이 경찰이라면 당신에게는 곤봉이 있다.
당신에게는 곤봉이 있다.
따라서 당신은 경찰이다.

Modus Ponens

P 이면 Q이다.
P.
따라서 Q이다.

사회의 기본구조가 정의롭다면 시민들은 저항하지 않는다.
우리 사회의 기본 구조는 정의롭다.
따라서 우리 사회의 시민들은 저항하지 않는다.

모순 (전건의 부정)
P이면 Q이다.
P가 아니다.
따라서 Q도 아니다.

랩미팅을 하면 회식을 한다.
랩미팅을 하지 않았다.
따라서 회식도 하지 않았다.

Modus Tollens.


P이면 Q이다.
Q가 아니다.
따라서 P도 아니다.

내가 런던에 있다면 나는 영국에 있는 것이다.

나는 영국에 있지 않다.

따라서 나는 런던에 있지 않다. 

P, Q로 표현하면 간단한데, 실제 사건을 이렇게 다루면 헷갈릴듯~