conjonction [latin : cum, avec ; et jungere, joindre]
Connecteur noté ∧ (lire "et"), défini par la table de vérité suivante :
|
p
|
q
|
p∧q
|
|
V
|
V
|
V
|
|
V
|
F
|
F
|
|
F
|
V
|
F
|
|
F
|
F
|
F
|
La proposition p∧q est vraie si et seulement si les propositions p et q sont vraies toutes les deux.