corrige_livre.pdf - j.galtier...
aux mêmes conclusions que précédemment (voir corrigé de l'exercice 22). ... (p?p) ? [(¬p?p)?p]. 2, 3, détachement. 38. Page 39. Exercices sur la logique des ...
aux mêmes conclusions que précédemment (voir corrigé de l'exercice 22). ... (p?p) ? [(¬p?p)?p]. 2, 3, détachement. 38. Page 39. Exercices sur la logique des ...