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