未分类题

在自然推理系统P中，用归谬法证明下面推理．

【参考答案】

①p
结论的否定引入；
②p→￢q
前提引入；
③￢q
①、②假言推理；......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
<上一题 目录 下一题>
热门 试题

未分类题
设p：王小川是文科生．q：王小川爱看小说．写出下面各推理的形式结构，并用真值表、主析取范式等方法判断下列各推理是否正确．(1)若王小川是文科生，则他爱看小说；王小川是文科生，所以他爱看小说．(2)若王小川爱看小说，则他是文科生；王小川是文科生，所以他爱看小说．(3)若王小川爱看小说，则他是文科生；王小川不是文科生，所以他不爱看小说．
A.q：王小川爱看小说．写出下面各推理的形式结构，并用真值表、主析取范式等方法判断下列各推理是否正确．
B.
C.
未分类题
某公司要从赵、钱、孙、李、周5名新毕业的大学生中选派一些人出国学习，选派必须满足以下条件：(1)若赵去，钱也去．(2)李、周两人中必有一人去．(3)钱、孙两人中去且仅去一人．(4)孙、李两人同去或同不去．(5)若周去，则赵、钱也同去．用等值演算法分析该公司如何选派他们出国?
A.B.
C.
D.
E.
相关试题