In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.
Nella scrittura, le seguenti espressioni sono equivalenti
- "P se e solo se Q",
- "P sse Q",
- "P è condizione necessaria e sufficiente per Q",
- "P è equivalente a Q".
Nelle formulazioni logiche i simboli logici sono usati al posto di queste frasi; vedi la discussione sulle notazioni.
Il connettivo logico se e solo se compare nella logica proposizionale con la seguente tavola di verità (uguale alla porta XNOR).
| A | B | A sse B |
|---|---|---|
| F | F | V |
| F | V | F |
| V | F | F |
| V | V | V |
In logica matematica l'espressione "" è equivalente all'espressione "". Questa proprietà viene utilizzata in tutti i campi della matematica quando è necessario dimostrare una proprietà del tipo "a ⇔ b"; in questi casi, quindi, si dimostra in un primo momento che e successivamente che .
Una definizione informale del connettivo logico sse risulta essere: "ponte tra sinonimi". Esiste infatti un isomorfismo tra una parola e un suo sinonimo.
Uso
[modifica | modifica wikitesto]Notazioni
[modifica | modifica wikitesto]I simboli logici che corrispondono al se e solo se, sono "↔", "⇔" e "≡", e a volte "sse" (in inglese "iff", "if and only if").
Queste notazioni sono tutte equivalenti. Tuttavia, alcuni testi di logica matematica (in particolare quelli di logica del primo ordine, o piuttosto quelli di logica proposizionale) fanno una distinzione tra le notazioni, in particolare tra le prime: ↔, è usata come simbolo nelle formulazioni logiche, mentre ⇔ è usata nella discussione inerente a queste formule (per esempio in metalogica).
Differenza tra "sse" e "se"
[modifica | modifica wikitesto]Per semplicità, la differenza tra se e sse può essere illustrata con le due seguenti proposizioni:
- Caio mangerà il dolce se il dolce è alla crema (equivalentemente: se il dolce è alla crema, allora Caio lo mangerà).
- Caio mangerà il dolce se e solo se (sse) il dolce è alla crema.
La proposizione (1) dice solamente che Caio mangerà il dolce alla crema. Tuttavia non preclude la possibilità che Caio abbia l'occasione di mangiare un dolce diverso. Forse lo farà, forse non lo farà. La frase non ci dice nulla a proposito. Tutto ciò che sappiamo è che Caio mangerà sicuramente un dolce se questo è alla crema.
La frase (2) dice che Caio mangerà solo dolci alla crema e solo quelli. Caio non mangerà altri tipi di dolce.
Un'ulteriore differenza è che "se" è usato nelle definizioni (ad eccezione nella logica formale); vedere oltre.
Nel primo caso si dice che la proposizione ("Se il dolce è alla crema") implica ("Caio lo mangerà").
Nel secondo caso, si dice che la coimplica.
Considerazioni avanzate
[modifica | modifica wikitesto]Interpretazione filosofica
[modifica | modifica wikitesto]Una frase composta da due frasi collegate tramite "sse" è chiamata una bicondizionale. sse collega le due frasi per formare una nuova frase. Non deve essere confuso con l'equivalenza logica che è una descrizione della relazione tra due frasi. La bicondizionale "A sse B" usa la frase A e la frase B, descrivendo una relazione tra lo stato delle cose che A e B descrivono. Al contrario, "A è logicamente equivalente a B" lega le due frasi: descrive una relazione tra quelle due frasi, e non tra gli argomenti di cui parlano.
La distinzione è molto confusa, e ha condotto molti filosofi fuori strada. Certamente se A è logicamente equivalente a B allora "A sse B" è vera. Ma il contrario non funziona. Si consideri la frase:
- Caio mangerà il dolce se e solo se è alla crema.
Chiaramente non c'è equivalenza logica tra le due parti di questa bicondizionale.
Definizioni
[modifica | modifica wikitesto]In filosofia e in logica, "iff" è usato nelle definizioni. In matematica e altrove, tuttavia, la parola "se" è normalmente usata nelle definizioni, al posto di "sse" (alcuni autori tuttavia indicano esplicitamente che "se" all'interno di una definizione significa "sse")
Esempi
[modifica | modifica wikitesto]Sono riportati alcuni esempi di frasi vere che usano "sse" (il primo è un esempio di definizione, quindi normalmente sarebbe scritto usando "se"):
- Una persona è uno scapolo sse quella persona è non sposata ed è un uomo sposabile.
- "La neve è bianca" (in italiano) è vera sse "Snow is white" (in inglese) è vera.
- Per ogni p, q e r: (p & q) & r sse p & (q & r). (Poiché questa frase è scritta usando variabili e "&", la frase dovrebbe essere scritta usando "↔", o uno degli altri simboli usati nella scrittura della bicondizionale, al posto di "sse").
Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file sull'espressione se e solo se
Collegamenti esterni
[modifica | modifica wikitesto]- se e solo se, in Dizionario delle scienze fisiche, Istituto dell'Enciclopedia Italiana, 1996.
- se e solo se, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Eric W. Weisstein, Iff, su MathWorld, Wolfram Research.
- (EN) Denis Howe, iff, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- (EN) Language Log: "Just in Case", su itre.cis.upenn.edu.
- (EN) Southern California Philosophy for philosophy graduate students: "Just in Case", su hesperusphosphorus.wordpress.com.
