离散数学。已知论域D={1,2}，指定谓词P如图，则公式的真值是？
答案:1 悬赏:80
解决时间 2021-01-16 22:23
- 提问者网友：未信
- 2021-01-16 04:20
离散数学。已知论域D={1,2}，指定谓词P如图，则公式的真值是？
最佳答案
- 二级知识专家网友：往事隔山水
- 2021-01-16 05:51
∀x∃yP(y,x)
<=>∀x(P(1,x)∨P(2,x))
<=>(P(1,1)∨P(2,1))∧(P(1,2)∨P(2,2))
<=>(T∨F)∧(T∨F)
<=>T∧T
<=>T
<=>∀x(P(1,x)∨P(2,x))
<=>(P(1,1)∨P(2,1))∧(P(1,2)∨P(2,2))
<=>(T∨F)∧(T∨F)
<=>T∧T
<=>T
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息！
大家都在看
推荐信息