题目内容（请给出正确答案）

[单选题]

下列公式中属于重言式的是：

A.(p→q)→q

B.q→(q→p)

C.(p→q)→p

D.p→(q→p)

提问人：网友sky28000 发布时间：2022-01-07

参考答案

查看官方参考答案

如搜索结果不匹配，请联系老师获取答案

网友答案

查看全部（）

· 有3位网友选择 C，占比30%
· 有3位网友选择 B，占比30%
· 有2位网友选择 A，占比20%
· 有2位网友选择 D，占比20%

ABCD

提交我的答案

登录提交答案，可赢取奖励机会。

您可能会需要：

重置密码查看订单联系客服

安装简答题APP，拍照搜题省时又省心！

更多“下列公式中属于重言式的是：”相关的问题

第1题

根据下面使用归谬赋值法的结果，则可以证明原公式是

A、矛盾式

B、重言式

C、偶真式

D、非重言式

点击查看答案

第2题

命题公式┐(P→Q)的主析取范式为( )，主合取范式的编码表示为( )

A、P∧┐Q；∧∧

B、┐P∧Q；∧∧

C、P∧Q；∧∧

D、┐P∧┐Q；∧∧

点击查看答案

第3题

用等值演算法判断下列公式的类型,对不是重言式的可满足式。再用真值表法求出成真赋值。

点击查看答案

第4题

命题公式[图]是( )?A、矛盾式；B、可满足式；C、重言式；D、...

命题公式是( )?

A、矛盾式；

B、可满足式；

C、重言式；

D、以上都不是

点击查看答案

第5题

判别下列公式哪些是合式公式，哪些不是合式公式，

点击查看答案

第6题

根据合式公式的定义,说明下列公式是合式公式。

点击查看答案

第7题

下列公式与A∨ØB逻辑等值的有

A、ØA→ØB

B、Ø(ØA∧B)

C、B→A

D、A∨ØA→A∨ØB

点击查看答案

第8题

公式(p→(q→r))→((p→q)→(p→r))的真值表共有__________种命题变项的真值组合。（填半角阿拉伯数字）

点击查看答案

第9题

在[图]推演中，“∨-”规则指的是：A、从A∨B推出A；从A∨B推出...

在推演中，“∨-”规则指的是：

A、从A∨B推出A；从A∨B推出B

B、从A∨B和ØB推出A；从A∨B和ØA推出B

C、从A→B和ØA→B推出B

D、从A∨B、A→C和B→C推出C

点击查看答案

第10题

下列说法正确的有：

A、A→B表示以公式A为前提可以推出B

B、A├B表示以公式A为前提可以推出B

C、如果A→B是定理，那么以公式A为前提可以推出B

D、如果A├B，那么A→B是定理

点击查看答案

警告：系统检测到您的账号存在安全风险

为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！

微信搜一搜

简答题

点击打开微信

警告：系统检测到您的账号存在安全风险

抱歉，您的账号因涉嫌违反简答题购买须知被冻结。您可在“简答题”微信公众号中的“官网服务”-“账号解封申请”申请解封，或联系客服。

微信搜一搜

简答题

点击打开微信