给出两个命题P和Q，它们的合取就是： P：左合取支    P并且Q    Q：右合取支

逻辑性质：当所有合取支P和Q都为真，则合取命题“P合取Q”为真。否则，这个合取命题为假。

注意：当“并且”被加入到短语中，可能出现模棱两可的话。

给出两个命题P和Q，它们的析取就是：P或者Q

注意：“或者”的使用也会带来语法上的模棱两可。

任何一个与命题P真值相反的命题，就是命题P的否定。

注意：“或者”的使用也会带来语法上的模棱两可。

一个命题及其否定总是相互不一致的。

一个命题及其否定构成一对穷尽且排他的选项。

含有模态词的否定会比较难以处理。

在形式逻辑中，P的否定可以用符号标记为： ～P，﹁P，非P

形式：如果 P ，那么 Q 

作用：制定规则和一般性法条。

接受一个条件句也就是接受P和Q之间存在着某种特定的逻辑关联或证据关联。但你不必认为P和Q都是真的。

逆命题：“如果Q，那么P”

通常情况下，一个条件句并不能蕴涵其逆命题。

形式： P当且仅当 Q 

逻辑连结词与四种命题