Truth-function and Theorem

noun

• A proposition deducible from basic postulates.
• An idea accepted as a demonstrable truth. .

• (n.) That which is considered and established as a principle; hence, sometimes, a rule.
• (n.) A statement of a principle to be demonstrated.
• (v.t.) To formulate into a theorem.