BICONDICIONAL
Es el nombre que recibe la conectiva binaria (o conector binario) ‘si y sólo si’. El signo que corresponde a esta conectiva es ‘↔’. Este signo va siendo cada vez más común en lugar del clásico ‘≡’ y la razón de ello es que permite visualizar mejor la conectiva de referencia en relación con el signo ‘→’ o signo de condicional; en efecto, las puntas de flecha a ambos extremos de la línea indican que el condicional es doble, esto es, que es un bicondicional, ya que afecta a