Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Conectiva diádica que opera entre dos enunciados o dos letras de enunciado. Se simboliza como
y se lee «P si y sólo si Q».
Su sentido se precisa con su definición mediante la tabla de verdad:
en los demás casos es falso» (ver ejemplo).
Dos enunciados cualesquiera, p y q, unidos por esta conectiva diádica se leen de diversas maneras, con sentido no obstante idéntico:
puede leerse como: «p si y sólo si q», «si p entonces q y si q, entonces p» (ver ejemplo), «p es condición necesaria y suficiente de q», «p equivale a q», «si p entonces q y si no p, entonces no q» (ver ejemplo).