Si e solmente si

De Wikipedia, le encyclopedia libere

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

Referentias[modificar fonte]

  1. Derivation (in ordine alphabetic): (ca) Si i només si || (de) || (en) If and only if || (es) Bicondicional || (fr) || (it) Se e solo se || (pt) Se e somente se || (ro) Dacă și numai dacă || (ru) Тогда и только тогда