Correction des exercices du TD1
... définition de x ? A ? B. donc si : x ? A x ? A ? B. A ? (A ? B). CQFD ... Si cela ne vous parait pas logique, on peut aussi montrer que la négation de ...
... définition de x ? A ? B. donc si : x ? A x ? A ? B. A ? (A ? B). CQFD ... Si cela ne vous parait pas logique, on peut aussi montrer que la négation de ...