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