명제논리 갖고노는거 줴밋다
게시글 주소: 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를 선물하세요.
-
순서기억테스트 해봄 11
https://humanbenchmark.com/tests/sequence 이거...
-
살아있대요 14
거짓뉴스 ㅈㅅ합니다 ㅠㅠ 그런 의미로 선착순 10명 100 덕씩
-
헤헤
-
탈르비하셨던데 그래도 같은 T1팬인데 서로 상처만 남는 키배를한듯
-
이기는 편 내편 3
아무나 이겨라
-
반전 2
Inversion 진짜 개꿀잼 1등 츄라이 츄라이
-
짝사랑 10
최대 몇년까지해봄? 3개월
-
잠깐 뭐 보다가 왔는데 10
아까까지만 햐도 다들 히히덕거리면서 ㄱㅁㄱㅁ하던데 왜 또 이럼? 메타설명좀햐주새요
-
공부못하면서 꼴값떤다고 욕먹으려나
-
-
20.x살인듯 ㅋㅋㅋㅋㅋ 삼수이상 ㅈㄴ 많던데 ㄷㄷ
매우 논리적임
천덕코 드릴수있습니다 원하십니까
정말 감사합니다
전송완료