Retour sur l’épisode précédent
On a introduit le calcul des prédicats :
ISyntaxe :
•Etant fixée une signature Σ = (C,F,R),
•On définit la notion de terme,terme clos,formule
atomique,formule,formule close sur cette signature.
ISémantique :
•Etant donnée une structure (réalisation) Mde signature Σ
de domaine M,
•et pour une valuation v, on définit l’interprétation d’un
terme, d’une formule atomique et d’une formule pour
cette valuation.
3