\(\neg(A\land B)\)
\(\neg A\lor\neg B\)Les Tables · Logique · Lycée → Prépa
Lois logiques et méthodes de démonstration
Comprendre et vérifier lois logiques et méthodes de démonstration.
je-sais
Je sais
\(\neg(A\land B)\Leftrightarrow\neg A\lor\neg B\)
reconstruis
Je reconstruis
\(A\Rightarrow B\Leftrightarrow\neg B\Rightarrow\neg A\)
attention
Je fais attention
\(P(0)\quad P(n)\Rightarrow P(n+1)\)
controle
Je contrôle
\(A\Leftrightarrow B\)
La table
Valeurs à connaître
\(\neg(A\lor B)\)
\(\neg A\land\neg B\)\(A\Rightarrow B\)
\(\neg B\Rightarrow\neg A\)\(P(0)\land(P(n)\Rightarrow P(n+1))\)
\(P(n)\)\(A\Leftrightarrow B\)
\(A\Rightarrow B et B\Rightarrow A\)Je m'entraîne
Une question pour vérifier
Exercice 1
Quelle est la négation de A∧B ?
Voir la correction
Réponse : ¬A∨¬B
Repère. Applique De Morgan.
Pourquoi. ¬(A∧B)⇔¬A∨¬B
Exercice 2
Quelles sont les deux étapes d une récurrence ?
Voir la correction
Réponse : Initialisation et hérédité
Repère. Vérifie P(0), puis P(n)⇒P(n+1).
Pourquoi. P(0) et P(n)⇒P(n+1)
Avant / après
Apres : Table de vérité des connecteurs logiques — Cette table prolonge une notion proche.