쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-02-13 06:32:07
조회수 382

3줄로 수학 완전성 증명

게시글 주소: https://orbi.kr/00071967720

1. (Not A->모순)->(A의 증명있음)


2. (Not A->모순)<->A


3. A->(A의 증명있음)




0 XDK (+0)

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


  • 첫번째 댓글의 주인공이 되어보세요.