Revision as of 17:29, 13 June 2022 edit SamanthaNguyen (talk \| contribs) Extended confirmed users 1,131 edits + Template:Infobox mathematical statement Tag: 2017 wikitext editor ← Previous edit		Revision as of 20:47, 9 September 2022 edit undo Immanuelle (talk \| contribs) Extended confirmed users 55,773 edits Adding short description: "Inference in propositional logic" Tag: Shortdesc helper Next edit →
Line 1: {{Short description\|Inference in propositional logic}} {{Infobox mathematical statement \| name = Biconditional elimination

Biconditional introduction: Difference between revisions