Утверждения

01.02.2012, 18:50
пусть 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)  <=> «х — женщина»
Е(х,у)  <=> «х и у один и тот же человек»;