Утверждения

пусть L – множество людей, где f – множество предикатных символов Е(х,у), Р(х,у), Ch(x,y), S(x,y),D(x,y), F(x,y),Dc(x,y),C(x,y),H(x,y),Wf(x),M(x),W(x), определяемых следующим образом:

Е(х,у)   <=> «х и у один и тот же человек»;

Р(х,у)  <=> «х родитель у»

Ch(x,y)  <=> «х ребенок у»

S(x,y) <=> «х сын у»

D(x,y)<=>  «х — дочь»

F(x,y)  <=> «х предок у»

Dc(x,y) <=> «х потомок у»

C(x,y)  <=> «х и у супруги»

H(x,y)  <=> «х муж у»

Wf(x,у)  <=> «х жена у»

M(x)  <=> «х — мужчина»

W(x)  <=> «х — женщина».

Записать в модели М = <L,f> формулы, выражающие следующие утверждения:

9 вариант

 х – свекор (отец мужа); М=(L;E;Ch;C;M;W)

Решение:

L(x) <=>«х — человек»

Ch(x,y)  <=>«х ребенок у»

C(x,y)  <=> «x и y супруги»

M(x)  <=> «x — мужчина»

W(x)  <=> «х — женщина»

Е(х,у)  <=> «х и у один и тот же человек»;