Logique mathématique - Cours 3 (MA) (part 3: contraposée)