Biconditional introduction: Difference between revisions

Content deleted Content added

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		Latest revision as of 12:38, 1 August 2023 edit undo Bexandre2002 (talk \| contribs) 47 edits mNo edit summary
(One intermediate revision by one other user not shown)
Line 1: {{Short description\|Inference in propositional logic}} {{Infobox mathematical statement \| name = Biconditional ~~elimination~~introduction \| type = [[Rule of inference]] \| field = [[Propositional calculus]]