第1个回答 2013-01-16
一、联言命题（合取式）：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)。
以上的公式是可以推导出更多公式的。不过这里的推导规则不完善。一个完善的推导还要加些内容才行。比如加等值替换原则。
另外就是词项逻辑中的对当关系，挽质法，换位发，换质位法等等。