Biconditional introduction: Difference between revisions

Revision as of 21:56, 11 January 2019

Latest revision as of 12:38, 1 August 2023

(3 intermediate revisions by 3 users not shown)

Line 1:

{{Short description|Inference in propositional logic}}

{{Infobox mathematical statement

| name = Biconditional introduction

| type = [[Rule of inference]]

| field = [[Propositional calculus]]

| statement = If <math>P \to Q</math> is true, and if <math>Q \to P</math> is true, then one may infer that <math>P \leftrightarrow Q</math> is true.

| symbolic statement = <math>\frac{P \to Q, Q \to P}{\therefore P \leftrightarrow Q}</math>

}}

{{Transformation rules}}

Line 21 ⟶ 29:

==References==

{{Reflist}}

{{Classical logic}}

{{DEFAULTSORT:Biconditional Introduction}}

[[Category:Rules of inference]]