语义推理

它不同于命题逻辑和谓词逻辑那样的形式推理，而是依据一些谓词之间的语义关系如同义关系、下义关系、反义关系等进行的推理。例如，依据谓词之间存在的下义关系，就可以从“张三是单身汉”推出“张三是未婚的”；从“艾青是诗人”推出“艾青是作家”。这样的推理显然不同于(p→q)∧p→q这样的形式推理。进行这样的推理必须考虑谓词“单身汉”与“未婚的”，“诗人”与“作家”的语义关系，然后就蕴涵式表达出来：

①x(单身汉(x)→未婚(x))

②x(诗人(x)→作家(x))除了用蕴涵式以外，还可以用等值式来表示同义关系的语义推理，如：

③x(单身汉(x)人(x)∧男性(x)∧成年(x)∧未婚(x))(意思是：对于所有的x来说，x是单身汉，等值于x是人并且x是男性并且x是成年的并且x是未婚的。这也就是“单身汉”一词的定义。)

此外，我们还可以利用反义关系进行语义推理：

④x(男人(x)→女人(x))(意思是：对于所有的x来说，如果x是男人，那么x不是女人。)

⑤x(正确(x)→错误(x))(意思是：对于所有的x来说，如果x是正确的，那么x就不是错误的。)

可见，这种语义推理也是一种必然性推理，不过进行这种推理必须以词项的语义成分的分析为基础。