Feuille 3 : Bases de logique - Université Lyon 1
La proposition P0 est démontrée et don P aussi. Exercice 7 Principe des tiroirs. On va montrer le principe des tiroir par l'absurde. Supposons que cela soit ...
La proposition P0 est démontrée et don P aussi. Exercice 7 Principe des tiroirs. On va montrer le principe des tiroir par l'absurde. Supposons que cela soit ...