Visitor

Views

Correction des exercices du TD1

Attention, la notation de la partie quantificateur entre parenthèses est un peu abusive. Ici on va utiliser le fait que la négation de (P ou Q) est ( ¬ et ...