计算机数理逻辑-一阶逻辑-演绎

1. Deductive system

1.1. G

• We extend the deductive systems $G$ and $H$ from propositional logic to first-order logic by adding axioms and rules of inference for the universal quantifier全称量词.

1.2. H

• The rules of inference are modus ponens and generalization

• The Deduction Rule：