8 correction exercices.pdf - SOS SCIENCES

8 correction exercices.pdf - SOS SCIENCES

Exercice 11 (CTL). Montrer que p, ?, ¬, EX, EG et EU suffisent `a exprimer les autres connecteurs. Montrer ensuite que p, ?, ...