Telecharger Cours

TD no 5 Coupure, modélisation, syntaxe du premier-ordre

Exercice 1 Utiliser la méthode de la coupure pour prouver ou infirmer les affirmations suivantes. 1. |= p ? p. 2. |= ((p ? q)?(q ? r)) ? (p ? r).



Download