Franklin's Notes


Logical Axioms and Rules of Inference

The logical axioms of a first-order language $\mathscr{L}$ are divided into three groups, and they are as follows:

In addition to the logical axioms, there are two rules of inference:

model-theory

first-order-logic

axioms

back to home page