命题逻辑: 一、联言命题(合取式):p∧qq∧p;p∧q→p。
二、选言命题(析取式):p∨qq∨p;(p∨q)∧p→q。
三、负命题(否定式):(p)p。
四、假言命题 1、(蕴涵式):①(肯定前件式):(p→q)∧p→q;②(否定后件式):(p→q)∧q→p。
2、(逆蕴涵):(p←q)(q→p)。
3、(等值式):(pq)→(q→p)∧(p←q);(pq)←(q→p)∧(p←q)。
命题逻辑: 一、联言命题(合取式):p∧qq∧p;p∧q→p。
二、选言命题(析取式):p∨qq∨p;(p∨q)∧p→q。
三、负命题(否定式):(p)p。
四、假言命题 1、(蕴涵式):①(肯定前件式):(p→q)∧p→q;②(否定后件式):(p→q)∧q→p。
2、(逆蕴涵):(p←q)(q→p)。
3、(等值式):(pq)→(q→p)∧(p←q);(pq)←(q→p)∧(p←q)。