Téléchargement au format .pdf

L'algebre de la LFT 105
Exemples:
a)
Il y a des A qui ne sont pas B
Il y a des B qui ne sont pas A
+A{B
+B{A
L'ensemble-compteur est :
+A{B
{(+B{A)
Cet ensemble a une seule proposition particuliere, mais la somme de l'ensemble
n'est pas 0.
b)
Il y a des A qui ne sont pas B
+A{B
Il y a des B qui ne sont pas C
+B{C
Il y a des A qui ne sont pas C
+A{C
L'ensemble-compteur est :
+A{B
+B{C
{(+A{C)
Cette fois, la somme de l'ensemble est 0, mais il y a deux propositions particulieres
dans cette ensemble.
3.3.4 Exemples d'analyse en LFT
Nous presentons quelques propositions et leur analyse en LFT et LMP. Le passage
de l'analyse en LFT a l'analyse en LMP et inversement se fait tres facilement en
appliquant les regles de passage de Sommers :
(R1) Il y a des A qui sont B , +A+B, (9 x)(Ax^ Bx)
(R2) Tout A est B , {A+B, (8 x)(Ax! Bx)
(R3) est B , +B, B
(Regle de la forme normale sujet-predicat FNSP)
A 1 +R m ... A m )A 1 +( A 2 +(... A m +R m ). . . )
1.Tout garcon aime une lle.
LFT
{G+A 2 +F
{G+(+F+A 2 ) (FNSP)
LMP
(8 x)(Gx! ((9 y)(Fy^ A 2 y x)))
La traduction de LFT en LMP: