Téléchargement au format .pdf

224 La quantication
20. Un voleur m'a derobe mon sac.
(derober le sac de...)( ? (^etre voleur))
Un ^etre particulier, mais completement indetermine aderobe mon sac. Le
mot \un voleur" exprime ici un objet (typique ou non) indetermine.
21. Il y a des etudiants qui arrivent en retard a mon cours.
(^etre en retard au cours de..)( ? (^etre etudiant))
Il y a au moins un etudiant, qu'il soit typique ou non, qui arrive en retard.
22. Il existe un nombre premier pair.
(^etre pair)( ? (^etre nombre premier))
L'operateur 2
L'operateur 2 est le quanticateur avec lequel on peut formaliser les propositions
du langage commun qui contiennent une quantication existentielle sur les
objets typiques.
23. Il y a des oiseaux qui sont de bons voiliers.
2 (^etre oiseau)(^etre un bon voilier)
Il y a des oiseaux (typiques) qui planent bien dans le vent
24. Il existe une fonction continue qui n'est pas derivable
2 (^etre fonction continue)(^etre non-derivable)
Il y a au moins une fonction continue qui est non derivable et cette fonction est
typique vis-a-vis de ces deux proprietes.
25. Le paysan breton existe encore.
2 (^etre paysan breton)(exister maintenant)
Quantication existentielle et typicalite eng
La quantication existentielle sur les objets typiques de g est exprimee par
l'expression \il y a des..." et par d'autres elements du contexte.
26. Il y a un etudiant qui est toujours en retard a mon cours.
TYPIQUE (arriver en retard au cours de ...)( ? (^etre etudiant))
L'adverbe \toujours" est le marqueur de la typicalite surg : = arriver en retard
au cours de....
27. Il n'existe plus de cow boy.