Visitor

Views

CORRIG´ES DES EXERCICES - Pearson France

Page 32. 46. a) [(p ? q) ? ¬p] ? ¬q. ? ¬[(p ? q) ? ¬p] ? ¬q. ? [¬(p ? q) ? ¬¬p] ? ¬q. ? [(p ? ¬q) ? p] ? ¬q. ? (p ? ¬q) ? p ? ¬q. FND. ? (p ...