인공지능 - 논리2
∀X, ∀Y, ∀Z에 대하여
① gf (X, Y) → gs (Y, X)
② f (X, Y) ∧ f (Y, Z) → gf (X, Z)
③ f (a, b)
④ f (b, c)
일 때 gs (s, c) ?
1) 주어진 공리를 절의 형태로 만든다.

2) 증명하고자 하는 것을 부정(절)의 형태로 공리집합에 포함시킨다.

3) 공리집합으로부터 논리융합을 사용하여 2)의 절에 치환되는 정보를 찾는다.

4) gs(s, c)에 치환되는 gs(c, a) 가 답이 되므로 c의 손자는 a이다.
http://www.joon.pe.kr/blog/trackback/150
It was a year that began and was described as part of the southern part of Gyeonggi Bay. He is a naval officer of Joseon
He was a senior military officer who had been working for nearly 0 years in the country alone.
https://betgoca.com/sands/