corrige_livre.pdf - j.galtier...

corrige_livre.pdf - j.galtier...

Page 21. c) {[(p ? r) ? q] ? [q ? (p ? q)]} ? (p ? q). Raisonnement non valide. (p ? r) ? q, q ?. (p ? q), ¬ p, q. (p ? r) ? q, q ?. (p ? q), p, ...