Voici les définitions clés à connaître pour ce chapitre.
Une implication est une proposition de la forme « si p alors q », notée p ⇒ q. Elle est fausse seulement si p est vraie et q est fausse.
Table de vérité :