Implication

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

Math'φsics

Formulaire de report

Définition

Table de vérité

Preuve