Remarque préliminaire : À l'aide des lois logiques (LL) et des règles de décompositions (RD) vous essayez de résoudre les exercices selon leur typologie spécifique.

 

Il y a trois types de déductions :

 

1. La preuve formelle simple (PS) : A l'aide des prémisses fournies, on cherche directement la conclusion.

 

2. La preuve conditionnelle (PC) : La formule réduite de la conclusion doit se présenter sous forme d'une implication. Puis, on pose l'antécédant de la conclusion et on cherche le conséquent de la conclusion.

 

3. La réduction à l'absurde (RA) : On pose la négation de la conclusion. Puis, on cherche une contradiction.

 

On peut dire que les RA sont plus faciles à résoudre que les PS/PC, c.-à-d. seulement si vous avez atteint la maîtrise maximale (=savoir résoudre tous les exercices) dans le domaine des RA, vous pouvez commencer à vous entraîner dans la résolution des PS/PC.

 

À cette fin, vous utilisez aussi longtemps les fiches avec les LL et les RD jusqu'à ce que vous ayez résolu tellement d'exercices que vous les connaissiez par coeur sans les apprendre à l'avance.

Support de cours

Télécharger
Introduction générale
Intro_preuves.pdf
Document Adobe Acrobat 53.7 KB

3.1 Preuve formelle simple (PS)

3.1.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (PS)
PS_Com.pdf
Document Adobe Acrobat 254.9 KB

3.1.2 Exercices

Télécharger
Exercices (PS)
PS.pdf
Document Adobe Acrobat 147.6 KB
Télécharger
Résolutions d'exercices (PS)
PS_R.pdf
Document Adobe Acrobat 432.4 KB

3.2 Preuve conditionnelle (PC)

3.2.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (PC)
PC_Com.pdf
Document Adobe Acrobat 242.3 KB

3.2.2 Exercices

Télécharger
Exercices (PC)
PC.pdf
Document Adobe Acrobat 102.6 KB
Télécharger
Résolutions d'exercices (PC)
PC_R.pdf
Document Adobe Acrobat 264.6 KB

3.3 Réduction à l'absurde (RA)

3.3.1 Explications préliminaires

Télécharger
Conseils et exercices commentés (RA)
RA_Com.pdf
Document Adobe Acrobat 105.2 KB

3.3.2 Exercices

Télécharger
Exercices (RA)
RA.pdf
Document Adobe Acrobat 98.5 KB
Télécharger
Résolutions d'exercices (RA)
RA_R.pdf
Document Adobe Acrobat 227.8 KB

3.3 Matériel didactique (à imprimer)

Télécharger
Special Moves - Trucs et conseils pour résoudre les RA
trucs_RA.pdf
Document Adobe Acrobat 222.1 KB
Télécharger
Lois logiques et règles de décomposition
Fiche officielle, utilisation autorisée à l’examen.
LL_et__RD.pdf
Document Adobe Acrobat 76.4 KB
Télécharger
Les règles de déduction (RD) - Application
RD_application.pdf
Document Adobe Acrobat 106.2 KB