用递归方式定义由n个1和后面的2n个0所组成字符串集合A:解:λ∈A ;若x∈A,则 ∈A 。
A. 0x1
B. 0x11
C. 1x0
D. 1x00
查看答案
假设命题变元 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) 是否等价.