Corrigé du sujet de Mathématiques et propositions pour ... - ARPEME
... [(p?p) ? ((¬p?p) ? p)]. 1,subst. p/(¬p?p), q/p, m/p. (3). (¬p?p) ? p. A3. (4) ... 33) 49. 48) 46. 63) 6. 4) 21. 19) 16. 34) 11. 49) 75. 64) 67. 5) 43. 20) 19.
... [(p?p) ? ((¬p?p) ? p)]. 1,subst. p/(¬p?p), q/p, m/p. (3). (¬p?p) ? p. A3. (4) ... 33) 49. 48) 46. 63) 6. 4) 21. 19) 16. 34) 11. 49) 75. 64) 67. 5) 43. 20) 19.