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