Prédicat (logique mathématique) - Predicate (mathematical logic)

En logique , un prédicat est un symbole qui représente une propriété ou une relation. Par exemple, la formule du premier ordre , le symbole est un prédicat qui s'applique à la constante individuelle . De même, dans la formule, le prédicat est un prédicat qui s'applique aux constantes individuelles et .

Dans la sémantique de la logique , les prédicats sont interprétés comme des relations . Par exemple, dans une sémantique standard pour la logique du premier ordre, la formule serait vraie sur une interprétation si les entités notées par et se tiennent dans la relation notée par . Puisque les prédicats ne sont pas des symboles logiques , ils peuvent désigner des relations différentes selon l'interprétation utilisée pour les interpréter. Alors que la logique du premier ordre n'inclut que des prédicats qui s'appliquent à des constantes individuelles, d'autres logiques peuvent autoriser des prédicats qui s'appliquent à d'autres prédicats.

Prédicats dans différents systèmes

Voir également

Les références

Liens externes