Lecture 6 (Logic) Axiomatic System Example

An axiomatic system has four basic components:

1. A.Predicates, operators, constants, and variables
2. B.Undefined terms, axioms, definitions, and theorems
3. C.Premises, derivations, conclusions, and counterexamples
4. D.Domains, interpretations, predicates, and quantifiers