Qu'est-ce qu'une proposition en logique ?
Un énoncé vrai dans certaines conditions et faux dans d'autres.
Quelles sont les valeurs de vérité possibles d'une proposition ?
V ou 1 pour vrai, F ou 0 pour faux.
Qu'est-ce que la négation d'une proposition P ?
Une proposition vraie si P est fausse, fausse si P est vraie.
Quand la conjonction P ∧ Q est-elle vraie ?
Lorsque P et Q sont toutes deux vraies.
Quand la conjonction P ∧ Q est-elle fausse ?
Dans tous les cas où P ou Q est fausse.
Quand la disjonction P ∨ Q est-elle vraie ?
Si P est vraie ou Q est vraie.
Quand la disjonction P ∨ Q est-elle fausse ?
Si P et Q sont toutes deux fausses.
Quand l'implication P ⇒ Q est-elle fausse ?
Lorsque P est vraie et Q est fausse.
Quand l'implication P ⇒ Q est-elle vraie ?
Dans tous les cas sauf si P est vraie et Q est fausse.
Quand l'équivalence P ⇔ Q est-elle vraie ?
Lorsque P et Q ont la même valeur de vérité.
Quelle propriété algébrique décrit P ∨ Q ⇔ Q ∨ P ?
La disjonction est commutative.
Quelle propriété algébrique décrit P ∧ Q ⇔ Q ∧ P ?
La conjonction est commutative.
Quelle propriété algébrique relie (P ∨ Q) ∨ R et P ∨ (Q ∨ R) ?
La disjonction est associative.
Quelle propriété algébrique relie (P ∧ Q) ∧ R et P ∧ (Q ∧ R) ?
La conjonction est associative.
Qu'expriment les lois de De Morgan en logique ?
¬(P ∨ Q) ⇔ (¬P ∧ ¬Q) et ¬(P ∧ Q) ⇔ (¬P ∨ ¬Q).
Quelle équivalence exprime la contraposition ?
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P).
Quelle est la négation d'une implication ?
¬(P ⇒ Q) ⇔ (P ∧ ¬Q).
Que disent les règles d’évidence et de contradiction ?
P ∨ ¬P ⇔ Vraie et P ∧ ¬P ⇔ Fausse.
Qu'est-ce qu'une adversion en logique ?
Une proposition toujours vraie ou toujours fausse.
Quelle propriété algébrique exprime P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R) ?
La disjonction est distributive par rapport à la conjonction.
Que vérifie la double négation en logique ?
¬(¬P) ⇒ P.
Qu'expriment les lois d'idempotence en logique ?
P ∨ P ⇔ P et P ∧ P ⇔ P.
Quelle règle relie P ∨ Vraie ?
P ∨ Vraie ⇔ Vraie.
Quelle règle relie P ∧ Fausse ?
P ∧ Fausse ⇔ Fausse.
Teste tes connaissances avec un QCM de 12 questions sur Logique et raisonnement mathématique.
1. Quelle caractéristique distingue une proposition logique d’une expression dépourvue de valeur de vérité ?
2. Dans le codage usuel des valeurs de vérité, que représentent les symboles et ainsi que les chiffres associés ?
Révisez le cours complet dans la fiche de révision de Logique et raisonnement mathématique.
Voir la fiche →Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards