Revision as of 15:08, 20 January 2007 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits sharpen category ← Previous edit		Revision as of 15:18, 20 January 2007 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits m typo in stub tag Next edit →
Line 8: :<math> A \leftrightarrow B </math> {{mathlogic -stub}} [[Category:Rules of inference]]

Biconditional introduction: Difference between revisions