Si e solmente si
Apparentia
In logica, philosophia e mathematica "si e solmente si"[1] es un connectivo logic biconditional inter duo propositiones, ubi o ambe propositiones es ver o ambe propositiones es false. Le symbolos pro "si e solmente si" es o ↔ o ⇔ o ⟺ o ≡; un abbreviatura possibile es "ssi".