n (logic) The property of a logical
theory that whenever a wff is
valid then it must also be a
theorem. Symbolically, letting
T represent a theory within logic
L, this can be represented as the property that whenever
is true, then
must also be true, for any wff
φ of logic
L.