Aiuto!!!

Dinizio
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

Risposte
Dinizio
ragazzi!!!nessuno??

jack110
ma E non era il quantificatore esistenziale?

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

Dinizio
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???

jack110
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...

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.