Exercices de Michel Quercia - Exo7
Page 21. c) {[(p ? r) ? q] ? [q ? (p ? q)]} ? (p ? q). Raisonnement non ... 2, I¬. 77. Page 78. 124. a) ¬?x f(x) ? ?x ¬f(x). 1. ¬?x f(x). Hyp. 2. f(a).
Page 21. c) {[(p ? r) ? q] ? [q ? (p ? q)]} ? (p ? q). Raisonnement non ... 2, I¬. 77. Page 78. 124. a) ¬?x f(x) ? ?x ¬f(x). 1. ¬?x f(x). Hyp. 2. f(a).