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

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}