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?