Flashcard: Introduction à la logique mathématique — 12 carte

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.