作业帮 > 综合 > 作业

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

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:综合作业 时间:2024/05/06 17:20:57
跪求大学普通逻辑学的基本推理公式!
如题.
跪求大学普通逻辑学的基本推理公式!
真了不起才一级就拿出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).
以上的公式是可以推导出更多公式的.不过这里的推导规则不完善.一个完善的推导还要加些内容才行.比如加等值替换原则.
另外就是词项逻辑中的对当关系,挽质法,换位发,换质位法等等.