La méthode des arbres (suite)

Note : lorsqu’une branche reste ouverte, doit-on compléter l’arbre?
À ce moment-ci, il est préférable de compléter l’arbre.

S’il faut donner un contre-exemple, il faut faire un arbre plus complet pour donner des valeurs pour lesquels le système est satisfait.

Conventions terminologique

Lorsque nous employons la méthode des arbres pour tester la validité d’un argument et que la méthode nous indique que l’argument est invalide, les valeurs de vérité attribuées aux propositions dans une branche ouverte constituent ce qu’on appelle un contre-exemple.

Un autre exemple

L’argument :

1. p ⊃ q
2. r ⊃ ¬q
------
C. ¬¬p ⊃ ¬r

Toutes les branches de cet arbre ferment; l’argument est donc valide.

Tautologie

Tester une tautologie, c’est comme s’il n’y a pas de prémisses.

Une tautologie est toujours vraie. Donc, sa négation est toujours fausse. Elle ne peut être satisfaite. Par conséquent, l’arbre de la négation d’une tautologie est fermé.

¬ (p ⊃ (q ⊃ p))

L’arbre de la négation d’une tautologie est toujours fermé.

(Arbre fermé à 1 seule branche; tautologie.)

En somme, les arbres servent à faire 3 choses :

vérifier si un ensemble est satisfiable;
tester la validité ou l’invalidité (si invalide, l’argument est invalide et l’arbre permet de donner un contre-exemple);
tester si une proposition est une tautologie.

La méthode de déduction naturelle

Logique et raisonnement

Nous raisonnons en français (N.B. les études montrent clairement que les humains raisonnent plus facilement sur des sujets qu’ils connaissent déjà bien. L’abstraction est difficile…)

Les prochaines notions vues dans ce cours s’apprennent par la pratique et demanderont un investissement personnel (de faire les exercices).

Lorsqu’on raisonne à partir de la conjonction ou de la disjonction par exemple, on fait quelque chose.

Il y a deux niveaux de travail : le niveau de la clarté de la langue (écrire clairement en français) et la clarté de l’argumentation (niveau complexe, comment on construit un argument).

La compréhension de ces notions pourra être très utile pour construire des arguments.

Exemple :

Si l’âme est observable, elle doit être réelle. Donc, vous devez reconnaître que l’âme est une entité, puisque vous acceptez que si elle est réelle, alors c’est une entité.

Dictionnaire :

p : l’âme est observable.
q : l’âme est réelle.
r : l’âme est une entité.

En forme standard :

1. p ⊃ q
2. q ⊃ r
3. p
------
3. r

Raisonnement à partir des règles qu’on connaît :

Supposons que p implique q et supposons que q implique r. Or, p est vrai. Donc, par modus ponens, je peux conclure que p est vraie. Maintenant, puisque q est vraie et que q ⊃ r, par modus ponens, r est vrai.

Objectif : traduire ce langage en logique propositionnelle et le représenter avec une notation conventionnelle; reproduire l’argument par une méthode standard, dans un langage logique.

Si les nombres étaient des idées, alors l’arithmétique serait une branche de la psychologie. Mais l’arithmétique n’appartient pas plus à la psychologie que l’astronomie. L’objet de l’astronomie n’est pas l’idée de planète, mais les planètes elles-mêmes et, de même, l’arithmétique ne traite pas des idées.

(G. Frege, Les fondements de l’arithmétique)

Dictionnaire :

p : les nombres sont des idées
q : l’arithmétique est une branche de la psychologie

Traduction en LP :

p ⊃ q
¬ q

(Pas terminé)

Un autre argument :

1. Si un argument est probant, alors il est valide.
2. Si un argument est valide, alors on doit accepter sa conclusion.
------
C. Donc, si un argument est probant, on doit accepter sa conclusion.

Dictionnaire :

p : un argument est probant
q : un argument est valide
r : on doit accepter la conclusion d’un argument

p ⊃ q
q ⊃ r
------
C. p ⊃ r

La déduction naturelle

Un système de déduction naturelle est une ensemble de règles d’inférences qui nous permettent de déduire des propositions à partir d’un ensemble de propositions.

Une démonstration hypothétique est une démonstration qui repose sur des prémisses (que l’on appelle également des hypothèses).

Une démonstration est catégorique si elle ne dépend d’aucune prémisse.

Une démonstration (ou preuve) en déduction naturelle est une suite de lignes. Sur chacune de ces lignes apparaît une proposition.

Chaque proposition dans une démonstration est soit a) une prémisse ou b) est obtenue des lignes précédentes par une règle d’inférence.

Les règles pour construire un argument sont élémentaires; n’importe qui qui connaît ces règles devrait être en mesure de vérifier si un argument est bien construit. On n’a pas besoin de faire appel à une forme d’intuition ou de connaissance supérieure pour comprendre la logique d’un argument (si un argument est recevable); cette méthode est accessible à tout le monde (en connaissant les règles élémentaires).

Conclusion : la dernière ligne d’une démonstration est la conclusion; la démonstration prouve cette proposition à partir des prémisses.

Les conclusions établies sans prémisses sont des théorèmes (tautologies) (cette phrase est à prendre pour ce qu’elle est; nous ne la démontrerons pas ici).