Programme du module 1.3

À la fin du module 1.3, l'élève doit faire preuve des compétences suivantes :

  • savoir transcrire un raisonnement dans la logique des proposition ou la logique des prédicats
  • savoir vérifier en logique des propositions ou logique des prédicats la validité d’un raisonnement à l’aide de la méthode des arbres
  • savoir établir une déduction en logique des propositions selon les méthodes suivantes ; preuve formelle simple, preuve conditionnelle ou réduction à l’absurde

Le programme concis du module 1.3

1. Logique des propositions

  • Transcriptions (TR)
  • Méthode des arbres (MA)
  • Déductions :
    • Preuve formelle simple (PS)
    • Preuve conditionnelle (PC)
    • Réduction à l'absurde (RA)

2. Logique des prédicats

  • Transcriptions (PTR)
  • Méthode des arbres (PM)

 

N.B. Pour toutes les parties, on ne demandera pas de théorie à l'examen.


Manuels et supports de cours

Tous les supports de cours se trouvent en ligne.

Télécharger
Collegium logicum
Manuel obligatoire pour les classes de Ire et de IIe, sections A, D et G.
version_finale_ebac.pdf
Document Adobe Acrobat 5.7 MB

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