Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 61:
È molto semplice verificare il valore di verità di una sentenza in forma normale disgiunta: la prima disgiunzione vera rende vera tutta la frase, quindi possiamo terminare l'analisi; le congiunzioni sono ugualmente di facile valutazione, devono avere tutte le loro componenti vere e falliscono se contengono una frase e la sua negazione.
== Voci correlate ==
* [[Logica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi|Dimostrazione di completezza di insiemi di connettivi]]
[[Categoria:Logica|Esercizi su algebra delle proposizioni]]
| |||