L’implicazione e la deduzione logica
Che cosa si intende per implicazione e deduzione logica?
Se p allora q si scrive p ⇒ q in cui il simbolo ⇒ indica l’implicazione dove p
è la premessa e q è la conseguenza.
Se un enunciato p non implica l’enunciato q si scrive p ⇒ q.
Se p e q sono vere allora p ⇒ q è una deduzione logica.
Esempio
p: Un numero è multiplo di 6
q: Un numero è multiplo di 2
p ⇒ q Se un numero è multiplo di 6, allora è anche multiplo di 2 è una deduzione logica.
