clause形に変換するとき、違うclauseの変数は独立になる。 λx,z,E.y F(x,y),F(y,z)→F(x,z) は、全順序のようにも見えるが本当は、友達の友達は友達の関係。 ここでは、yが存在すればF(x,z)であるということで、存在が重要。 存在を全称にしてしまってこれをc…

Factの述語記号P、定数記号cとし、FactにP(c)が含まれていないとき Pが2つに一つだったら、-P(c)を加えてもいいはず。つまり、G(x)が'xは少女'という意味なら、FactにG(c)が含まれていなければ'-G(c)'にしても、だいたい正しい 一方で、友達を表す'F(x,y)'に…