병준이저장소

∀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이다.