Chapitre 5 Logique des prédicats - (CUI) - UNIGE - Université de ...
Suivant ce modèle, la logique des prédicats représente les propositions
élémentaires (ato- ... En logique des prédicats les variables représentent non pas
des ...
Un extrait du document