"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)