Contenu : cours, exercices et méthodes
Professeur : Mr Josselin DOUINEAU
implication \( (A\Longrightarrow B )\), contraposée \( (\xcancel{B} \Longrightarrow \xcancel{A} )\), réciproque \( (A \Longleftarrow B)\) et équivalence \( (A \Longleftrightarrow B)\);
principaux connecteurs logiques \( \bigl(non(A), \ (A \text{ ou } B), \ (A \text{ et } B) \bigr)\).