How would you formalise: "There are no geniuses but Newton was a genius"?
I thought it could be: $$\neg\forall x(Px) \land Pa$$ and also $$\neg\exists x (Px) \land Pa$$These both seem to make sense and formalise the sentence, however they are not identical statements. The way it is worded is really confusing!
are
andwas
synonymously? I could interpret it as, thereare
no geniuses now, but there were geniuses at some point. $\endgroup$