인공지능 - 논리1
주어진 공리
① A
② (A∧F) → C
③ (D∨E) → B
④ (B∧G) → F
⑤ E
⑥ G
일 때 C가 참인가?
1) 주어진 공리를 절의 형태로 만든다.
2) 증명하고자 하는 것을 부정(절)의 형태로 공리집합에 포함시킨다.
3) 공리집합으로부터 논리융합에 의해 새로운 절을 생성한다.
4) 반박에 의해 공절이 생성되지 않으므로 C는 참이 아니다.
http://www.joon.pe.kr/blog/trackback/149
연구
2) 증명하고자 하는 것을 부정(절)의 형태로 공리집합에 포함시킨다.
3) 공리집합으로부터 논리융합에 의해 새로운 절을 생성한다.
4) 반박에 의해 공절이 생성되지 않으므로 C는 참이 아니다.
2) 증명하고자 하는 것을 부정(절)의 형태로 공리집합에 포함시킨다.
3) 공리집합으로부터 논리융합에 의해 새로운 절을 생성한다.
4) 반박에 의해 공절이 생성되지 않으므로 C는 참이 아니다.
