La conjonction de deux propositions P et Q est la proposition qui est vraie lorsque les propositions P et Q sont simultanément vraies et fausse si l’une des deux propositions est fausse.
Symbole
La conjonction logique des propositions P et Q est notée « P ∧ Q » et se lit : « P et Q ».
Propriétés
- La table de vérité de la conjonction est la suivante :
| P | Q | P ∧ Q |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
dans laquelle 1 = vrai et 0 = faux.
- La conjonction logique et la disjonction logique sont liées par les Lois de De Morgan.
\(
\neg (P ∧ Q) ⇔ \neg P ∨ \neg Q \\
\neg (P ∨ Q) ⇔ \neg P ∧ \neg Q
\)