Chasse à la citation

L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?

Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !

Sur la page Calcul des prédicats :

"

Le calcul des propositions est un fragment syntaxique de la logique du premier ordre où il n'y a pas de variables et où tous les prédicats sont d'arité 0[réf. nécessaire].