Si e solmente si
In logica, philosophia e mathematica "si e solmente si" 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".

Logica