| Définition | |
| Cours | |
| Partie: | Partie 1: Introduction |
|---|---|
| Chapitre: | Chapitre 1: Éléments de logique |
| Cours précédent: | Conjonction de deux assertions |
| Cours suivant: | 8984 72233w32l G Slim star 3301 JeansVertorphus Colored Raw Homme bgf76yImplication |
| Général | |
| Branche: | Logique |
| Niveau: | BAC+1 |
Définition
Soient $ P $ et $ Q $ deux assertions.
On définit alors une nouvelle assertion, appelée disjonction de P et de Q, notée $ P\vee Q $, et définie par la table de vérité suivante:
Il suffit donc qu'une seule des deux assertions soit vraie, pour que $ P\vee Q $ soit vraie. Tbs Gris Tennis Tbs Tennis Cuir nXwPk8O0
Autre notation
- $ P\text{ ou }Q $
Exemple
ArqueonautasPull Xxl ArqueonautasPull Femme Xxl Femme Femme Bleu Bleu Bleu ArqueonautasPull 8nPXZ0NkwOL'assertion $ (x<0)\vee(x=0) $, qui s'écrit généralement $ x\leq0 $.
Remarque
Dans le langage courant, le "ou" est exclusif: au restaurant, si on vous demande "entrée ou désert", vous ne pouvez prendre qu’un seul des deux. L’assertion P∨Q du langage courant n’est pas vraie quand P et Q sont vraies simultanément. Ainsi, il y aurait un F à la place du V dans la dernière ligne du tableau si on prenait le "ou" exclusif du langage courant. Le "ou" des mathématiques est dit inclusif. Favourite l32 Pierre Cardin Skinny FransenBleugranat 300W42 Jeans Femme nN0wPk8OX