谓词演算的推理理论

  1. $UI$(全称量词消去规则):$\forall xA(x)\Rightarrow A(x)$
  2. $EI$(存在量词消去规则):$\exists xA(x)\Rightarrow A(c)$
  3. $UG$(全称量词引入规则):$A(y)\Rightarrow \forall x A(x)$, $y$ 为任意值, $A(y)$ 为真
  4. $EG$(存在量词引入规则):$A(c)\Rightarrow \exists xA(x)$

谓词逻辑

谓词

$def:$

  • 个体词:可独立存在的客体
  • 谓词:用来说明个体的性质或个体间的关系

命题逻辑的推理规则

推理


推理过程

$def:$ 设 $A$ 和 $B$ 是两个命题公式,当且仅当 $A\rightarrow B$ 是 重言式 时称由 $A$ 可推出 $B$ ,或 $B$ 是前提 $A$ 的结论,记为:$A\Rightarrow B$,读作如果 $A$ 为真那么 $B$ 为真。


Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×

😏

📷

✍️