293017413

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 (m =

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

rodzic(f.y)]

Logika predykatów na przykładzie

Marcus był człowiekiem.

Marcus był mieszkańcem Pompei.

Wszyscy mieszkańcy Pompei byli Rzymianami.

4. Cezar był władcą.

Wszyscy Rzymianie byli, albo lojalni wobec Cezara, lub nienawidzili go.

Każdy człowiek jest wobec kogoś lojalny.

Ludzie starają się zgładzić tylko takiego władcę, wobec którego nie są lojalni.

Marcus próbował zgładzić Cezara.