Some apples are red, but not any red apple is green
Ax : An object is an Apple
Rx : An object is red
Gx : An object is green
I have assigned the "but" in the question to the logical Operater ∧, so I wrote this:
∀x(∃x(Ax ∧ Rx) ∧ ∀x((Ax ∧ Rx) → -Gx))
Which I think reads as: For any X, There is at least one object that is an apple and is red, and for any x, If an object is an apple and is red, then the object is not green.
Is this correct?