BANQUE ÉPREUVE ORALE DE MATHÉMATIQUES SESSION 2022 ...
... [(p?p) ? ((¬p?p) ? p)]. 1,subst. p/(¬p?p), q/p, m/p. (3). (¬p?p) ? p. A3. (4) ... 114. À titre d'exemple, voici la résolution de six des treize exercices ...
... [(p?p) ? ((¬p?p) ? p)]. 1,subst. p/(¬p?p), q/p, m/p. (3). (¬p?p) ? p. A3. (4) ... 114. À titre d'exemple, voici la résolution de six des treize exercices ...