Logica matematica/Calcolo delle proposizioni/Tutti i connettivi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap |
||
Riga 103:
Questo è l'elenco completo. Possiamo notarne alcuni che già conosciamo, o comunque interessanti.
* 01: è la congiunzione AND (<math>\
* 07: è la disgiunzione OR (<math>\
* 13: è l'implicazione (<math>\to</math>).
* 09: è l'equivalenza o doppia implicazione (<math>\leftrightarrow</math>), cioè <math>(A \to B) \
* 00: è la costante Falso (<math>\bot</math>).
* 15: è la costante Vero (<math>\top</math>).
Riga 122:
<math>A\uparrow A \equiv \neg A</math>
<math>(A \uparrow B) \uparrow (A \uparrow B) \equiv A \
<math>(A \uparrow A) \uparrow (B \uparrow B) \equiv A \
<math>(A \uparrow B) \uparrow (A \uparrow B) \equiv A \
<math>(A \uparrow B) \uparrow A \equiv A \to B </math>
| |||