Téléchargement au format .pdf

234 La quantication
Tout f est g
2 fg
Aucun f n'est g
2 f(N 1 g)
;
;
;
;
;
;
;;
;;
;
;
;
;
;
;
;
;
g( ? f) ? (N 1 g)( ? f) ?
Un f typique est g
Aucun f typique n'est g
A
AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
A
? Il existe un f
?
typique qui est g
2 fg
Il existe un f
typique qui n'est pas g
2 f(N 1 g)
;
;
;
;;
;
;
;
;
g( ? f)
Il existe un f qui est g
;
;
;
;;
;
;
;
;
(N 1 g)( ? f)
Il existe un f qui n'est pas g
Figure 7.5: Le cube de J.-P. Descles