谓词逻辑推理规则
US - 全称实例化
∀x P(x)
───────
P(c)
───────
P(c)
从全称命题推出特例,c为任意个体常量
思政意义: 从普遍真理到具体实践,如"为人民服务"适用于每个党员
ES - 存在实例化
∃x P(x)
───────
P(c)
───────
P(c)
从存在命题引入特殊常量,c必须是新的
思政意义: 从抽象概念到具体榜样,如"存在英雄"可以具体到某英雄
EG - 存在概括
P(c)
───────
∃x P(x)
───────
∃x P(x)
从特例推广到存在命题,c为个体常量
思政意义: 从个人成就到群体可能,某人成功证明成功可实现
UG - 全称概括
P(x₀)
───────
∀x P(x)
───────
∀x P(x)
从任意个体推广到全称,x₀必须是任意的
思政意义: 从个体规律到普遍真理,经过检验的经验上升为理论