未分类题

用归结法证明下面推理．
前提：p，￢p∨r，￢r∨s．
结论：s．

A.
B.

【参考答案】

本题的前提与结论已满足归结证明的要求．
证明：
①p
前提引入；
②￢p∨r
前......

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

未分类题
在自然推理系统P中，用归谬法证明下面推理．
未分类题
设p：王小川是文科生．q：王小川爱看小说．写出下面各推理的形式结构，并用真值表、主析取范式等方法判断下列各推理是否正确．(1)若王小川是文科生，则他爱看小说；王小川是文科生，所以他爱看小说．(2)若王小川爱看小说，则他是文科生；王小川是文科生，所以他爱看小说．(3)若王小川爱看小说，则他是文科生；王小川不是文科生，所以他不爱看小说．
A.q：王小川爱看小说．写出下面各推理的形式结构，并用真值表、主析取范式等方法判断下列各推理是否正确．
B.
C.
相关试题