一道离散数学题使一阶逻辑公式VxヨyF(x,y)→ヨxVyF(x,y)为真的解释是 ( ) A.个体域为自然数集合,F(
一道离散数学题
使一阶逻辑公式VxヨyF(x,y)→ヨxVyF(x,y)为真的解释是 ( )
A.个体域为自然数集合,F(x,y)为x≤y
B.个体域为自然数集合,F(x,y)为x=y
C.个体域为自然数集合,F(x,y)为x D.均不属于A、B、C
应选什么 为什么
使一阶逻辑公式VxヨyF(x,y)→ヨxVyF(x,y)为真的解释是 ( )
A.个体域为自然数集合,F(x,y)为x≤y
B.个体域为自然数集合,F(x,y)为x=y
C.个体域为自然数集合,F(x,y)为x D.均不属于A、B、C
应选什么 为什么
赞 daynight05 幼苗
共回答了19个问题采纳率：84.2% 举报
A
VxヨyF(x,y)解释为Vxヨy(x≤y),是真的
ヨxVyF(x,y)解释为ヨxVy(x≤y),这样的x只要取为2即可,也是真的,所以一阶逻辑公式为真.
－－－－
B能保证VxヨyF(x,y)为真,取y＝x即可.但是ヨxVyF(x,y)为假,整个公式为假
VxヨyF(x,y)解释为Vxヨy(x≤y),是真的
ヨxVyF(x,y)解释为ヨxVy(x≤y),这样的x只要取为2即可,也是真的,所以一阶逻辑公式为真.
－－－－
B能保证VxヨyF(x,y)为真,取y＝x即可.但是ヨxVyF(x,y)为假,整个公式为假
1年前
6
可能相似的问题
-
1年前3个回答
-
1年前1个回答
-
1年前1个回答
-
1年前2个回答
-
1年前1个回答
你能帮帮他们吗