Revision as of 20:51, 18 August 2011 edit Gamewizard71 (talk \| contribs) 3,156 edits removed Category:Logic using HotCat ← Previous edit		Revision as of 20:52, 18 August 2011 edit undo Gamewizard71 (talk \| contribs) 3,156 edits added Category:Propositional calculus using HotCat Next edit →
Line 17: [[Category:Rules of inference]] [[Category:Mathematical logic]] [[Category:Propositional calculus]] [[eo:Dukondiĉa enkonduko]]

Biconditional introduction: Difference between revisions