biconditional-elimination-1 (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
biconditional-elimination-1 is the inference-rule:
\[\left( \boldsymbol{P} \iff \mathbf{Q} \right) \vdash \left( \boldsymbol{P} \implies \mathbf{Q} \right)\]
Where:
\(\boldsymbol{P} \iff \mathbf{Q}\) is a formula-statement
\(\boldsymbol{P}\) is a propositional formula
\(\mathbf{Q}\) is a propositional formula
In straightforward language, if \(\boldsymbol{P}\) is true if and only if \(\mathbf{Q}\) is true, it follows that \(\boldsymbol{P}\) implies \(\mathbf{Q}\).
Sources
[War18, p. 114]