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 51:
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, ed è di semplice valutazione.
| |||