Salut,
Mets ce que tu as fait, on corrigera...

Le TeebObeeT en pyjama

Tu veux que ça soit écrit en TAMP ?
A+ Blux

 "Les cons, ça ose tout.
C'est même à ça qu'on les reconnait"

Pareil : je ne préfère pas donner les résultats tant que je ne suis pas sûr que tu as cherché. Ce n'est pas le but du forum que de faire le travail des autres...

MAIS : rien n'empèche de donner quelques indications
Exo 1 : Très simple, tu n'as pas pu te tromper !
Exos 2 &3 : questions bizarres... On peut éventuellement représenter ces phrases en logique du 1er ordre (ou calcul des prédicats), mais ce n'est pas la question posée ! Et puis ce serait trop simple ! Donc réfère-toi à ton cours pour savoir ce qu'il faut faire...
Exo 4 : Là, tu aurais peut-être besoin d'aide ! Pour les entiers naturels, vas voir la définition de Peano, c'est on ne peut plus classique.
Par "réfutation", je pense que tu parles de raisonnement par l'absurde, enfin je suppose puisque c'est un principe logique proche dans sa définition de la logique 1er ordre. C'est tout simplement basé sur le tiers exclus, ou encore le principe de reduction ad absurdo (respectivement : A ou non A toujours vrai, et non non A implique A, les deux sont identiques dans toutes les logiques)
Ces deux principes existent dans la logique classique (et sont toujours vrais) mais ne sont pas vrais dans la logique intuitionniste ! Après quelques recherches sur Internet, tu auras une belle réponse à proposer à ton prof...
Devine si tu peux, et choisis si tu l'ose

Mais svp j'ai rien pigé aider moi sur ces trus je vai etre noté de plus ele nous donner un autre exercice je suis forte pour d'autre truc mais pour la logique je ne comprend pas grand chose ou peut etre rien (et meme si j'ai fait je c'es juste deux mots pour chak ex)svp aider moi avant demain matin et je vous en remercie d'avance :
ex4:
un groupe ablien est un ensemble A,muni d'un operateur binaire + qui verifie certaines proprietes.
p(x,y,z) et t(x,y) representent respectivement x+y=z et x=y
representer symboliquement les axiomes du groupe abélien :
A1 : pour chaque x et y dans A il existe un z telque x+y=z
A2 si x+y=z et x+y=w alors z=w
A3 (x+y)+z = x+(y+z)
A4 x+y=y+x
A5 pour chauqe x et y dans A il existe un z telque x+z=y

svp e vous en pri aider moi

Arrgh ! Je peux pas tenir : j'ai pitié. Mais je ne te fais que qqs exos, comme ça, ça t'aidera à comprendre les autres, et ça t'y obligera, même : tu ne pourras pas rendre ce que je te donne sans avoir fait les autres exos, ce serait trop évident que ça ne vient pas de toi.

Grande leçon pour la suite : si tu tiens tant que ça à ces exercices, il fallait t'y prendre plus tôt, travailler le cours, et en cas de problème en parler au prof !
Soit dit en passant, ta vie ne dépend pas de la note que tu vas avoir. Donc tu as le choix entre accepter de te prendre une caisse (ça arrive à tout le monde) ou prendre ton courage à deux mains, et passer s'il le faut la nuit à relire ton cours...

Il existe x tel que H(x) et non M(x)
pour tout a, il existe b tel que [b=a+1 et pour tout c tel que c=a+1, c=b]

nombres naturels : Je t'avais dit de chercher "peano" (les postulats de Peano)
Pour l'exercice, je te définit les nombres naturels comme le fait D. Hofstadter dans Gödel Esher Bach :
1) Génie est un Djinn
2) Chaque djinn a un méta (qui est aussi un djinn)
3) Génie n'est le méta d'aucun djinn
4) Des djinns différents ont des méta différents
5) Si génie a [la propriété] X, et si chaque Djinn transmet X à son méta, alors tous les djinns auront X

Je te laisse le soin de traduire !

Bon courage pour cette nuit :-) Je ne t'en dirai pas plus Devine si tu peux, et choisis si tu l'ose

J'adore voir des messages comme celui-là... Ceux qui vous mettent avec tant de cruauté face à votre inculture en informatique, vous, moi, malhonnête développeur parvenu au rang des ingénieurs par la seule voie du hasard et de la chance... C'est dingue j'ai pas compris un seul des messages de ce topic.