exercices-corriges.pdf - WordPress.com
58. Page 59. 101. Il faut montrer que le schéma ?x(p(x) ? q(x))??x(p(x)) ? ¬?x(p(x)?q(x)) ne possède pas de modèle : Sans la condition d'existence, on ...
58. Page 59. 101. Il faut montrer que le schéma ?x(p(x) ? q(x))??x(p(x)) ? ¬?x(p(x)?q(x)) ne possède pas de modèle : Sans la condition d'existence, on ...