Mathématiques pour collège et lycée

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)\).