명제논리 갖고노는거 줴밋다
게시글 주소: 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
원하는 기상시간보다 45분이나 일찍일어나버렸다
-
평균만 가졌다면...
-
잘까 4
흠
-
241122. 5
진짜 딱 삼차함수여서 결정됨. 머지 진짜아주 멋잇음. 출제자랑 대화해보고 시픔
-
아이큐 검사 8
초등?중?학교 때 학교에서 했었는데 145 나옴 근데 난 공부를 못하니까 오류인걸로ㅋㅎㅋ
-
여사친 카톡 ㅇㅈ 10
그냥 사귀는거 포기하게 너무 힘들다 나도
-
본캠인척하던데
-
나의 세상이 무너졌어 ㅠㅠ 나만 진심이었어
-
옯스타 팠다 9
hoohoh77 ㄱㄱ 친해지면 ㅇㅈ보내줌
-
300원~500원
-
의미를 찾지 마시길 바랍니다
-
마스터 등반 시작
-
키작으면 좋은점 4
애들이 귀엽다고함 헤헤
-
내 아이큐 8
129
-
하루만 더 새자 7
이거 못 잘 거 같아. 극혐하는거 < 자려고 누워서 눈 감고 잇는데 정작 잠은 못...
-
애니프사 12
하는 이유가 뭔가요
-
…?
-
전독시 실사화되더라 11
유튜브에서 예고편봤는데 그거가 실사화가 가능한가 근데
-
어디가나요..?? 갑자기 그냥 궁금해져서..ㅎㅎ 14111..ㅋㅋㅋㅋ 약간 이런 더...
-
진짜 너무샌대
매우 논리적임
천덕코 드릴수있습니다 원하십니까
정말 감사합니다
전송완료