Forum de Mathématiques: Maths-Forum

tournesol a écrit:Ce fil m'a appris à traduire par

Excusez moi je ne suis pas sur d'avoir bien compris votre réponse

tournesol a écrit:Désolé , je n'avais pas compris que tu n'étais pas en math .

Pas de souci, c'est pas fréquent de voir une philosophe se balader par ici
Merci beaucoup en tout cas !

H l'ensemble des humains C l'ensemble des cigares (\exists h\subset H)((card(h)\ge 2)et((\forall x\in h \forall y\in C)(Mxy\implies y\in C))) card(h) \ge 2 car il y a un s à certains . Si on interprète certains comme " un au moins" ,...

Ah oui ça commence bien... je vais modifier ça.

Malheureusement ma prof a indiqué en note que nous ne pouvions pas traduire cela ainsi, qu'il fallait que ce soit plus détaillé...

Bonjour tout le monde ! Je dois traduire en logique des prédicats : "Certains fumeurs ne fument que des cigares". Toutefois, je ne suis pas sure que la traduction que j'ai produit soit la meilleure... Voici ce à quoi je pensais : Fx : x est un fumeur Mxy : x fume y Cx : x est un cigare ∃x ...

Okay, merci beaucoup ! Je comprends mieux.
Je vois oui, c'est aussi un modèle possible

Bonsoir, Pour ton exemple de modèle avec (a, b, c), je suis d'accord avec le fait qu'il s'agisse d'un modèle réflexif (∀xRxx) puisqu'on a les couples (a, a) ; (b, b) et (c, c). Mais il ne valide pas ∀x ∀y ∀z ((Rxy & Ryz) -> Rxz). Il valide seulement ∃x∃y∃z ((Rxy & Ryz) -> Rxz) avec les coupl...

Bonjour
Si je me trompe pas une relation d'ordre est une relation binaire dans un ensemble
Et oui, je sais dessiner les graphes sagittaux habituellement mais là je n'arrive pas à trouver de représentation qui associe la transitivité, la réflexivité et l'anti-symétrie...

Help me ! Bonjour tout le monde ! Je fais de la logique des prédicats et j’ai un exercice qui me pose problème... du moins une question. Dans cet exercice, on me dit de faire un modèle qui est à la fois réflexif, transitif et anti symétrique. Autrement dit mon modèle doit valider : - ∀x ∀y ∀x ((Rxy...