Logica matematica/Calcolo delle proposizioni/Esercizi su tavole di verità: differenze tra le versioni

Questa sentenza è un ragionamento errato che spesso si sente fare nei discorsi di ogni giorno: se A implica B allora non A implica non B. Da questa tabella di verità si vede che non è sempre vero (anche se spesso è vero). e
La laregola vera regolacorretta che coinvolge negazione ed implicazione (contrapposizione) dice che se A implica B allora non B implica non A (verrà dimostrata con un esercizio successivo).