Cours 12 - La logique des prédicats et les quantificateurs Flashcards
Def. logique des prédicats
On formalise des relations logiques à l’intérieur même des propositions.
Dans la logique des prédicats, on décompose des phrases simples en parties plus petites. Quelles sont ces parties? (4)
- Les prédicats
- Les individus
- Les variables
- Les quantificateurs
Quelles sont les limitations de la logique propositionnelle qui font qu’on se tourne vers la logique des prédicats?
- Il n’y a aucun moyen d’exprimer la quantification en logique propositionnelle (tous vs. certains).
Lequel on écrit en lettres majuscules et lequel on écrit en lettre minuscules :
- Prédicats
- Individus
- Prédicats sont en lettres majuscules.
- Individus sont en lettres minuscules.
Voir diapo 6 pour des exemples en lien avec les prédicats et les individus.
Def. :
- Prédicats monovalents
- Prédicats bivalents
- Prédicats trivalents
- 1 argument
- 2 arguments
- 3 arguments
-> Voir diapo 7
Def. arguments
Les arguments renvoient aux objets matériels et physiques : des individus (choses ou personnes).
Def. prédicats
Un prédicat est la partie d’une clause, à l’exclusion du sujet, qui exprime quelque chose sur le sujet (verbe et/ou adjectif)
Qui décide le positionnement des arguments?
Le prédicat assigne le positionnement de ses arguments.
Les prédicats et leurs arguments constituent quoi?
Ils constituent les structures prédicat-arguments (SPA).
Vrai ou faux : Le verbe être est considéré comme un prédicat.
Faux. Il n’est pas considéré comme un prédicat, car il n’a pas de contenu sémantique. Le prédicat dans ce cas là sera le nom ou l’adjectif qui se retrouve après.
Voir diapo 9 pour un exemple de SPA
Les variables sont souvent représentées par quelles lettres?
x et y
Quelles sont les caractéristiques des quantificateurs dont on va parler?
- Quantification
- Restriction
- Portée
Voir diapos 12-13 pour les problèmes qui vont mener à l’utilisation de la quantification.
Quels sont les 3 types de quantificateurs?
- Quantificateur universel
- Quantificateur existentiel
- Quantificateur négative
La logique des prédicats fournit un outil pour gérer quoi?
Pour gérer les expressions quantifiées.
-> Voir diapo 15
Voir diapos 16-17 et 19-20 pour des exemples d’expressions quantifiées.
Voir diapos 21-22 pour un exercice
Voir diapo 23 pour déterminer à quoi s’associe un quantificateur, une restriction et une portée
Voir diapos 24-29 pour l’ambiguïté de portée
La logique des prédicats fournit un outil pour quoi?
Pour gérer les expressions quantifiées et pour traiter les ambiguïtés de portée des quantifieurs.