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

真了不起才一级就拿出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).

以上的公式是可以推导出更多公式的.不过这里的推导规则不完善.一个完善的推导还要加些内容才行.比如加等值替换原则.

另外就是词项逻辑中的对当关系,挽质法,换位发,换质位法等等.