给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r)
查看答案
给定下面谓词公式，判断逻辑有效式，矛盾式."x(ØF(x) ® ØF(x))
A. 逻辑有效式
B. 矛盾式
C.
D.
给定下面谓词公式，判断逻辑有效式，矛盾式.Ø(F(x)® ("y G(x ,y) ® F(x)))
A. 逻辑有效式
B. 矛盾式
C.
D.
设F(x):x是人。G(x):x爱吃辣椒.命题“不是所有人都爱吃辣椒”的符号化形式：正确的（1）Ø"x(F(x) ∧ G(x));（2）Ø"x(F(x) ®G(x));（3）Ø$x(F(x) ®G(x));（4）$x(F(x) ∧ØG(x));
A. 1，2
B. 3，4
C. 2，4
D. 1,3
设A是含n个命题变项的公式，若A的主析取范式中含有2的n次方个极小项，则A是重言式
A. 对
B. 错
微信支付 
支付宝支付