题目内容

“苏格拉底三段论”以下命题符号化过程是正确的。设： H(x)：x是人； M(x)：x是要死的； s：苏格拉底。则推理形式结构为：(∀x)(H(x)→M(x))∧H(s)蕴含M(s)。

A. 对
B. 错

查看答案

搜索结果不匹配？点我反馈

更多问题

用谓词逻辑推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明：设Q（x）：x为有理数；R（x）：x为实数；Z（x）：x为整数；前提：∀x(Q(x)→R(x))，∃x(Q(x)∧Z(x))；结论：∃x(R(x)∧Z(x))。（1）∃x(Q(x)∧Z(x))P（2）Q(c)∧Z(c)ES（1）（3）∀x(Q(x)→R(x)) P（4）Q(c)→R(c)US（3）（5）Q(c)T（2）I（6）R(c)T（2）（4）I（7）Z(c)T（2）I（8）R(c)∧Z(c)T（6）（7）I（9）∃x(R(x)∧Z(x))EG（8）本例中一定要把⑴,⑵写在⑶,⑷的前面，因为存在指定以后一定满足全称指定，否则不一定满足。也就是说同一个体变元存在指定一定要先于全称指定。

A. 对
B. 错

查看答案

下列谓词公式是等价的有（）。

A. ┐∀xA(x)⇔∃x┐A(x)
B. ┐∃xA(x)⇔∀x┐A(x)
C. ┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x))
D. ┐∀x(F(x)→G(x))⇔∃x(F(x)∧┐G(x))

查看答案

以下谓词等价式正确的是（）。

A. ∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x)
B. ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x)
C. ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)
D. ∃x(A(x)∧B(x))⇔∃xA(x)∧∃xB(x)

查看答案

以下谓词蕴含式正确的是（）。

A.(∀x)A(x)∨(∀x)B(x)=>( ∀x) (A(x)∨B(x))
B.(∃x) (A(x)∧B(x))=>(∃x)A(x)∧(∃x)B(x)
C. (∀x) (A(x)→B(x))=>( ∀x)A(x)→(∀x)B(x)
D.(∀x) (A(x)↔B(x))=>( ∀x)A(x)↔(∀x)B(x)

查看答案

“苏格拉底三段论”以下命题符号化过程是正确的。设： H(x)：x是人； M(x)：x是要死的； s：苏格拉底。则推理形式结构为：(∀x)(H(x)→M(x))∧H(s)蕴含M(s)。

A. 对 B. 错

下列谓词公式是等价的有（）。

以下谓词等价式正确的是（）。

以下谓词蕴含式正确的是（）。

A. 对
B. 错