증명하고자 하는 정리를 부정하여 공리 리스트에 넣음
공리들을 연언 표준형으로 표현한 후 절 분리
도출 가능한 쌍이 업을 때까지 다음을 반복
1. 도출 가능한 쌍을 찾아 도출절을 구함
2. 도출절을 공리 리스트에 추가
3. false가 얻어지면 정리가 참임이 증명됨
정리가 거짓임을 알리고 종료
-
오늘 테스트 해보고 포스팅 한다. 인터넷을 통해서 현대 오토넷 리얼뷰를 구입했다. 인터넷 보니 천차만별이던데 기본 25만원 하더라. 그런데 2가지가 있었다. 고급형은 HD에 2채널 25만원. 내가 산건 HD 아니고 1채널이...
-
프루나는 이제 믿을만한 공유가 안되고 있다. 젠장. 영화 다운 받아보면 전부 야동이나 포르노류 밖에는 없다. 신고되어 있는 자료부터 보지만 신고가 안되어 있는 것은 제대로 다운도 되지 않는다. 이젠 유료 사이트를 믿을 수 밖엔... ...
-
소스는 쉬어 가는 페이지 인가... SELinux에서 SEAndroid가 나왔다. 둘다 NSA 프로젝트이고. 이미 여러 패키지에 흩어져서 사용되고 있다. policycoreutils는 tresys에서 만든 것으로 보인다. ...
댓글 없음:
댓글 쓰기
국정원의 댓글 공작을 지탄합니다.