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) <=> «х — женщина»
Е(х,у) <=> «х и у один и тот же человек»;
![]() |