急求逻辑学7类推理的口诀和公式

一、联言命题（合取式）：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、选言命题：A或B；表示：A、B二者,至少1个为真命题；

2、联言命题：A且B；表示：A、B二者,2个都是真命题；

　可见：选言命题和联言命题,最终所考虑的都是2个命题中,真（假）命题的个数——是不是很像数学问题

　我们只考虑A、B2个命题.对于2个命题,真假命题的个数不外乎以下几种：

　真命题个数假命题个数

　①　02

　②　11

　③　20

显然：

1、选言命题：

　至少1个真命题就表示：有1个、或有2个真命题.即：②或③；那么,它的否定就是②和③之外的那种情况,也就是①了.

　①表示A、B中,有0个真命题,也就是：A、B之中,2个都是假命题.

换言之就是：

　非A、非B之中,2个都是真命题；

所以,应该将其表示为：

　非A、非B的联言命题.

2、联言命题：

　2个都是真命题其实就是：③；它的否定就是除③之外的情况,即：①或②.

对于①或②,换个角度看,就是：A、B之中,有1个或2个假命题；换言之：

　非A、非B之中,有1个或2个真命题；或称：至少1个为真命题.

所以可表示为：

　非A、非B的选言命题.

总结：

　非A或B＝非A且非B；

　非A且B＝非A或非B；