Logique : connecteurs logiques et tables de vérité

Légende de la leçon

Vert : définitions

I. Connecteurs logiques de base

Les connecteurs logiques sont des opérateurs utilisés pour combiner des propositions simples en propositions plus complexes. Voici les principaux connecteurs :

• Négation ($\neg$) : la négation d'une proposition $p$ est « non p », notée $\neg p$. Elle est vraie si $p$ est fausse, et fausse si $p$ est vraie.
• Conjonction ($\vee$) : $p \vee q$ est vrai seulement si $p$ et $q$ sont tous les deux vrais.
• Disjonction ($\wedge$) : $p \wedge q$ est vrai si au moins l'une des propositions $p$ ou $q$ est vraie.
• Implication ($\rightarrow$) : $p \rightarrow q$ est faux uniquement si $p$ est vrai et $q$ est faux. Dans tous les autres cas, il est vrai.
• Équivalence ($\leftrightarrow$) : $p \leftrightarrow q$ est vrai si $p$ et $q$ ont la même valeur de vérité.

II. Tables de vérité

Une table de vérité est un outil utilisé en logique pour déterminer la valeur de vérité d'une proposition complexe en fonction de toutes les combinaisons possibles de valeurs de vérité pour ses composants.

Exemple de table de vérité pour la conjonction (∧) : 

III. Utilisation des connecteurs logiques

• Formulation d'arguments : les connecteurs logiques permettent de formuler des arguments et de vérifier leur validité.
• Circuits logiques : en informatique, ces connecteurs sont utilisés pour construire des circuits logiques dans les systèmes numériques.

IV. Implication matérielle et logique

L'implication matérielle ($p \rightarrow q$) est souvent source de confusion. Elle ne doit pas être confondue avec une relation de cause à effet, mais plutôt vue comme une garantie de non-contradiction : il n'est pas possible que $p$ soit vrai et $q$ soit faux.

V. Lois de la logique

Il existe plusieurs lois logiques, telles que la loi de l'identité, la loi de non-contradiction, la loi du tiers exclu, et les lois de De Morgan, qui sont essentielles pour manipuler et comprendre les propositions logiques.

Je retiens

Connecteurs logiques : $\neg$, $\vee$, $\wedge$, $\rightarrow$, $\leftrightarrow$ sont les principaux connecteurs.

Tables de vérité : outils essentiels pour analyser la vérité des propositions complexes.

Implication matérielle : ne doit pas être interprétée comme une relation de causalité.