命题推理前提：P->(Q->R),S->P,Q结论：S->R

41659031 1年前已收到1个回答举报

xuedong1212 幼苗

共回答了20个问题采纳率：85% 举报

1 S P附加前提
2 S->P P
3 P T(1)(2) I
4 P->(Q->R) P
5 Q->R T(3)(4) I
6 Q P
7 R T(5)(6) I
8 S->R CP

1年前追问

41659031 举报

第一二步怎么就得到P呢？ 3 4步怎么得P->R呢

举报 xuedong1212

1,2步和3,4步用的推理规则都是I规则这是常用的蕴含式 P,P→Q=>Q

可能相似的问题

多选题,构成三段论推理的命题有（）A大前提B直言命题C小前提D结论

1年前1个回答
多选题,构成三段论推理的命题有（）A大前提,B直言命题,C结论,D小前提

1年前1个回答
在有效的三段论推理中,前提与结论中否定命题的个数必须　　　　　　（　　）

1年前1个回答
离散数学命题逻辑推理前提 p->(q->s),q ,p∨非r.结论 r->s请写出具体推理过程

1年前1个回答
在命题逻辑中构造下面推理的证明前提:p→s,q→r,┐r,p∨q,结论s

1年前1个回答
（1）复数z=i+i＾3的值是多少?（2）演绎推理是以什么为前提,推出某个特殊情况下的结论的推理方法?（3）命题“三角形

1年前1个回答
逻辑学问题下列属于逻辑划分的是（）A、三段论分为大前提、小前提、和结论B、思维形式分为词项、命题、和推理C、关系判断分为

1年前1个回答
在有效的三段论推理中,前提与结论中否定命题的个数必须（） A、不同 B、相同 C、有大于关系 D、有小

1年前2个回答
在有效的三段论推理中,前提与结论中否定命题的个数必须（） A、不同 B、相同 C、有大于关系 D、有小

1年前2个回答
推理得前提为真,结论可能也为真得推理叫做什么推理

1年前1个回答
17、以SAM与MAP为前提进行三段论推理,将所得结论作前提,再进行换质换位法推理,能必然推得的结论是（）

1年前1个回答
若一推理的前提与结论均假,则其推理形式( ).

1年前1个回答
数学演绎推理举一个运用演绎推理时出现推理方式错误的例子.（区别于小前提错误）区别于大前提与结论错误

1年前1个回答
我们把大前提小前提结论都是充分条件的推理叫做什么

1年前1个回答
我们把大前提,小前提,结论都是充分条件的推理叫做什么

1年前1个回答
推理的前提正确那么结论一定正确么?

1年前3个回答
下列说法正确的是（　　）A．由合情推理得出的结论一定是正确的B．合情推理必须有前提有结论C．合情推理不能猜想D．合情推理

1年前1个回答
一个不正确的演绎推理前提、结论、形式的真假情况

1年前2个回答
请问不完全归纳推理的前提是结论的什么条件?

1年前2个回答

你能帮帮他们吗

精彩回答

命题推理 前提：P->(Q->R),S->P,Q结论：S->R

命题推理前提：P->(Q->R),S->P,Q结论：S->R