题目内容

假设命题变元 x 代表学生, 命题函数T(x): x 是计算机专业, S(x): x 上过离散数学课。陈述句:所有的计算机专业学生都上过离散数学课,对应的谓词表达式是:

A. ∀x (F(x) ∧ S(x))
B. ∀x (F(x)→ S(x))
C. ¬∃x (F(x) ∧ ¬S(x))
D. ∃x (F(x) ∧ S(x))

查看答案
更多问题

在一个只有骑士和无赖的岛上,已知骑士只说真话,无赖只说假话。你遇到了两个人 A 和B。A说:“B是骑士”, B说:“我们当中至少有一个是骑士”。假设T代表骑士,F代表无赖,请填写A 的身份是______ ,B的身份是______ 。

(p → q) → (q ∨ r) 的主合取范式是 p∨ q ∨ r 。

请判断复合命题式 ¬(p « q) 和(p∧ ¬q) ∨(¬p∧ q) 是否等价.

复合命题式 (¬r → ¬q) ∧ (p ∨ ¬r)为真时,p、q和r的真值指派有

A. T T T
B. T T F
C. T F T
D. T F F
E. F T T
F T F
G. F F T
H. F F F

答案查题题库