Tabella di verità e stabilire se una proposizione è vera o falsa

[ghost_7eight]

Ciao a tutti, avrei un problemino su un esercizio di logica apparentemente banale, ecco il testo:

1a parte: Date tre proposizioni P, S e R, scrivere la tabella di verità (S =>P) or (R and S).

E fin qui ci siamo.

2a parte: Determinare, motivandone la risposta, se la proposizione $ EE y in R $ t.c. $ AA s in N $ e $ AA a in Z $ si ha $ y-s +a != 0 $ è vera o falsa e scriverne la sua negazione.

Ecco, per questa seconda parte non so da che punto partire e sono totalmente bloccato sul ragionamento. Qualcuno può darmi uno spunto o rimandarmi a qualche esempio risolto?

[axpgn]

Ma cosa devi fare ?

[ghost_7eight]

Ma cosa devi fare ?

Ciao hai ragione, avevo completamente omesso il testo che ho aggiunto ora.

Devo determinare se quella proposizione è vera o falsa e scriverne la negazione.

[axpgn]

In sostanza ti chiede se è vero che esistono numeri reali che non siano interi ... direi di sì ...

[ghost_7eight]

In sostanza ti chiede se è vero che esistono numeri reali che non siano interi ... direi di sì ...

Grazie per la risposta.

In sostanza come posso scriverlo in modo che la risposta sia sufficiente per il prof?

[axpgn]

Per soddisfare il prof non saprei, bisognerebbe conoscerlo ...
Comunque $y-s+a!=0$ equivale a $y!=s-a$ e dato che sia $s$ che $a$ sono entrambi interi basta prendere un qualsiasi $y$ irrazionale perché sia sempre vera per ogni $a$ e per ogni $s$