A : B는 참이다.

B : A는 거짓이다.


이렇게 두 명제가 있을 때 모순아님?/?? 이걸 수학적으로 어떻게 설명함?