几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/08/07 11:46:41
几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式
2. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,( ).
A. x,y都是约束变元
B. x,y都是自由变元
C. x是约束变元,y都是自由变元
D. x是自由变元,y都是约束变元
3. 下列等价公式成立的为( ).
A. ØPÙØQÛPÚQ
B. P®(ØQ®P) ÛØP®(P®Q)
C. Q®(PÚQ) ÛØQÙ(PÚQ)
D. ØPÚ(PÙQ) ÛQ
5. 命题公式(PÚQ)®R的析取范式是 ( )
A. Ø(PÚQ)ÚR
B. (PÙQ)ÚR
C. (PÚQ)ÚR
D. (ØPÙØQ)ÚR
9. 命题公式P®Q的主合取范式是( ).
A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)
B. ØPÙQ
C. ØPÚQ
D. PÚØQ
2. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,( ).
A. x,y都是约束变元
B. x,y都是自由变元
C. x是约束变元,y都是自由变元
D. x是自由变元,y都是约束变元
3. 下列等价公式成立的为( ).
A. ØPÙØQÛPÚQ
B. P®(ØQ®P) ÛØP®(P®Q)
C. Q®(PÚQ) ÛØQÙ(PÚQ)
D. ØPÚ(PÙQ) ÛQ
5. 命题公式(PÚQ)®R的析取范式是 ( )
A. Ø(PÚQ)ÚR
B. (PÙQ)ÚR
C. (PÚQ)ÚR
D. (ØPÙØQ)ÚR
9. 命题公式P®Q的主合取范式是( ).
A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)
B. ØPÙQ
C. ØPÚQ
D. PÚØQ
你重新再问一次吧,然后不用悬赏,提交以前把符号改过来就行
再问: 给我个邮箱,我发给你吧,
再答: 我不会做这个题,我帮你问吧
再问: 给我个邮箱,我发给你吧,
再答: 我不会做这个题,我帮你问吧
几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式
离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式
离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式
已知命题P:非零向量a,b,c,满足a+b+c=0;命题q:表示a,b,c的有向线段可构成三角形
离散数学中P->(Q->R)是命题公式吗
如果命题非(p或q)为假命题,则() A..p,q均为真命题 B..p,q均为假命题 c..p,q中至少有一个为真命题
如果命题“p或q”和命题“p且q”都为真,那么则有(A)p真q假(B)p假q真(c)p真q假(D)p假q真
《离散数学》3试题一、选择题(每小题 2 分,共 20 分)1、使命题公式p→(p∧q)为假的赋值是 ( )A.10 B
若命题"pvq"是真命题,命题"p^q"是假命题,那么( ) A.命题p与q都是假命题 B.真 C.值不同 D.
若命题p:a,b,c成等差数列,命题q:ma,mb,mc成等差数列,其中m为常数,则p是q成立的( )条件.
为什么P→Q不是公式呢?(离散数学中的命题)
离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式