Revision as of 21:21, 22 February 2012 edit Arthur Rubin (talk \| contribs) Extended confirmed users, Rollbackers 130,168 edits restore actual rule ← Previous edit		Revision as of 01:45, 4 March 2012 edit undo Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits added Category:Theorems in propositional logic using HotCat Next edit →
Line 15: [[Category:Mathematical logic]] [[Category:Propositional calculus]] [[Category:Theorems in propositional logic]] [[eo:Dukondiĉa enkonduko]]

Biconditional introduction: Difference between revisions