逻辑精讲：形式逻辑与论证推理要点梳理.pdfVIP

好的，这是对您的逻辑课程和讲义文本进行知识点提取和整理后的结果，按照逻辑顺序和A4纸张大小进行排版。

逻辑-形式逻辑与论证推理

一、形式逻辑

1.1假言命题：

定义：表达条件关系题，通常包含“如果...那么”、“只有...才”、“一旦...就”等连接词。

只有...才：“只有A，才B”表示“如果B，那么A”，即B是A的必要条件，A是B的充分条件（后推前）。

一旦...就：“一旦A，就B”表示“如果A，那么B”，A是B的充分条件（前推后）。

选项中的假言命题：重点关注前件真假，若前件为真，则可前推后，得到确定信息。

逆否命题：原命题为“如果A，那么B”，则逆否命题为“如果非B，那么非A”，两者等价。

假言命题转换：A→¬B≡¬A∨¬B≡A和B至少一个不成立

1.2“有的”模型：

互换特性：“有的A是B”等价于“有的B是A”。

三种常见的“有的”模型：

1.已知：A→B，A→C，可得：有的B是C，有的C是B。

2.已知：有的A→B，A→C，可得：有的B是C，有的C是B。

3.已知：大多数A是B，大多数A是C，可得：有的B是C，有的C是B。（因为两