Visitor

Views

TD de Logique n° 2 - éléments de corrections - Free

en utilisant uniquement la règle de dérivation du Modus Ponens. ... (voir exercice 1 question 3, en remplaçant les r par des p, les p par des q, ...