Theorem

A theorem is a statement that one formula logically follows from a set of other formulas. For example the propositional formula ψ logically follows from the formulas φ and φ⇒ψ.

References

Chang, C-L, Lee, R C-T. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.