validity-of-formula

Validity (of a formula) is a property of a formula with regards to a theory-derivation T, which:

• is an inference-rule inclusion

• is an axiom or definition inclusion

• is an axiom or definition interpretation inclusion

• is an inferred formula statement