Exercices sur la preuve en logique propositionnelle

Exercices sur la preuve en logique propositionnelle

TD mathématiques : logique 1/9 ... vantes en langage propositionnel. ... Exercice 7 Examiner les relations logiques existant entre les assertions suivantes ...