n (logic) The property of a logical
theory that whenever a
wff is a
theorem then it must also be
valid. 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.