登陆题目详情
单选题 下列哪个不是前束范式
学科：离散数学
时间：2024-04-11 14:28:45
相关题目
相关作业
题目1单选题
在谓词演算中,下列各式哪个是正确的( )A. P(a)⇒ ∀xP(x)B. ∃x∃yA(x,y)⇔ ∀y∀xA(x,y)C. ∃x∀yA(x,y)⇔ ∀y∃xA(x,y)D. ∃x∃yA(x,y)⇔ ∃y∃xA(x,y)
题目2单选题
公式∃x∃yA(x,y)∨∀y∀xB(x,y)∨(﹁P(x)∧Q(y))的对偶式是A. $x$yA(x,y)∨"y"xB(x,y)∨(﹁P(x)∧Q(y))B. "x"yA(x,y)∨$y$xB(x,y)∨(﹁P(x)∧Q(y))C. "x"yA(x,y)∧$y$xB(x,y)∧(P(x)∨Q(y))D. "x"yA(x,y)∧$y$xB(x,y)∧(﹁P(x)∨Q(y))
题目3单选题
下列哪个不是前束范式A. (∀x)P(x)→Q(y)B. (P∧Q)→RC. (P∨Q(x))→R(y)D. (∀x)(P(x)→I(x))
题目4单选题
一个公式,如果量词均非否定地在全式的开头,它们的作用域延伸到整个公式的末尾,则称此公式叫( )A. 前束范式B. 析取式C. 合取式D. 命题公式
题目5单选题
下面( )谓词公式不是前束范式A. <img src="https://tihai-oss-cloud.itihey.com/img/9309daba70cfff53c63ec51aa15dec4f.webp">x(P(x)∧Q(x)→R(x))B. <img src="https://tihai-oss-cloud.itihey.com/img/60073a934952bdb6f0e97281f22499cd.webp">x(P(x)∧Q(x))→R(x)C. <img src="https://tihai-oss-cloud.itihey.com/img/60073a934952bdb6f0e97281f22499cd.webp">x<img src="https://tihai-oss-cloud.itihey.com/img/60073a934952bdb6f0e97281f22499cd.webp">y(A(x)→R(y))D. <img src="https://tihai-oss-cloud.itihey.com/img/60073a934952bdb6f0e97281f22499cd.webp">x<img src="https://tihai-oss-cloud.itihey.com/img/7b76c5b35f9475cfa4d0b15dd63d37ae.webp">y(A(x)→R(y))
题目6单选题
下面那个是公式<img src="https://tihai-oss-cloud.itihey.com/img/6f9028ecd566fb6ccc1ad31b1f893c38.webp">∧<img src="https://tihai-oss-cloud.itihey.com/img/c0193300de95c52a5c2a41d5f3128770.webp">的前束范式A. ∀𝑥∃𝑦∃𝑥(¬𝑃(𝑥) ∨(Q(y) ∧ R(x)))B. ∃𝑥∃𝑦∃𝑥(¬𝑃(𝑥) ∨(Q(y) ∧ R(x)))C. ∃𝑥∃𝑦∃z(¬𝑃(𝑥) ∨(Q(y) ∧ R(z)))D. ∀𝑥∃𝑦∃z(¬𝑃(𝑥) ∨(Q(y) ∧ R(z)))
题目7单选题
∀xP(x)∨T的对偶式是( )A. ∀xP(x)∧TB. ∀xP(x)∧FC. ∃xP(x)∧TD. ∃xP(x)∧F
题目8请构造下面论断的谓词推理:张三是大学生,所有大学生都在上网课,所以张三也在上网课; P(x):x是大学生 Q(x):x在上网课 a:张三 (1)请写出推理的已知条件(前提)和结论; (2)写出推理的完整过程
题目9构造下列谓词逻辑推理证明: 人都喜欢金子,但不是所有的人都喜欢水晶,所以,存在喜欢金子而不喜欢水晶的人. F(x):x是人; G(x):x喜欢金子; W(x):x喜欢水晶 (1)本推理的前提条件是什么 (2)结论是什么 (3)写出推理详细过程
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
