Implication, contraposée, équivalence, réciproque : vrai ou faux et Memory
2nde › Mathematiques › Notions et raisonnements logiques. Teste tes connaissances en quelques minutes, sans inscription : la correction s'affiche à chaque réponse.
Révision : les 17 affirmations corrigées
Si une implication \(P \Rightarrow Q\) est vraie, alors sa contraposée \(\neg Q \Rightarrow \neg P\) est aussi vraie.
Vrai — L'implication et sa contraposée sont logiquement équivalentes.
La réciproque d'une implication \(P \Rightarrow Q\) est toujours vraie.
Faux — La réciproque \(Q \Rightarrow P\) n'est pas nécessairement vraie.
Une équivalence \(P \iff Q\) signifie que \(P \Rightarrow Q\) et \(Q \Rightarrow P\) sont toutes deux vraies.
Vrai — Une équivalence nécessite que les deux implications soient vraies.
La contraposée de \(P \Rightarrow Q\) est toujours fausse si \(P\) est vraie et \(Q\) fausse.
Vrai — C'est la définition de la contraposée : sa valeur de vérité dépend de celle de l'implication.
La négation de \(P \Rightarrow Q\) est \(P \land \neg Q\).
Vrai — La négation d'une implication est l'affirmation que \(P\) est vraie et \(Q\) fausse.
Dans une implication, le vrai antécédent et la fausse conséquence conduisent l'implication à être fausse.
Faux — L'implication est fausse seulement si \(P\) est vraie et \(Q\) est fausse, sinon elle peut être vraie.
La réciproque d'une proposition correspond à l'inverse de l'implication.
Faux — La réciproque inverse l'ordre mais ne concerne pas l'inverse logique de la proposition dans ce contexte.
L'équivalence \(P \iff Q\) est aussi appelée double implication.
Vrai — En logique, \(P \iff Q\) est souvent appelée double implication.
Une implication \(P \Rightarrow Q\) est vraie si \(P\) est fausse, peu importe \(Q\).
Vrai — Une implication est vraie lorsqu'elle ne peut pas être fausse, notamment si \(P\) est fausse.
La vérité d'une implication nécessite que \(P\) et \(Q\) soient toutes deux vraies.
Faux — L'implication peut être vraie si \(P\) est fausse ou si \(Q\) est vraie; pas besoin que les deux soient vraies.
La contraposée et la réciproque d'une implication sont logiquement équivalentes.
Faux — La contraposée est équivalente à l'implication, mais pas la réciproque.
L'implication \(P \Rightarrow Q\) ne peut jamais être fausse si \(Q\) est vraie.
Faux — La vérité ou fausseté dépend de \(P\), pas uniquement de \(Q\).
Le symbole \(\iff\) signifie 'si et seulement si'.
Vrai — Ce symbole indique une double implication, donc 'si et seulement si'.
L'énoncé \(P \Rightarrow Q\) est vrai lorsque \(P\) est faux et \(Q\) est faux.
Vrai — Vrai, car une implication est vraie quand \(P\) est fausse, peu importe \(Q\)
La négation de \(P \iff Q\) est \(P \not\iff Q\).
Faux — La négation de \(P \iff Q\) est qu'ils ne sont pas équivalents, ce qui peut s'écrire aussi comme \(P \not\iff Q\).
Une implication \(P \Rightarrow Q\) est fausse uniquement si \(P\) est vraie et \(Q\) est fausse.
Vrai — C'est la seule situation où une implication est fausse.
La déduction logique permet d'obtenir une conclusion \(Q\) à partir de deux hypothèses \(P\) et \(P \Rightarrow Q\).
Vrai — La déduction logigue en chaîne permet cette conclusion.
Les 10 notions à retenir
- Implication
- \(P \Rightarrow Q\), relation logique de cause à effet.
- Contraposée
- \(\neg Q \Rightarrow \neg P\), implication inverse et négative.
- Réciproque
- \(Q \Rightarrow P\), inverse de l'implication.
- Équivalence
- \(P \iff Q\), vraie si \(P\Rightarrow Q\) et \(Q\Rightarrow P\) sont vraies.
- Négation d'une implication
- \(P \land \neg Q\), existence de \(P\) vrai et \(Q\) faux.
- Double implication
- Synonyme de \(P \iff Q\), double condition logique.
- Vérité d'une implication
- Quand \(P\) est faux ou \(Q\) est vrai, l'implication est vraie.
- Vérité conditionnelle
- Caractéristique d'une implication : seule falsifiable quand \(P\) est vrai et \(Q\) est faux.
- Logique formelle
- L'étude des formes et des structures logiques des raisonnements.
- Raisonnement déductif
- Opposé au raisonnement inductif, aboutit à une conclusion certaine.