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

Contenuto cancellato Contenuto aggiunto
m Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap
Gian BOT (discussione | contributi)
m Bot: aggiunge sommario alle pagine del libro
Riga 1:
{{logica matematica}}
In questo primo esempio utilizzeremo le regole di manipolazione algebrica per ridurre la regola 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 atomiche come abbiamo fatto finora con il metodo delle tabelle di verità.