7945641946

Równość

Symbol równości może służyć do budowania zdań.

term₁ = term₂ jest prawdziwe w danej

interpretacji jeżeli term₁ i term₂ odnoszą się

do tego samego obiektu.

np.. ojciec(Jan) = Henryk

np.. Vx,y rodzeństwo(x,y) <=> [—i(x = y) a 3m,f -i (m =

f) a rodzic(m,x) a rodzic(f,x) a rodzic(m,y) a

rodzic(f,y)]

12