∀p. ( prodottoInVendita(p) → ( (¬(alcolico(p) ∧ maggiore(prezzo(p),v) ) ↔ scontato(p) ) )