3줄로 수학 완전성 증명
게시글 주소: https://ebsi.orbi.kr/00071967720
1. (Not A->모순)->(A의 증명있음)
2. (Not A->모순)<->A
3. A->(A의 증명있음)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내신 폭망해서 정시 중점으로 챙길 예정 내신 때 사문 세지했는데 11모 세지 6 뜸...
게시글 주소: https://ebsi.orbi.kr/00071967720
1. (Not A->모순)->(A의 증명있음)
2. (Not A->모순)<->A
3. A->(A의 증명있음)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
내신 폭망해서 정시 중점으로 챙길 예정 내신 때 사문 세지했는데 11모 세지 6 뜸...
첫번째 댓글의 주인공이 되어보세요.