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 52:
Questo modo di operare sta anticipando quello che vedremo nella prossime sezioni: come dimostrare che una proposizione è vera o soddisfacibile per via sintattica e non semantica.
L' euristica che ci ha guidato nella trasformazione è stata quella di trasformare la sentenza in una serie di disgiunzioni tra congiunzioni. Questa configurazione prende il nome di forma normale disgiunta
Forma normale disgunta:<math>\vee_{i} ( \wedge_{j} A_{i,j} )</math>
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.
|