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.
Test your knowledge with 12 questions on 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 ?
Review the complete course in the revision sheet for Introduction à la logique mathématique.
See revision sheet →Import your course and AI generates flashcards in 30 seconds.
Flashcard generator