Negazione

[chess71]

Quale è la negazione di "Se $x$ è primo, $2^x-1$ è primo"

la mia risposta immediata "se $x$ è primo allora $2^x-1$ non è primo" è errata
non capisco il perchè

[Gi81]

Semplicemente perchè la negazione di $A -> B$ non è $A -> not B$
Domanda: qual è la negazione di $A->B$?

[chess71]

non ho mai studiato la logica, la mia era una risposta intuitiva

hai qualche link da suggerirmi?

[chess71]

sono andato a leggere qualcosa e ho trovato la risposta al mio quesito, inclusa una chiara spiegazione
morale: spesso l'intuito non basta, occorre studiare

[Studente Anonimo]

Sei serio? Non serve aver studiato logica per questo Basta non farsi impaurire.
Se vuoi un esempio più "terra terra", pensa a questo: qual è la negazione della seguente proposizione?

"Se una persona ha 20 anni sua madre ne ha 40".

Ti ricordo che siccome questa proposizione è falsa, la sua negazione deve essere una proposizione vera (ovviamente).

[chess71]

che pollo che sono, grazie Martino