공리=거짓
게시글 주소: https://i.orbi.kr/00071947259
(A가 거짓->모순)<->(A가 참)
A에 공리 대입시
(공리가 거짓->모순)<->(공리가 참)
즉,
공리가 참이면 귀류법 증명이 생겨서 공리의 정의에 위배되어 공리가 아니게 됨
즉,
참인 공리면 공리가 아님
공리면 거짓인 공리임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
게시글 주소: https://i.orbi.kr/00071947259
(A가 거짓->모순)<->(A가 참)
A에 공리 대입시
(공리가 거짓->모순)<->(공리가 참)
즉,
공리가 참이면 귀류법 증명이 생겨서 공리의 정의에 위배되어 공리가 아니게 됨
즉,
참인 공리면 공리가 아님
공리면 거짓인 공리임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.