TD de Logique n° 2 - éléments de corrections - Free
Exercice 1 : Question 1 : Méthode : On veut montrer : |?H? p ? p. C'est à dire arriver à (p ? p), en partant des axiomes 1 et 2 du système de Hilbert, et.
Exercice 1 : Question 1 : Méthode : On veut montrer : |?H? p ? p. C'est à dire arriver à (p ? p), en partant des axiomes 1 et 2 du système de Hilbert, et.