Téléchargement au format .pdf

Une nouvelle theorie de la quantication 227
Dans un sous-marin, ou tout ( ? 1) va bien, ou on est tous ( 1 )morts.
Tous ( 2 ) nos commandants peuvent le dire.
A 11 h 33, ils ont probablement deja tous ( 2 )peri.
\... on ne tire pas au hasard des torpilles, c'est programme, soigneusement
minute, tous ( 2 ) les autres navires sont a l'ecoute. Et on entend tout ( 1 ).
Un sous-marin peut instantanement identier le bruit d'une crevette."
\ Une situation non standard, m'a-t-il ete dit, eectivement les militaires pensaient
qu'ils avaient en mains tous ( ? ) les moyens de sauvetage."
A la sortie, le president parle, entoure de savants, de l'ancien premier ministre
et ex-responsable du KGB Evgueni Primakov, et de quelques ( 2 ) ministres.
Sous le soleil de Sotchi, tous ( 2 ) portent d'identiques polos ou chemisettes
claires. Tous ( 2 ou ? ), sauf le president, sourient a la camera.
\Tout ( ? ) le monde savait a Vidiaevo que le Koursk avait coule!"
\Les commandants vous ont menti, M. le President, ils nous ont tous ( ? )
menti."
7.6.6 Les quanticateurs de plusieurs arguments
Nous partons de deux concepts f et g et d'un predicat de deux variables (P, x 2
x 1 ) [Des98f]. Exemples :
1. Tous les etudiants analysent toutes les possibilites.
2. Chaque garcon aime une lle.
2'. Toute pensee est la pensee d'un homme.
3. Il y a un eleve qui a lu tous les livres recommandes.
3'. Un triangle rectangle a un angle droit.
4. Il existe une suite qui converge vers un nombre reel.
Les formules dans la logique classique correspondent aux formules suivantes :
1: (8 x 1 )[(f x 1 ) [(8 x 2 )[(g x 2 ) (P x 2 x 1 )]]]
2: (8 x 1 )[(f x 1 ) [(9 x 2 )[(g x 2 ) (P x 2 x 1 )]]]