Biconditional introduction: Difference between revisions

Revision as of 12:14, 30 August 2018

Revision as of 20:55, 14 November 2018

Line 15:

or as the statement of a truth-functional [[Tautology (logic)|tautology]] or [[theorem]] of propositional logic:

:<math>((P \to Q) \andland (Q \to P)) \to (P \leftrightarrow Q)</math>

where <math>P</math>, and <math>Q</math> are propositions expressed in some [[formal system]].