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

Por [[lexico:e:esse|esse]] [[lexico:n:nome|nome]] ou pelo de "[[lexico:e:equivalencia-material|equivalência material]]" entende-se comumente, na [[lexico:l:logica|lógica]] contemporânea, o conectivo "se e somente se", simbolizado às vezes com o [[lexico:s:sinal|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".