d'abord salut a tout ce ceux qui participe dans ce site
j'ai un petit probleme en logique alors si vous pouvez m'aider ca serait super merci d'avance (car j'i fait ces exercices mais je vex en etre sure que c'est bon) :
ex1:
transcrire dans un langage de calcul des predicats :
_tout les hommes sont mechant
_il existe un homme qui n'est pas mechant
_chaque chat a un chien qui le desteste

ex2:
symbolistaion des axiones :
_chaque entier autre que zero a un et un seul predecesseur immediat
_chaque entier a un et un seul succeseur immediat

ex3:
_chaque reel n'est pas necessairement un rationel
_chaque nombre rationel est un nombre reel

ex4:
definire entier naturel et refutaion (pour ca j'ai pas a definition exacte vue que je l'ai fomuler seule alors si vous l'avez exactement donnez la moi svp)

svp aider moi avant demain soir et je vous en remercie d'avance.
merci