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.
