PsychoDéfi
Connexion

Tables de vérité : propositions vraies ou fausses

Valeur de vérité de propositions composées.

113 exercicesNiveau 2 : 22Niveau 3 : 26Niveau 4 : 33Niveau 5 : 32

Avant de commencer

Tables de vérité

Valeur de vérité de propositions composées. Chaque exercice est accompagné de sa correction détaillée et du temps conseillé.

Mode

Niveau

Toutes les difficultés mélangées.

Nombre d’exercices

Les tests de plus de 10 exercices sont réservés à Premium.

Temps

Le chronomètre part de 0 et ne vous arrête pas : vous voyez combien de temps vous mettez.

Barème+1 bonne réponse · −0,33 réponse fausse · 0 sans réponse · Choisir mon barème

Exemples corrigés

Exemple · niveau 2LogiqueTables de véritéDifficulté 2/5 · ~55 s

Laquelle des propositions suivantes est une tautologie (vraie dans tous les cas) ?

Notation : ¬ = non · ∧ = et · ∨ = ou (inclusif) · → = si…, alors… · ↔ = si et seulement si.

A
(p ∧ q) → p
B
(¬p ∧ q) → p
C
(p ∧ q) → ¬p
D
(p ∨ q) → p
Voir la correction détaillée →
  1. 1(p ∧ q) → p est vraie quelle que soit la combinaison de valeurs de ses lettres.
  2. 2En effet, si l’on essaie de la rendre fausse, on aboutit à une situation impossible.
  3. 3Les autres ne sont pas des tautologies : chacune a au moins une ligne fausse dans sa table de vérité.
  4. 4Par exemple, (¬p ∧ q) → p est fausse avec p = F, q = V.

Règle : Tautologie : la table de vérité est vraie sur toutes les lignes.

Exemple · niveau 4LogiqueTables de véritéDifficulté 4/5 · ~75 s

Laquelle des propositions suivantes est équivalente à celle de l’encadré ?

¬(r → q)

Notation : ¬ = non · ∧ = et · ∨ = ou (inclusif) · → = si…, alors… · ↔ = si et seulement si.

A
¬r ∧ q
B
¬r ∨ q
C
r ∧ ¬q
D
¬r → ¬q
Voir la correction détaillée →
  1. 1On applique la négation d’une conditionnelle : ¬(r → q) équivaut à r ∧ ¬q.
  2. 2Deux propositions sont équivalentes si elles ont la même valeur sur toutes les lignes de la table de vérité.
  3. 3En revanche, ¬r → ¬q ne l’est pas : avec q = F, r = F, ¬(r → q) est fausse et ¬r → ¬q est vraie.

Règle : Équivalence logique (la négation d’une conditionnelle), vérifiée avec la table de vérité complète.

Autres exercices · Raisonnement logique