Si y sólo si

Keywords: Si y sólo si, Condición necesaria, Condición suficiente, Idioma español, Lógica, Matemáticas, Proposición

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. Normalmente se usa el símbolo ↔ para denotar esta coimplicación, quedando así: p ↔ q.

En español a veces se lo abrevia a sii. Así, la proposición anterior queda «p sii q». Un equivalente lógico de la bicondicionalidad es (p→q) ∧ (q→p). Categoría:Lógica