Wikipedia

Se e solo se: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Botcrux (discussione | contributi)
Bot
3 459 309 modifiche
m Bot: subst template Prettytable, vedi disc. 1 e 2
AlessioBot (discussione | contributi)
329 744 modifiche
m WPCleaner v1.30b - Fixed using Wikipedia:Check Wikipedia - Entità con codice nominale (automatico)
Riga 20:
|}
 
In [[logica matematica]] l'espressione "a &harr;↔ b" è equivalente all'espressione "<math>(a \to b) \land (b \to a)</math>". Questa proprietà viene utilizzata in tutti i campi della matematica quando è necessario dimostrare una proprietà del tipo "a &hArr;⇔ b"; in questi casi, quindi, si dimostra in un primo momento che <math>a \Rightarrow b</math> e successivamente che <math>b \Rightarrow a</math>.
 
Una definizione informale del connettivo logico '''sse''' risulta essere: "ponte tra sinonimi". Esiste infatti un [[isomorfismo]] tra una [[parola]] e un suo [[Sinonimia|sinonimo]].
Riga 26:
==Uso==
===Notazioni===
I simboli logici che corrispondono al se e solo se, sono "&harr;↔", "&hArr;⇔" e "&equiv;≡", e a volte "sse" (in inglese "iff", "if and only if"). <div id="shortcut" class="noprint" style="border:1px solid #999; background:#fff; margin:0 0 .5em 1em; text-align:center; padding:5px; float:right; clear:right; font-size:smaller;">
<big><big><big><big><big>
↔ <br/>
Riga 67:
*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''&nbsp;&&nbsp;''q'')&nbsp;&&nbsp;''r'' sse ''p''&nbsp;&&nbsp;(''q''&nbsp;&&nbsp;''r''). (Poiché questa frase è scritta usando variabili e "[[and logico|&]]", la frase dovrebbe essere scritta usando "&harr;↔", o uno degli altri simboli usati nella scrittura della bicondizionale, al posto di "sse").
 
[[Categoria:Logica]]
Estratto da "https://it.wikipedia.org/wiki/Se_e_solo_se"