Conjonction de deux assertions

Définition
Cours
Partie:	Partie 1: Introduction
Chapitre:	Chapitre 1: Éléments de logique
Cours précédent:	Négation d'une assertion
Cours suivant:	Disjonction de deux assertions
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 conjonction de $P$ et de $Q$, notée $P\wedge Q$, et définie par la table de vérité suivante:

Elle n'est donc vraie que dans le cas où $P$ et $Q$ sont vraies toutes les deux.

Autres notations

• $P\text{ et }Q$

Exemple

$(0<x)\wedge(x<1)$, que l'on écrit généralement $0<x<1$.