최종정리-모든 명제가 참이면 무모순
비모순율 : not(A and not A)
비=not
따라서
모순<->(A and not A)<->거짓
(A and not A)가 거짓이면 A또는 not A가 거짓
따라서
모순이면->어떤명제가 거짓
대우명제
모든 명제가 참이면->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
비모순율 : not(A and not A)
비=not
따라서
모순<->(A and not A)<->거짓
(A and not A)가 거짓이면 A또는 not A가 거짓
따라서
모순이면->어떤명제가 거짓
대우명제
모든 명제가 참이면->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.