La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Si y sólo si
Artículo de la Enciclopedia Libre Universal en Español.
En matemáticas y lógica, "si y sólo si" es la "implicación doble", la condición necesaria y suficiente.
Si tenemos la proposición "p si y sólo si q" queremos decir que p y q son lógicamente equivalentes. Si p entonces q y si q entonces p.
En español se suele abreviar a "ssi". Así, la proposición anterior queda "p ssi q".
En lenguaje matemático se usa el símbolo,
, para representar esta relación.
[escribe] Referencias
Notas