Téléchargement au format .pdf

Les axiomes des operateurs et 187
il existe la cha^ne telle que
x =((f))
et
x est une specication atypique def
x n'est pas constructible a partir de f
Si (fx)=> on a l'une des trois situations suivantes :
x =((f))
et x est une specication typique de f
x =((f))
et x est une specication atypique de f
x =(:::f:::(f))
donc
Si(Prop f x)=> alors (f x)=>
Si (f x)=> ssi f(Prop f x)=> ou x = ((f))g