Aiuto!!!

[drogato di tool]

Nn riesco a capire come trovare gli insiemi di verit¨¤ in N di queste formule:
1) Ey(2y=x ¡ø Ez(2z=y))
2) Ey(2y=x ¡ø Ey(2y=x))
3) Ey(xy=2 ¡ø Ez(yz=2))

Legenda:
E=quantificatore universale
¡ø=segno congiunzione

Chi mi aiuta mi fa un grossissimo favore!!!
Grazie...ciao

[drogato di tool]

ragazzi!!!nessuno??

[jack]

ma E non era il quantificatore esistenziale?

[drogato di tool]

si,scusa esistenziale..ho sbagliato!!!:-) è che in sti giorni sono fuori di testa a furia si studiare logica....sai risolverli?

[drogato di tool]

ah ragazzi!!rispondete!!!domani alle 5 ho l'esame....c'è qualche angelo che cade dal cielo che sa risolvere sta pappardella e sa dirmi il procedimento???

[jack]

io ho fatto così(ma penso che non sia rigoroso...ed è grave che non lo sia, perchè DOVREI esserlo):per esempio nel numero 1),appurato che esiste una Z, essa può variare nel campo di N(in quanto non abbiamo nessun' altra limitazione), però sappiamo che siccome esistono delle y, esse devono essere pari(poichè y=2*z),infine facendo una sostituzione a y=2*z, ottieni x=4*z, cioè l' insieme di verità di x è l' insieme dei numeri divisibili per 4...
purtroppo non garantisco nulla per la validità del metodo...