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.