跪求大学普通逻辑学的基本推理公式!

跪求大学普通逻辑学的基本推理公式!
如题. 楚澍 1年前他留下的回答 已收到1个回答

梦想之鹰 网友

该名网友总共回答了19个问题，此问答他的回答如下：采纳率：89.5%

真了不起才一级就拿出50分来.
普通逻辑的推理公式?
我只记得在命题逻辑和词项逻辑中的简单点.三段论的就太复杂了.谓词逻辑更是涉及推导规则.
命题逻辑：
一、联言命题（合取式）：p∧q↔q∧p；p∧q→p.
二、选言命题（析取式）：p∨q↔q∨p；（p∨q）∧¬p→q.
三、负命题（否定式）：¬（¬p）↔p.
四、假言命题
1、（蕴涵式）：①（肯定前件式）：（p→q）∧p→q；②（否定后件式）：（p→q）∧¬q→¬p.
2、（逆蕴涵）：(p←q)↔(q→p).
3、（等值式）：(p↔q)→(q→p)∧(p←q)；(p↔q)←(q→p)∧(p←q).
以上的公式是可以推导出更多公式的.不过这里的推导规则不完善.一个完善的推导还要加些内容才行.比如加等值替换原则.
另外就是词项逻辑中的对当关系,挽质法,换位发,换质位法等等.

1年前他留下的回答

1 [db:内容2]

　　以上就是小编为大家介绍的跪求大学普通逻辑学的基本推理公式! 的全部内容，如果大家还对相关的内容感兴趣，请持续关注上海建站网！