cour de logique 1sm

Aperçu du contenu

M-ALLAT Cours de logique 1 Bac SM I) Assertions et quantificteurs : 1) Activité : On consdère les énoncés suivats : A : " 2 est un nombre pair " B : " 1 3 est un nombre décimal " C : " 1 sin 12 2            " D : " 2 est un nombre rationnel " E : " x   , 2 3 0 x  " F : "   2 x y,   , x y   2 3 " G : " pour tout x   : 2 x x    3 3 0 " H : " il exis…