bicondicional

(in. Biconditional; fr. Biconditionnel; it. Bicondizionalé).

Por esse nome ou pelo de "equivalência material" entende-se comumente, na lógica contemporânea, o conectivo "se e somente se", simbolizado às vezes com o sinal = (cf. Quine, Methods of Logic, § 3). B. equivale, obviamente, à conjunção das duas condicionais: "se p, então q" e "se q, então p". [Abbagnano]