Proposition — définition ?
Énoncé vrai ou faux.
Négation — rôle ?
Inverse la valeur de vérité.
Implication — symbole ?
P ⇒ Q signifie : si P alors Q.
Réciproque — différence ?
Q ⇒ P, inverse de implication.
Équivalence — symbole ?
P ⇔ Q, implication dans les deux sens.
Quantificateur universel — symbole ?
∀, pour tous les éléments.
Quantificateur existentiel — symbole ?
∃, il existe au moins un.
Déduction — étape clé ?
De hypothèses à conclusion logique.
Contre-exemple — utilité ?
Contredit une proposition générale.
Raisonnement par absurde — principe ?
Supposer le contraire pour aboutir à une contradiction.
Contraposée — formule ?
Non Q ⇒ Non A, équivalente à A ⇒ B.
Cas — utilisation ?
Traiter séparément différentes situations.
Testez vos connaissances avec un QCM de 12 questions sur Introduction à la logique mathématique.
1. Quelle proposition décrit correctement la négation d’une proposition P ?
2. Que peut-on affirmer à propos d’une proposition P et de sa négation non P ?
Révisez le cours complet dans la fiche de révision de Introduction à la logique mathématique.
Voir la fiche →Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards