---
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. [[M1 LOGOS . logique . calculer]]
## 1.1 - Le calcul booléen
author:: [[George Boole]]
[[calcul booléen]]

## 1.2 - Formules
[[formule logique]]

## 1.3 - Evaluation

## Tautologies

[[tautologie]]

## Formes normales

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