题目内容

给定下面谓词公式，判断逻辑有效式，矛盾式."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. 错

设A是含n个命题变项的公式，若A的主合取范式不含任何极大项，则A的主合取范式为0.

A. 对
B. 错