Logique
Tronc Commun Mines Saint-Étienne
Antoine Zimmermann
Utilisez les flèches pour naviguer dans les diapo
→ ou ↓ pour avancer d’une diapo
← ou ↑ pour revenir en arrière
↖ pour aller à la première diapo
Fin pour aller à la dernière diapo
1
Première partie
- Introduction
- Logique propositionnelle
2
Deuxième partie
- Systèmes formels
- Système formel pour la logique propositionnelle
3
Quatrième partie
- Normalisation
- Principe de résolution
- Exemple
5