57 lines
1.1 KiB
Markdown
57 lines
1.1 KiB
Markdown
---
|
|
up:
|
|
- "[[M1 LOGOS]]"
|
|
tags:
|
|
- s/fac
|
|
- s/maths/logique
|
|
author:
|
|
- "[[antoine chambert-loir]]"
|
|
- "[[P Simonetta]]"
|
|
---
|
|
|
|
|
|
- ? 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
|
|
|
|
# 1 - Calculer
|
|
## 1.1 - Le calcul booléen
|
|
author:: [[George Boole]]
|
|
[[calcul booléen]]
|
|
|
|
## 1.2 - Formules
|
|
[[formule logique]]
|
|
|
|
## 1.3 - Evaluation
|
|
- [[valuation d'une formule logique]]
|
|
- [[formule logique satisfaite par une valuation]]
|
|
|
|
## 1.4 - Tautologies
|
|
- [[formule logique satisfiable|formule satisfiable]]
|
|
- [[tautologie]]
|
|
|
|
## 1.5 - Formes normales
|
|
|
|
# 2 - Filtres et ultrafiltres
|
|
- [[filtre]]
|
|
- [[ultrafiltre]]
|
|
|
|
# 3 - Théorie de la démonstration
|
|
|
|
> [!idea] Principe
|
|
> Définir (par récurrence) la notion de formule démontrable à partir d'un ensemble $T$ de formules.
|
|
> $T \vdash f$
|
|
|
|
- [[modus ponens]]
|
|
|
|
# 4 - 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
|
|
|
|
|
|
|
|
|