ElectroYou

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)$

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

Traduzione di frasi in logica dei predicati del primo ordine

Traduzione di frasi in logica dei predicati del primo ordine

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