谓词逻辑有效推理规则有哪些？
推理规则
命题逻辑中推理规则的显著例子是肯定前件和否定后件规则。对于一阶谓词逻辑，推理规则需要处理逻辑量词。对这种论证的更详细的描述请参见有效性。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结。
勒文海姆–斯科伦定理
在数理逻辑中，经典 Löwenheim–Skolem 定理声称对于标识(signature)为 formula_1 的任何可数一阶逻辑语言 "L" 和 "L"-结构 M，存在一个可数无限基本子结构 "N" formula_2 ' 这个定理的自然和有用的推论是所有一致的 "L"-理论都有可数的模型。