Archives par étiquette : table de vérité

38a. Rudiments de logique : non, et, ou, implique

Pour raisonner logiquement, respectons les règles de la logique. Cet article présente les règles logiques de la négation, de la conjonction (et), de la disjonction (ou) et de l’implication avec des diagrammes et des tables de vérité.

Une proposition quelconque sera notée par une lettre majuscule. Soit A une proposition. Il faut distinguer deux intentions lorsqu’on énonce une proposition : l’intention assertive et l’intention référentielle, qui introduit le point de vue « méta », en surplomb, nécessaire à l’attitude critique.

Lorsqu’on dit « A », on se positionne : on sous-entend que A est vraie.

Lorsqu’on dit « A est une proposition », on se réfère à A sans se positionner sur la vérité de A.

Lorsqu’on dit « A est une proposition vraie (ou fausse) », on se réfère à A explicitement et on se positionne sur la vérité de A. Comme la référence à A s’accompagne d’un jugement (ou évaluation) de vérité, on dira que l’intention est assertive, pour réserver l’étiquette « intention référentielle » aux seuls cas où l’intention de la proposition est de référer à une proposition sans préjuger de sa vérité.

On exclut aussi l’intention qui consiste à faire semblant de dire vrai (d’où la possibilité que l’application du logicien à formuler les problèmes de manière logique le fasse passer pour un naïf et la difficulté de faire de la politique de manière logique).

Remarque. Soit A la proposition « la vérité n’existe pas ». A est fausse parce que c’est une assertion, c’est-à-dire un jugement de vérité (il est vrai que la vérité n’existe pas). Or pas de jugement de vérité sans vérité. Donc la vérité existe puisque le jugement de vérité existe, même s’il est erroné.

1. La négation (non-A, notée ¬A)

Logique non-ASoit A : quelque chose est un a. ¬A se lit : quelque chose n’est pas un a. Remplaçons quelque chose par x (cf. la figure ci-dessus ; tout ce qui est un a est mis dans l’ensemble a) : A est vraie et ¬A est fausse parce que x est un a. Remplaçons quelque chose par y, A est fausse et ¬A est vraie parce que y n’est pas un a.

Les valeurs de vérité de ¬A en fonction des valeurs de vérité de A sont représentées dans la table de vérité ci-dessous.

Table non-ALa ligne 1 se lit : si A est fausse (si on rejette A) alors ¬A est vraie (on accepte ¬A). La ligne 2 se lit : si A est vraie alors ¬A est fausse.

Exercice 1 : Montrer que ¬(¬A) = A — que la colonne A est identique à la colonne ¬(¬A).

Table non(nonA)

2. La conjonction (A et B, notée A ∧ B)

Logique A et B

Soit B : quelque chose est un b. A ∧ B est vraie pour x, fausse pour w, y et z.

Table A et BLa table de vérité ci-dessus représente la même information : si A est fausse et B fausse alors A ∧ B est fausse. Si A est fausse et B vraie alors A ∧ B est fausse. Si A est vraie et B fausse alors A ∧ B est fausse. Si A est vraie et si B vraie alors A ∧ B est vraie.

Exercice 2 : montrer que A ∧ (¬A) est fausse. (réponse : si A est vraie, ¬A est fausse ce qui correspond au cas w ; si A est fausse, ¬A est vraie ce qui correspond au cas y.)

3. La disjonction (A ou B, notée A ∨ B)

Logique A et BA ∨ B est fausse pour z, vraie pour w, x et y.

Table A ou B

Si A et B sont fausses alors A ∨ B est fausse, etc.

4. L’implication (A => B)

Logique A et B

A => B est fausse pour w, vraie pour x, y et z.

 Table A impl B

Si A et B sont fausses alors A => B est vraie (ce qui n’est pas intuitif), etc.

Exercice 3 (contraposée) : montrer que (A => B) = (¬B => ¬A) — que la colonne (A => B) est identique à la colonne (¬B => ¬A). (réponse : on déduit les valeurs de ¬B et de ¬A ligne par ligne en fonction des valeurs de A et de B ; ensuite on applique la définition de (A => B) à (¬B => ¬A) ligne par ligne ; enfin on constate que les colonnes sont identiques ; voir aussi Notturno, 2000))

Table ex3

Vocabulaire : A est une condition suffisante de B ; B est une condition nécessaire de A.

Exercice 4 : montrer que (A => B) = (¬A ∨ B) — que la colonne (A => B) est identique à la colonne (¬A ∨ B).

Table ex4

Exercice 5 (à partir de la tâche de sélection de Wason, 1968) : si une carte porte une voyelle d’un côté, alors elle porte un nombre impair de l’autre côté. On présente les quatre cartes E C 5 4. Quelles cartes faut-il retourner pour tester la règle ?  (réponse : le falsificateur de la règle est une carte « voyelle et pair » ; il faut donc retourner les cartes E et 4.)

Référence

Wason, P. C. (1968). Reasoning about a rule. Quarterly Journal of Experimental Psychology, 20, 273-281.

Cite this article as: Stéphane Vautier, "38a. Rudiments de logique : non, et, ou, implique", in Épistémologie de la psychologie, 22/03/2016, https://epistemo.hypotheses.org/3470.