"syss" se lee "si y solo si".
En algunos contextos en matem谩ticas y l贸gica, un bicondicional, (tambi茅n llamado equivalencia o doble implicaci贸n, en ocasiones abreviado en espa帽ol como ssi o syss) es un operador l贸gico binario.
El bicondicional tambi茅n funciona como conectiva l贸gica, permitiendo formular expresiones de la forma «P si y solo si Q», que es verdadera en el caso de que ambos componentes tengan el mismo valor de verdad. El bicondicional representa la equivalencia l贸gica entre dos proposiciones.
El valor de verdad de un bicondicional «p si y solo si q» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o falsas simult谩neamente; de lo contrario, es falso.
Se tiene as铆 que la afirmaci贸n «p si y solo si q» es l贸gicamente equivalente al par de afirmaciones «Si p, entonces q», y «si q, entonces p». Escrito utilizando conectivas l贸gicas :
p ↔ q ≡ (p → q) ∧ (q → p)
Una forma de expresar el bicondicional es decir que Q es una condici贸n necesaria y suficiente para P. Tambi茅n se conoce con el nombre de coimplicaci贸n.
En espa帽ol se usan las abreviaturas sii, ssi y syss, de modo que es equivalente p ↔ q a “p sii q”. En ingl茅s se abrevia iff (If and only if).
En L贸gica y en matem谩ticas los simbolos empleados para denotar el bicondicional son
↔, ⟺ y ≡. La notacion ↔ se utiliza frecuentemente como un conectivo u operador l贸gico, que permite combinar dos proposiciones mas simples para generar una proposici贸n compuesta de la forma P ↔ Q, mientras que la segunda y tercera notaci贸n se emplean casi siempre para denotar la relaci贸n de equivalencia l贸gica entre dos proposiciones l贸gicas. El significado de cada notaci贸n depende fuertemente del contexto en que se utilicen.
(Wikipedia)