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

Questo modo di operare sta anticipando quello che vedremo nella prossime sezioni: come dimostrare che una proposizione è vera o soddisfacibile per via sintattiucasintattica e non semantica.