Téléchargement au format .pdf

Quanticateurs generalises 135
QAB ssi F(A)(B) = >
Par consequence, la semantique de quelques quanticateurs de ce type est:
1. Tout
Tout A est B
Tout (A)(B) = > ssi A B
2. Aucun
Aucun A n'est B
Aucun (A)(B) = > ssi A \ B=?
3. Il y a des
Il y a des A qui sont B
Il y a des (A)(B) = > ssi A \ B 6= ?
4. Exactement un, Un...exactement
Exactement un A est B
Exactement un(A)(B) = > ssi j A \ B j =1
5. Les n
Les n A sont B
Les n (A)(B) = > ssi j A j =netA B
6. Un nombre ni exactement
Un nombre ni exactement de A sont B
Un nombre ni exactement (A)(B) = > ssi il existe un n naturel tel que,
A Betj A j =n
7. Moins de la moitie de
Moins de la moitie de A sont B
Moins que moitie de(A)(B) = > ssi jA \ B jA-Bj
8. Tous sauf n
Tous les A sauf n sont B
Tous sauf n (A)(B) = > ssi j A-Bj =n
9. Entre n et m
Entre n et m A sont B
Entre n et m (A)(B) = > ssi il existe n, m naturels tels que n jA \ B j
m (n et m sont xes par l'expression elle-m^eme)