Logique et raisonnement
Ce livre fait le lien entre logique et raisonnement, les erreurs classiques sont analysées, les notions de preuve et de déduction expliquées avec des raisonnements courants. De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sé...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Français |
| Publicat: |
Paris :
Ellipses
DL 2016.
|
| Edició: | 2e édition. |
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
Taula de continguts:
- Partie 1 : Logique propositionnelle
- Chapitre 1 : Le langage naturel restreint
- Chapitre 2 : Le langage propositionnel
- Chapitre 3 : Théorèmes, preuves et démonstrations
- Chapitre 4 : La relation de conséquence en calcul propositionnel
- Partie II : Calcul des prédicats
- Chapitre 5 : Le langage prédicatif restreint
- Chapitre 6 : Le langage de la logique des prédicats
- Chapitre 7 : La déduction en calcul des prédicats
- Chapitre 8 : Théories axiomatiques
- Solutions des exercices