Revision as of 20:47, 9 September 2022 edit Immanuelle (talk \| contribs) Extended confirmed users 55,773 edits Adding short description: "Inference in propositional logic" Tag: Shortdesc helper ← Previous edit		Latest revision as of 12:38, 1 August 2023 edit undo Bexandre2002 (talk \| contribs) 47 edits mNo edit summary
Line 1: {{Short description\|Inference in propositional logic}} {{Infobox mathematical statement \| name = Biconditional ~~elimination~~introduction \| type = [[Rule of inference]] \| field = [[Propositional calculus]]

Biconditional introduction: Difference between revisions