[ 수학논리 ] 순서를 바꾸는 것은 유니크하다

 

A => B

기존 명제의 대우는

~B => ~A

이며 기존 명제와 동치다.

자리를 바꿈과 동시에 부정이 들어간다.

 

역은 

B => A 이다.

단순히 자리만 바꿀 뿐이다.

하지만 기존 명제와 동치가 되지 않는다.

 

그말은 단지 순서만 바꾸더라도 기존과는 전혀 다른 것을 만들어 낼 수 있다는 것이다.