e/Biconditional introduction

Information
has gloss	eng: In mathematical logic, biconditional introduction is the rule of inference that, if B follows from A, and A follows from B, then A if and only if B.
lexicalization	eng: biconditional introduction
instance of	e/Rule of inference

Meaning
Esperanto
has gloss	epo: En matematika logiko, dukondiĉa enkonduko estas la regulo de konkludo ke, se B sekvas de A, kaj A sekvas de B, tiam A se kaj nur se B.
lexicalization	epo: dukondiĉa enkonduko