La valeur logique d’un prédicat
Quelle est la valeur logique d’un prédicat ? Un prédicat d’arité n s’interprète par une fonction à n argument sur l’univers du discours, et à valeurs dans les valeurs de vérité, faux et vrai (0 et 1) en logique classique. Un langage du calcul des prédicats peut comporter des symboles primitifs pour représenter certains prédicats. … Lire la suite