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

# Bibliographie
[page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)