Personnellement j'ai fait une prépa maths pendant deux ans une licence maitrise de maths et maintenant je fais de la logique mathématique, c'est donc pour moi une matière mathématique à part entière!

Mais je ne vois pas exactement en quoi consistent tes exos je pense que c'est du calcul des prédicats de base, qui demande uniquement du bon sens, et de garder une tête froide... Essaie de m'en dire plus

C'est a peu pres ça

Le but de l'excercice est de savoir si la conclusion des hypotheses est bonne,c'est a dire qu'on traduit les expressions francaise avec des prédicats telle que 'pour tout x (traduit par Vx)' ou encore 'il existe'(traduit par un E a l'envers 'Ex')ensuite on prend la négation de la conclusion et des hypotheses on fait un arbres.Si l'hypothese est exacte l'arme se ferme c'est a dire que toutes les branches sont fermé par contre si le contraire se produit l'hypothese est fausse...

Il serait préférable que tu es déja vu ça car expliqué comme ça,ça parait un peu flou un dessin serait préférable si j'ai le temps je te montrerai un raisonnement mais la je dois préparer un exam de programmation demain

Par exemple l'histoire avec les fantomes est une hypothese fausse par contre celle du chat est vraie(aussi débile que parait le texte)

C'est une matiere intéressante mais vraiment difficile et cela demande vraiment beaucoups de concentraction (du moins pour moi )

ok je vois ce que c'est! Mais ça n'a pas grand intérêt car l'ordinateur le fait aussi bien que toi (une fois que tu as traduit la phrase)