Logica matematica/Calcolo delle proposizioni/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 1:
In questo esempio abbiamo deciso di utilizzare i connettivi <math>\neg </math>, <math>\
La scelta è molto naturale; abbiamo infatti, rispettivamente, l'operazione di negazione (not), la doppia implicazione, l'implicazione, la congiunzione (and) e la disgiunzione (or), che ci permettono di esprimere la maggioranza delle proposizioni che incontreremo.
|