39 lines
723 B
Markdown
39 lines
723 B
Markdown
---
|
|
up:
|
|
tags:
|
|
aliases:
|
|
share_link: https://share.note.sx/xzzaxdak#KdgUZAwfCaPF6AdawA6qWtCmu2uGfkyeIbDZi4wHHe8
|
|
share_updated: 2025-09-14T13:38:02+02:00
|
|
---
|
|
|
|
# 1 - Calculer
|
|
## 1.1 - Le calcul booléen
|
|
![[calcul booléen]]
|
|
|
|
## 1.2 - Formules
|
|
![[formule logique]]
|
|
|
|
## 1.3 - Evaluation
|
|
![[valuation d'une formule logique]]
|
|
|
|
![[formule logique satisfaite par une valuation]]
|
|
|
|
## Tautologies
|
|
![[formule logique satisfiable|formule satisfiable]]
|
|
![[tautologie]]
|
|
|
|
## Formes normales
|
|
![[forme normale disjonctive]]
|
|
|
|
# 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
|
|
|
|
|
|
|
|
|