26 lines
477 B
Markdown
26 lines
477 B
Markdown
---
|
|
up:
|
|
- "[[M1 LOGOS]]"
|
|
tags:
|
|
- s/fac
|
|
- s/maths/logique
|
|
---
|
|
|
|
- ? est-ce que les formules sont non-ambigües ? (une même formule donne toujours lieu à la même interprétation)
|
|
- p oui, par théorème
|
|
|
|
# Chapitres
|
|
1. [[M1 LOGOS . logique . calculer]]
|
|
|
|
# Bibliographie
|
|
[page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)
|
|
|
|
livres de logique :
|
|
- (R.Cori, D.Lascar)
|
|
- E.Mendelson
|
|
- J.L.Krivine
|
|
|
|
|
|
|
|
|