Es git genau einen faulen Apfel.
Negation:
Es gibt keinen oder mehr als einen faulen Apfel.
Ich würde allerdings Klammern erwarten:
¬ (∃! ) .
(¬∃ ) ! macht meiner Meinung nach keinen Sinn.
"Es gibt mehr als einen" bekommst du nur mit Quantoren vermutlich nicht hin.
Vorschlag:
(∃ x (in M) ) und (∃ y in M) und x≠y.