# implication

> Si **je conduis**, alors **je poséde un permis** </br>
> P ⇒ Q

L'implication est la plus compliquée en soit car le tableau de véritée est plus perturbant que les autres

P | Q | P ⇒ Q
::|:-:| :-:
1 | 1 |    1
1 | 0 |[^0]0
0 | 1 |[^1]1
0 | 0 |[^1]1

[^0]: Je conduis et n'ai pas de permis donc j'ai un procés

[^1]: Je ne conduis pas donc je n'ai pas de procés


- **Réciproque** : P ⇒ Q : Q ⇒ P (n'est pas équivalent)
- **Contraposée** : P ⇒ Q : \\( \neg{P} ⇒ \neg{Q} \\)  (est equivalent)