ElectroYou - la comunità dei professionisti del mondo elettrico

da **kotek** » 23 dic 2014, 17:56

Ciao a tutti,
dovrei tradurre in logica dei predicati del primo ordine la seguente frase: "Tutte le madri amano le loro figlie", utilizzando i predicati:

madre(X)

ama(X, Y)

figlia(Y, X)
Io avevo pensato nel seguente modo:

$\forall X \forall Y (madre(X) \wedge figlia(Y, X)) \Rightarrow ama(X, Y)$

guardando la soluzione sul libro essa è:

$\forall X (madre(X) \wedge figlia(Y, X)) \Rightarrow ama(X, Y)$

e non riesco a capire la differenza.

Inoltre volevo chiedere, rispetto a quello che avevo scritto io la seguente formula è equivalente?

$(\forall X madre(X) \wedge \forall Y figlia(Y, X)) \Rightarrow ama(X, Y)$

da **TardoFreak** » 23 dic 2014, 18:07

La differenza sta nel fatto che tutte le mamme amano le proprie figlie ma non tutte le figlie di tutte le mamme.
Per le parentesi ... dovrei controllare.

ElectroYou - la comunità dei professionisti del mondo elettrico

Traduzione di frasi in logica dei predicati del primo ordine

[1] Traduzione di frasi in logica dei predicati del primo ordine

[2] Re: Traduzione di frasi in logica dei predicati del primo or

Chi c’è in linea

Informazioni

Seguici

Pubblicità

Credits