逻辑判断推理中常用的逻辑公式.pdfVIP

逻辑命题与推理 必然性推理（演绎推理） ：对当关系推理、三段论、复合命题推理、关系推理和模态推理 可能性推理：归纳推理（枚举归纳、科学归纳） 、类比推理 命题 直言命题的种类： （AEIOae ） ⑴全称肯定命题：所有 S 是 P （SAP ） ⑵全称否定命题：所有 S 不是 P （SEP） ⑶特称肯定命题：有的 S 是 P （SIP） ⑷特称否定命题：有的 S 不是 P （SOP） ⑸单称肯定命题：某个 S 是 P （SaP） ⑹单称否定命题：某个 S 不是 P （SeP） 直言命题间的真假对当关系： 矛盾关系、 （上）反对关系、 （下）反对关系、从属关系 矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组： SAP 与 SOP 之间 。“所有同学考试都及格了”与“有些同学考试不及格” SEP 与 SIP 之间。 “所有同学考试不及格”与“有些同学考试及格” SaP 与 SeP 之间。 “张三考试及格”与“张三考试不及格” 上反对关系：具有上反对关系的两个命题不能同真（必有一假） ，但是可以同假。即要么一个是假的，要么都是假的。 存在于 SAP 与 SEP 、SAP 与 SeP、SEP 与 SaP 之间。 下反对关系：具有下反对关系的两个命题不能同假（必有一真） ，但是可以同真。即要么一个是真的，要么两个都是真 的。存在于 SIP 与 SOP 、SeP 与 SIP 、SaP 与 SOP 之间。 从属关系（可推出关系） ：存在于 SAP 与 SIP 、SEP 与 SOP 、SAP 与 SaP、SEP 与 SeP、SaP 与 SIP 、SeP 与 SOP 六种直言命题之间存在的对当关系可以用一个六角图形来表示， “逻辑方阵图” SAP SEP SaP SeP SIP SOP 直言命题的真假包含关系 全同关系、真包含于关系、真包含关系、交叉关系、全异关系 合同关系 真包含于关系 真包含关系 交叉关系 全异关系 SAP 真 真 假 假 假 SEP 假 假 假 真 真 SIP 真 真 真 真 假 SOP 假 假 真 真 真 复合命题：负命题、联言命题、选言命题、假言命题 负命题的一般公式：并非 P 联言命题公式： p 并且 q “并且、…和…、既…又…、不但…而且、虽然…但是…” 选言命题：相容的选言命题、不相容的选言命题 相容的选言命题公式： p 或者 q “或、或者…或者…、也许…也许…、可能…可能…” 【一个相容的选言命题是真的， 只有一个选言支是真的即可 。 只有当全部选言支都假时，相容的选言命题才是假的】 不相容选言命题公式：要么 p 要么 q “要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不可兼得” 【一个不相容的选言命题是真的， 有且只有一个选言支是真的 。当选言支全真或全假时，此命题为假】 假言命题：充分条件假言命题、必要条件假言命题、充要条件假言命题 充分条件假言命题公式：如果 p，那么 q “如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、 假若…、只要…就…” 【有前件必然有后件。如果有前件却没有后件，这个充分条件假言命题就是假的。因此，对于一个充分条件的假言命 题来说，只有当其前件真而后件假时，命题才假。 】 必要条件假言命题公式：只有 p，才 q “没有…就没有…、不…不…、除非…不…、除非…才…” 【没有前件必然没有后件。如果没有前件也有后件，这个必要假言命题为假。对于一个必要