Wikibooks

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

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 1:
In questo primo esempio utilizzeremo le regole di manipolazione algebrica per ridurre la sentenzaregola di contrapposizione a Vero, dimostrando che si tratta di una tautologia manipolando i simboli e non applicando in modo esaustivo tutte le possibili interpretazioni della variabili di base come abbiamo finora fatto con il metodo delle tabelle di verità.
 
{|
Riga 35:
|-
|}
 
Questo modo di operare sta anticipando quello che vedremo nella prossima sezione: come dimostrare che una proposizione è vera o soddisfacibile senza dover analizzare tutte le possibili configurazioni.
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/Esercizi_su_algebra_delle_proposizioni"