LIFLC Logique classique TD 5 Correction - CNRS

Corrigé............................................ On demande des formules logiques, il est crucial que la syntaxe soit strictement respectée, en.