Pour l'année scolaire 2025-2026, la logique des prédicats est retirée du programme. La logique des propositions introduit la méthode des arbres comme outil de vérification.

DOSSIER I - Logique des propositions

DOSSIER II - Méthode des arbres

Powerpoint

TRANSCRIPTION

• La transcription dans la logique des propositions
• La transcription dans la logique des prédicats ¦ Exercices préliminaires (1-45)
& Corrigé

ARBRES

• La méthode des arbres dans la logique des propositions
• La méthode des arbres dans la logique des prédicats

DEDUCTIONS

• Preuve formelle simple
• Preuve conditionnelle
• Réduction à l'absurde

VIDEO TUTORIALS

• Méthode des arbres en logique des prédicats
• Réduction à l'absurde
• Preuve conditionnelle
• Transcriptions en logique des prédicats (PTR17)