Corrigés des exercices
Hyp. 11. p(b). Hyp. 12. ¬q(b). Hyp. 13. p(b)?¬q(b). 11,12, I?. 14. ?x(p(x)?¬q(x)). 13, I?. 15. ¬¬q(b). 10,15, Déch.12, I¬. 16. q(b). 15, E¬. 73. Page 74 ...
Hyp. 11. p(b). Hyp. 12. ¬q(b). Hyp. 13. p(b)?¬q(b). 11,12, I?. 14. ?x(p(x)?¬q(x)). 13, I?. 15. ¬¬q(b). 10,15, Déch.12, I¬. 16. q(b). 15, E¬. 73. Page 74 ...