TREMPLIN 2 MATHEMATIQUES Fascicule de cours - CNFPT
(13). ¬p?¬q. Hyp. (14). ¬p. ¬q. Hyp. ? Hyp. 35. Page 36. (15) p?q p?q. Hyp. ? Hyp ... Page 53. 97. a) ?y [?x p(x) ? p(y)]. Cherchons les modèles de la ...
(13). ¬p?¬q. Hyp. (14). ¬p. ¬q. Hyp. ? Hyp. 35. Page 36. (15) p?q p?q. Hyp. ? Hyp ... Page 53. 97. a) ?y [?x p(x) ? p(y)]. Cherchons les modèles de la ...