수학황님들 도와주십시오..
게시글 주소: https://orbi.kr/00071901689
1. (A가 거짓->모순)->(A가 참이라는 증명이 있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2 .(A가 참이라는 증명이 없음)->(A가 거짓 and 무모순)   
A에 "공리" 대입하면
"공리가 참이라는 증명이 없으면->공리가 거짓"
그리고 원래 공리는 증명이 없으므로
공리는 거짓.
0 XDK (+0)
- 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요. 
- 
        
        4월에 도쿄에서 2 0 옵만추 하실분 
- 
        
        경희는 글로벌커뮤니케이션이고 4반수를 하게 된다면 목표는 서성한 상경계열 또는... 
- 
        
        언매 5 0 지금 언매 시작하면 너무 늦나요,,? (쌩노배꺼지는 아니예요) 
- 
        
        밥말아 먹고 다시 침대로 0 0 카페인과 험께 
- 
        
        개념 때려잡고싶다 2 0 
- 
        
        뭐하는 놈일까? 
- 
        
        [칼럼] 정의 5 8 안녕하세요. 다들 수능 준비는 열심히 하고 계신가요? 저는 복학 준비로 여러모로... 
- 
        
        으흐흐 오늘 한 5명한테 피부칭찬들음 
- 
        
        가고싶은 곳이 서울대면 무조건 과탐 투투 해야하나요..? 10 0 아님 투원도 괜찮나요.. 
- 
        
        인식이 안좋은것 같아 마음이 아파요 
- 
        
        친구들의 최후를 매번 봐야 함... 인간에 대한 배신감과 분노로 인해 죽창으로 변해서 찌를수도 있음 
- 
        
        아 진짜 좆같다 2 0 온세상이 억까를 하네 
- 
        
        캔버스 N제 언제 나올까 1 1 UAA&DCAF 팀에서는 2월 초에 나온다고 했는데 3월 전에는 나올까요 
 
     
                
             
     
     
     
 
     
     
     
 
     
 
     
     
     
 
    






 
 
                  


A에 공리를 대입하면
1번 명제는 공리가 거짓이다랑 동치인데, 귀류법이랑은 무슨 상관인지 모르겠어요.
A가 거짓일떄 모순이 생기면 A가 참이라는거죠