Logique des prédicats
Apprendre à utiliser le forum
La foire aux questions relatives au forum
Comment utiliser le LaTeX sur le forum
Les énigmes du mois en cours
Les classements des joueurs d'énigmes
Le fonctionnement des énigmes
Chercher dans le forum
Les topics n'ayant pas obtenu de réponse
Des statistiques complètes sur ces forums
forumsliste de tous les forums de mathématiques » SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... » licence » autretopics traitant de autre » [tout]lister tous les topics de mathématiques
Logique des prédicats
Posté le 12-12-09 à 09:54
Posté par 
cyrius44 cyrius44
Bonjour à tous !
Je suis en train de faire un exo d'un exam, et je dois traduire cette phrase en logique du premier ordre :
"Dans tout triangle, les trois médianes se coupent en un point"
Donc j'ai commencé par écrire :
'Quelque soit' x (T(x)) -> ...
aprés je bloque ...
(désolé mais je ne sais pas faire les signes mathémq ...)
cyrius44 cyrius44Bonjour à tous !
Je suis en train de faire un exo d'un exam, et je dois traduire cette phrase en logique du premier ordre :
"Dans tout triangle, les trois médianes se coupent en un point"
Donc j'ai commencé par écrire :
'Quelque soit' x (T(x)) -> ...
aprés je bloque ...
(désolé mais je ne sais pas faire les signes mathémq ...)
Seuls les membres peuvent poster sur le forum !
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.
Imprimer
Réduire
Agrandir
connectez vous
autre en post-bac forumsliste de tous les forums de mathématiques » SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... » licence » autretopics traitant de autre » [tout]lister tous les topics de mathématiques
Fiches de maths
Encyclopédie
Annuaire
Outils
Jeux
Ce site
Nouveau
Livre d'or
Newsletter
île des maths
île de la physique
