cours/M1 LOGOS . logique.md

up, tags, author

up	tags	author
M1 LOGOS	s/fac s/maths/logique	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

• valuation d'une formule logique
  • formule logique satisfaite par une valuation

Tautologies

• formule logique satisfiable
• tautologie

Formes normales

2 - Bibliographie

page du cours de logique

livres de logique :

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