Slide: 2
Calcul des propositions
Langage de formules : suite de caractères
Interprétation des formules : vraies ou fausses
Démonstration : calcul et propriétés