Math'φsics
Acceuil
Maths
Physique
Maths
Physique
Implication
Formulaire de report
Problème d'affichage
Contenu de la note peu pertinent
Définition
Soient \(A\) et \(B\) deux assertions
On note \(A\implies B\) l'assertion \(\lnot A\lor B\) et on l'appelle "\(A\) implique \(B\)"
(
Négation
,
Disjonction
)
Condition nécessaire
,
Condition suffisante
Principe du syllogisme
En théorie des probabilités, \(A\subset B\) signifie que l'événement \(A\) implique l'événement \(B\)
(
Inclusion
,
Théorie des probabilités
)
Table de vérité
Table de vérité de l'implication : $$\begin{array}{c|c|c}\varphi&\psi&\varphi\implies\psi\\ \hline0&0&{{1}}\\ \hline0&1&{{1}}\\ \hline1&0&{{0}}\\ \hline1&1&{{1}}\end{array}$$
Preuve
Contraposée
Rétroliens :
Condition nécessaire
Condition suffisante
Contraposée
Equivalence
Evènement
Principe du syllogisme
Raisonnement par double implication