bicondicional

bicondicional

(< bi- + condicional)

adx e s f [FILOS/MAT]

Relación conectiva binaria ‘se e soamente se’, que equivale ao condicional reforzado pola exclusiva ‘soamente’ ou ‘só’, que a converte en equivalencia. En lóxica simbólica vén representada polo signo º.