Telecharger Cours

Cours de logique - ENSIIE

Théor`eme 2 (Induction structurelle). Soit X =< B, K > un ... alors P est vraie sur tous les éléments de E. Démonstration par contradiction : Supposons qu ...



Download