le théorème de calcul des prédicats

[invitefea9b599]

bonjour,je suis besoin de votre aide
en lisant le cours de la logique mathematique ,et précisement le théorème de calcul des prédicats j'ai trouvé qu'il y a 2 méthodes la 1ere c'est la methode syntaxique que j'ai bien compris mais le probléme se trouve dans la 2eme methode: " la methode sémantique" elle parle d'une démonstration à l'aide d'une technique s'appelle "" que j'ai pas pu le comprendre je souhaite que quelq'un m'aide à comprendre cette derniere.
-----

[Médiat]

Bonjour,

Pouvez-vous être plus précis sur ce que vous ne comprenez pas ...

Si vous pouviez aussi donner la définition de -assignation (d'habitude je parle d'assignation tout court (est-ce lié à une interprétation dans un domaine dénombrable ?)).

[invitefea9b599]

voila je vais vous écrire un énoncé d'une encyclopédie appellée "Atlas des mathématiques":

la méthode sémantique

la méthode sémantique consiste à appliquer l'ensemble des expressions dans l'ensemble {V,F} des valeurs de vérité à l'aide de la notion , étant un ensemble d'individus donnés.une ; est une application qui associe à toute variable d'individus un élément de et à tout variable de prédicat à n arguments une relation à n arguments dans . induit alors une valeur de vérité à p(, ,..., ). celle-ci est égale à V si et seulement si ((),...,())(p) par exemple:
Expression:P(x,y) Q(x,z,t)⇒R(u)
ensemble d'individus:=
(x)=2
(y)=7
(z)=1
(t)=3
(u)=16
(P)={(1,2);(2,7);(7,10)}
(Q)={(2,3,4);(3,4,5)}
(R)={16,32,48,64,80}
((x),(y))(P), d'où (P(x,y))=V
((x),(z),(t))(Q),d'où (Q(x,z,t))=F
(u)(R), d'où (R(u))=V
la valeur de vérité induite par l'assignation est donc (P(x,y)Q(x,z,t)⇒R(u))=V

[invitefea9b599]

et finalement je vous remerci de vouloir m'aider et j'attend votre réponse car j'aimerai bien comprendre cette méthode que ce soit vous ou quelqu'un d'autre je vous souhaite bonne journée

[A voir en vidéo sur Futura]

[Médiat]

Donc la -assignation est identique à ce que j'ai toujours appelé assignation (ou parfois -assignation).

Par contre j'ai du mal à comprendre ce que vous ne comprenez pas de l'exemple, qui est très détaillé.

[invitefea9b599]

ce que je n'ai pas compris c'est est ce que ces valeur données ci-dessous sont données avec l'exercises ou bien sont ils choisis par par le répondeur?
(x)=2
(y)=7
(z)=1
(t)=3
(u)=16
(P)={(1,2);(2,7);(7,10)}
(Q)={(2,3,4);(3,4,5)}
(R)={16,32,48,64,80}

[Médiat]

Elles sont données par l'exercice.

[invitefea9b599]

merci beaucoup et désolé si je vous ai perdu votre temps

[Médiat]

merci beaucoup et désolé si je vous ai perdu votre temps

Pas de problème : c'est le but du forum