Logique

Dossier I — Logique des propositions

Dossier II — Méthode des arbres

Loi logiques & règles de déduction

Exercices

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

Déductions

• 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)