TD 3 - Calcul propositionnel

Fiche n°3 Calcul propositionnel (tables de vérité). Correction de quelques exercices. 2- Démontrer, sans tables de vérité1, que : p ? (p ? q) ? q.