mathématiques (PCSI) · Chapitre 1 · Application directe du cours

Table de vérité d'une implication

Raisonnement et vocabulaire ensembliste · A. Assertions et connecteurs logiques · niveau 1 (application)

Énoncé

Dresser la table de vérité de l'assertion $(P \Rightarrow Q) \lor (Q \Rightarrow P)$ . Que constate-t-on ?

Dresser la table de vérité pour les différentes configurations des assertions $P$ et $Q$ :

$P$	$Q$	$P \Rightarrow Q$	$Q \Rightarrow P$	$(P \Rightarrow Q) \lor (Q \Rightarrow P)$
V	V	V	V	V
V	F	F	V	V
F	V	V	F	V
F	F	V	V	V

Conclusion : L'assertion est toujours vraie, quelles que soient les valeurs de vérité de $P$ et $Q$ . C'est une tautologie.