suivant : 1.1.4.1 Quantificateur universel remonter : 1.1 Logique précédent : 1.1.3 Propriétés

1.1.4 Introduction au calcul des prédicats

Les prédicats sont des énoncés plus vastes que les propositions. D'une part, toute proposition est un prédicat. On construit les prédicats d'une part en utilisant d'autres symboles, à savoir $\forall$ et $\exists$, et d'autre part en considérant des propriétés s'applicant à des élément d'un ensemble quelconque.