Voilà... pour tout vous dire j'ai un peu honte poster des exos aussi faciles, mais la difficulté provient pour moi plus de la consigne que de l'exo lui même...

Il faut : Formaliser les énoncés suivants puis les complêter ou les valider:
1) Tous les hommes sont mortels ; Socrate est un homme donc...
2) Tout énoncé clair est convaincant. Je ne suis pas convaincu par votre excuse donc...
3) Aucun élève n'est ignorant. Les gens ignorants ne sont pas drôles. Donc tout élève est drôle.
4) Aucune voiture n'est confortable. Les véhicules ocnfortables n'ont pas de succès. Donc aucun voiture sportive n'a de succès.

==> Pour moi à la 1) je mets donc Socrate est mortel.
==> à la deux je mets donc votre énoncé n'est pas clair.
==> à la trois je dis FAUX
==> a la quatrieme je dis VRAI.

Mais pour formaliser je dis quoi?
Je pose des genre d'ensembles? Des genres de propriétés pour avoir un truc du genre voiture voitures sportives... ?

Etrange non?

Et puis l'exo d'après c'est:

Formaliser et nier les énoncés suivants,

1. Un lycée est constitué d'élèves. Une classe est une partie du Lycée.
    (a) Dans ce lycée toutes les classe sont mixtes
    (b) Ce lycée comprends au moisns uen classe formée uniquement de filles.

2. (là c'est clairement mathématique, enfin! , mais je la mets quand même.) Tout polynôme à coeff réels admet au moins une racine réelle.

3. Tout régiment de cavalerie comprend au moins un escadron dont tous les chevaux sont noirs et un escadron dont au moins un cheval est blanc.

Merci... pour vos éclaircissement !