Slide: 3
Calcul des prédicats
Calcul des propositions paramétrées.
« Un homme est mortel », « Socrate est mortel » ...« x est mortel »
On utilise le prédicat « est mortel » appliqué à x : p(x)
« Tous sont mortels »: " x p(x)
Socrate (constante s) est un terme auquel on peut appliquer p : p(s)
Même plan que pour le calcul des propositions :
-
langage ;
- interprétation, |= ;
- démonstration, |-.