I have to write these 5 sentences in Logic but I'm not sure that I've done well. If someone can help me, I really appreciate that.
Giovanni loves nature: Loves(giovanni,nature)
Nature lovers preserve the environment: ∀x loves(x,nature) ⇔ preserve(x,environment)
People who preserve the environment do not leave garbage in the woods: ∀x ¬leave_g(x,woods) ⇒ preserve(x,environment)
People who preserve the environment do not light fires in the woods: ∀x ¬light_f(x,woods) ⇒ preserve(x,environment)