Let me define the following predicates:
O(x,y) means: "x owns y"
C(x) mean: "x is a car"
I want to translate these two sentences from English to FOL:
1) It isn't true that everyone owns a car
2) Either someone owns a car or no one owns a car
These are my proposed translations to FOL:
2) ∃x∃y(O(x,y)∧C(y)) ∨ ∀x¬∃y(O(x,y)∧C(y)