| Information | |
|---|---|
| has gloss | eng: Biconditional elimination allows one to infer a conditional from a biconditional: if ( A ↔ B ) is true, then one may infer either direction of the biconditional, ( A → B ) and ( B → A ). |
| lexicalization | eng: Biconditional elimination |
| instance of | e/Rule of inference |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint