Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
categorizzata
m Bot: Sostituzione automatica (-([^D])E'([^'.]) +\1È\2)
Riga 45:
|11
|<math> \top </math>
| E'È una tautologia!
|-
|}
Riga 58:
 
 
E'È 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 nagazione.
 
[[Categoria:Logica|Esercizi su algebra delle proposizioni]]