Lecture 7 (Logic) Validity, Consistency, and Independence of Axioms

What is an interpretation of a formula F (with respect to a domain D)?

1. A.Any sentence with the same truth value as F
2. B.An assignment of true or false to each atomic subformula of F
3. C.A renaming of the bound variables in F
4. D.A sentence obtained by replacing predicates, operation symbols, and free variables/constants in F with predicates, operations, and constants defined on D — while preserving quantifiers and connectives