Interpretations, Validity, & Logic's Limitations - Lecture 8 (Logic)

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