cours/notes de cours logique.md

up, tags, aliases, share_link, share_updated

up	tags	aliases	share_link	share_updated
			https://share.note.sx/xzzaxdak#KdgUZAwfCaPF6AdawA6qWtCmu2uGfkyeIbDZi4wHHe8	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 !tautologie

Formes normales

!forme normale disjonctive

2 - Bibliographie

page du cours de logique

livres de logique :

• (R.Cori, D.Lascar)
• E.Mendelson
• J.L.Krivine