쿠쿠리 [1310649] · MS 2024 (수정됨) · 쪽지

2025-01-23 10:26:40
조회수 556

논리 결합

게시글 주소: https://banana.orbi.kr/00071493306

https://orbi.kr/00071475646


공리를 부정하면 무모순


무모순<->참


공리를 부정하면 참


공리A를 부정하면 공리A가 거짓이되고 "not 공리A"가 참이됨


"not 공리A"에서 도출되는 결론은 참(전제가 참이면 결론이 참)


0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.