Definition. Connectives and Quantifiers (FOL) [0017]

In addition to evaluating atomic formulas, we can define the evaluation of complex formulas using logical connectives and quantifiers as follows:

For the proof rules of quantifiers we have two variants depending on whether we are dealing with free or bound variables: