逻辑基础精讲：假言命题与关系命题.pdfVIP

2006年逻辑全程班第2节-假言命题与关系命题(AI分析，参考)

一、假言命题(HypotheticalProposition)

定义：

表示假设关系的一句话，断定一个事物情况的存在是另一个事物情况存在的条件。也称作“条件命题”。

假言命题判断的是A和B之间的条件关系是否存在，并没有直接断定A和B这两个条件在上是否一定存在，只是

假设条件A存在的情况下，B这个现象一定会产生。

分类与识别：

1.充分条件假言命题(A→B)

定义：如果A为真，则B一定为真。A是B的充分条件。

符号：A→B(读作：A推B)。

识别连接词(充分条件前推后)：

如果A那么B

只要A就B

若A则B

A离不开B

A必须B

无连接词的充分条件推理关系：某些语句虽无明确连接词，但通过语义可表示充分条件推理关系(例如：“不

到非好汉”可翻译为“如果不到，那么不是好汉”)。