逻辑基础精讲：形式逻辑回顾与综合推理思路梳理.pdfVIP

逻辑-形式逻辑回顾与综合推理思路梳理(AI分析，参考)

一、形式逻辑回顾总结

1.命题类型、含义与识别

否定命题

逻辑符号：¬A

含义：否定A，A为假。

识别：并非、不、否、不同意、为假。

考法梳理：已知A为假，可得¬A为真。

联言命题

逻辑符号：A∧B

含义：A和B均为真。

识别：和、且、同时、但是、却。

考法梳理：已知A∧B为真，可得A为真，并且B为真。

相容选言命题(或关系)

逻辑符号：A∨B

含义：A和B至少一真。

识别：或、或者、至少有一个。

考法梳理：

①A和B至少一个为真。

②一假另必真：¬A→B;¬B→A。(非常重要)

③一真另不定：A→?;B→?。

不相容选言命题(要么关系)