명제논리 갖고노는거 줴밋다
게시글 주소: 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를 선물하세요.
-
저도 야자타임 9
이제는 말할 수 있다 ㄱㄱ
-
집에서 지원을 안해주신다 하셔서 자비로 반수했는데, 수시로 온 곳 정시로 올 성적이...
-
(중요) 14
우리 모두 큐레이셔언(이)를 사랑해주자 감사합니다.
-
꾸준히 햇으면 꽤나 올렷을거 같은데 오랜만에 하려니 계속 같은 곳에서...
-
키작은 사람이 6
큰 사람보단 끌림
-
이 ㅅ3ㄲ 족쳐야해
-
연애할래 14
난 진짜 손만 잡아
-
ㅋㅋㅋㅋ
-
어느새 2시 12
새르비의 시간이에요
-
ㅇㅈ 14
본거 또보고.
-
이건 꼭 간다... 2장 예매해야지
-
학원 도착함 1
-
선착5 16
천덕
-
딸친놈 11
-
지로함 6
평가원에선 잘 모르겟는데 (어렵게 안 내서), N제같은거 보면 되게 재밋는 문제...
-
얼버잠 12
-
나만 알겟음
-
지능이 높으니까 그런 소리 하는거임
매우 논리적임
천덕코 드릴수있습니다 원하십니까
정말 감사합니다
전송완료