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