12.6 Exercices du chapitre 6 - 12.6.1 Espaces Lp, 1 ? p
... [(p?p) ? ((¬p?p) ? p)]. 1,subst. p/(¬p?p), q/p, m/p. (3). (¬p?p) ? p. A3. (4) ... 16. ?x?y¬r(x,y)? ¬?x?y r(x,y). 9,15,Déch.9, I?. 17. ¬?x?y r(x,y) ...
... [(p?p) ? ((¬p?p) ? p)]. 1,subst. p/(¬p?p), q/p, m/p. (3). (¬p?p) ? p. A3. (4) ... 16. ?x?y¬r(x,y)? ¬?x?y r(x,y). 9,15,Déch.9, I?. 17. ¬?x?y r(x,y) ...