Prédicat

[malicia_bm]

Bonjour tous le monde !!!
Voila j'ai un exo à faire et je ne comprends pas grand chose

conformément au dictionnaire de l'académie française, la définition des mots frère et soeur est :
Frère : celui qui est né du même père et de la même mère, ou seulement l'un des deux
Soeur : celle qui est née du même père et de la même mère, ou seulement l'un des deux
Soit E l'ensemble des êtres humains. On concidère les prédicats suivants :
p(x,y) = {x est le père de y}
m(x,y) = { x est la mère de y }
h(x) = { x est un homme }
h(x) = { x est un femme }

Verifier que p et m sont bien les prédicats sur (E) au carré, et que h et f sont des prédicats sur E

quel lien existe t il entre les éléments x,y € ( appartient ) E si l'on a

h(x)et ( chapeau vers le haut ^ ) [p(y,x) ou ( chapeau vers le bas ) m(y,x)]

Désolé pour les signes je ne les trouve pas sur le clavier, et merdi d'avance pour vos reponse !!!

[alben]

Bonjour,
Je pense qu'il suffit de vérifier à partir de ton cours et ensuite décoder le prédicat du genre : x est le fils de