早教吧作业答案频道 -->数学-->
一道离散数学题使一阶逻辑公式VxヨyF(x,y)→ヨxVyF(x,y)为真的解释是()A.个体域为自然数集合,F(x,y)为x≤yB.个体域为自然数集合,F(x,y)为x=yC.个体域为自然数集合,F(x,y)为xD.均不属于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
应选什么 为什么
使一阶逻辑公式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
应选什么 为什么
▼优质解答
答案和解析
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.已知：P={0,1},M={x/x包含于P},则P与M的关系为A.P∈M B.P不属于M C. 2020-05-13 …
哪位好心的大哥大姐帮帮小弟做二道数学题承认自己是天才的快帮忙1.已知集合A是X的真子集,X={a1 2020-05-16 …
集成测试有()与增量式集成两种方法。A.固定集成B.逻辑集成C.非增量式集成D.物理集成 2020-05-26 …
设实数R为全集,集合P=﹛x|f(x)=0﹜,Q=﹛g(x)＝0,H=﹛h(x)=0﹜,则方程f² 2020-06-20 …
关于不等式取交集的问题如果有以下4个不等式求交集:x>5,x<3,xo.它的交集是{x/x<0}还 2020-07-30 …
求助高一集合改选并集还是交集?│X+2│+│X-3│＜a无空集,求a的范围.解：当x＜-2,-x- 2020-07-30 …
A,B交集的余集等于A的余集与B的余集的并集怎么证明A,B并集的余集等于A的余集与B的余集的交集证 2020-07-30 …
设X是直角坐标平面上的任意点集，定义X*={（1-y，x-1）|（x，y）∈X}．若X*=X，则称点 2020-10-30 …
解集{(x,y)}{x,y}区别｛x,y｝是指X和Y这两个集合而｛（x,y)｝是指（x,y）这一个集 2020-10-31 …
1.集合P={x|x=2n-1,n∈N*,n≤10}的含有三个元素的全体子集的所有元素之和为多少?2 2020-12-07 …