명제논리 갖고노는거 줴밋다
게시글 주소: https://orbi.kr/00072130045
1. (A가 거짓->모순)->(A의 증명있음)
2. (A의 증명없음)->(A가 거짓 and 무모순)
3. (A는 공리)->(A의 증명없음)
4. (A는 공리)->(A가 거짓 and 무모순)
무모순=참
5. (A는 공리)->(A가 거짓)
6. (A가 참)->(A는 공리아님)
규칙도 몇개안됨
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어떻게 끌어올리셨나요? 조언부탁해요
-
그만늙고싶다 4
후
-
학평 ㅇㅈ 3
전설의 언매 ALL틀
-
ㄹㅇ임 근데 너무 큰 도서관 말고
-
굿모닝 1
ㄱㅁㄴ
-
혐오의시대님 8
나가뒤져주세요 그냥
-
오늘은 바로 히토리쟝의 생일
-
지하인선 어떤가요?
-
본인은 강원의 아니고 다른 학교 우리 학교에서 강원의 간 애가 있는데 걔 친구한테...
-
ㅇㅂㄱ 1
수업가야겠군
-
내가 걔한테 자취방에 친구 없으면 놀러가도돼? 이랬는데... 웅 시간되면 놀러와...
-
신승범쌤 어삼쉬사 그런건가
-
아이큐 100 이상이면 100점 가능 본인은 아이큐 2라 최대 2점임
-
머하지
-
나도 킬러 그냥 보자마자 3분컷 조지는 천재였으면 좋겠네 7
평범해서우럿어
-
안 맞게 공부를 하고 잇음 ㅋㅋ,,내 공부 이론대로 하는 공부가 좀 상당히 피곤함....
-
내 차단리스트 1
없음뇨
-
공부하고 싶은게 있어요
매우 논리적임
천덕코 드릴수있습니다 원하십니까
정말 감사합니다
전송완료