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 \ ou \ B), \ (A \ et \ B) \bigr)\).