논리 결합
공리를 부정하면 무모순
무모순<->참
공리를 부정하면 참
공리A를 부정하면 공리A가 거짓이되고 "not 공리A"가 참이됨
"not 공리A"에서 도출되는 결론은 참(전제가 참이면 결론이 참)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
공리를 부정하면 무모순
무모순<->참
공리를 부정하면 참
공리A를 부정하면 공리A가 거짓이되고 "not 공리A"가 참이됨
"not 공리A"에서 도출되는 결론은 참(전제가 참이면 결론이 참)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
ㅎㅇ
ㅎㅇ
Hi