H è un insieme di numeri interi positivi. Si sa che ogni numero pari che appartiene ad H è anche
multiplo di 3, e che non è vero che ogni multiplo di 5 che appartiene ad H è anche multiplo di 3.
In generale, si può dedurre che in H
A) c'è almeno un numero pari che non è multiplo di 5
B) c'è almeno un numero dispari che non è multiplo di 5
C) c'è almeno un numero pari multiplo di 5
D) c'è almeno un numero dispari multiplo di 5
Non è facilissimo.
Conviene pensare che la condizione "che non
" equivale a "c'è un multiplo di 5 che non è multiplo di 3".
In definitiva:
ogni pari è multiplo di 3 e c'è un multiplo di 5 che non è multiplo di 3.
Si capisce che posso dedurre D: c'è un multiplo di 5 che non è multiplo di 3, e che, quindi, non può essere pari.
Non conviene assolutamente cercare di formalizzare la frase con connettivi e quantificatori.