Introduction à la logique mathématique/Implication et équivalence

Le support de cette présentation de cours est disponible au téléchargement au format PDF.

Afin de contribuer au respect de l’environnement, merci de n’imprimer que les pages qui vous semblent utiles. Pensez au recto-verso et à l'impression de plusieurs slides par page.

Quiz

Voir les exercices sur : Manipulation des opérateurs IMPLIQUE et EQUIVALENT.

1 Complétez la table de vérité de l'opérateur EQUIVALENT appliqué à deux propositions A et B.

${\begin{array}{|c|c||c|}A&B&A\Leftrightarrow B\\\hline F&F&\color {Red}{\cdots }\\F&V&\color {Red}{\cdots }\\V&F&\color {Red}{\cdots }\\V&V&\color {Red}{\cdots }\\\end{array}}$

VRAI	FAUX
		Première ligne
		Deuxième ligne
		Troisième ligne
		Quatrième ligne

2 Complétez la table de vérité de l'opérateur IMPLIQUE appliqué à deux propositions A et B.

${\begin{array}{|c|c||c|}A&B&A\Rightarrow B\\\hline F&F&\color {Red}{\cdots }\\F&V&\color {Red}{\cdots }\\V&F&\color {Red}{\cdots }\\V&V&\color {Red}{\cdots }\\\end{array}}$

VRAI	FAUX
		Première ligne
		Deuxième ligne
		Troisième ligne
		Quatrième ligne

	$A\wedge (\lnot B)$
	$(\lnot A)\wedge B$
	$(\lnot A)\vee B$
	$A\vee (\lnot B)$

4

Commutativité

Un opérateur logique binaire $\star$ est dit commutatif lorsque, pour toutes propositions A et B, $\scriptstyle A\star B$ et $\scriptstyle B\star A$ ont même valeur logique.

À partir de cette définition et des tables de vérité, répondre aux questions suivantes :

OUI	NON
		IMPLIQUE est-il commutatif ?
		ÉQUIVALENT est-il commutatif ?

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.