명제논리 갖고노는거 줴밋다
게시글 주소: https://dev.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를 선물하세요.
-
이번에 해외고 과외가 들어왔는데 sat 수학이랑 화학 가르쳐달래서저는 수능 수학이랑...
-
고민좀 들어주세요..! 2 1
저는 수능 대신에 SAT를 볼 예정입니다.. SAT에서 만점을 맞아버리면,...
매우 논리적임
천덕코 드릴수있습니다 원하십니까
정말 감사합니다
전송완료