Cours du 23

""fi"""fi""fififi"""""""""""fifi"fi"Cours du 23.05 Topo sur les restrictions. Règle d’é limination de ‘ ’ . Cons idérez x (F x H x)----------------- Fa H xEst-ce que c eci e st un a rgument ?Est-e qu’on a é liminé ‘ ’ ? 1ère étape d e la r estriction p our l’application d e la r ègle d ’élimination d e ’ ’ : quand on é limine ‘ ’ on doi t re mplacer T OUTES les oc currences de ‘x’, pa r U NE c onstante. Cons idérez (pour t out x e t pour t out y s i x e st le di eu du c hristianisme, alors x e st le c réateur de y):1 (1) x y (F x Rxy) H-----------------------1 (2) y (F a Ra y) 1 E V alide. Cons idérez:1 (1) x y (F x Rxy) H1 (2) y (F a Rby) 1E ? Inva lide.2ème é tape d e la r estriction p our l’application d e l’élimination d e ‘ ’ : qua nd on é limine ‘ ’ on doi t re mplacer T OUTES les oc currences de ‘x’, pa r U NE ET U NE S EULE c onstante. Cons idérez (pour t out x e t pour t out y s i x l e pre mier é vénement de l’hi stoire de l’uni vers, alors x pré cède y):1 (1) x y (F x Rxy) H-----------------------1 (2) (F a Ra a) 1 E ? Invalide 3ème é tape d e la r estriction p our l’application d e la r ègle d ’élimination d e ’ ’ : quand on é limine ‘ ’ on doi t re mplacer T OUTES ET S EULEMENT les oc currences de ‘x’, par U NE ET U NE S EULE c onstante. """$"$fi$fi$fi"fi" Règle ...