Recent content by hanzla

Its existantial quantifier ∃ and it says “for some”, “there exists”, “there is a”, or “for at least one”. ∃x C(l)∧¬P(l)

I also have doubt about sentence `London is not a polluted city.` Is it correct like this. C(x): x is a city; P(x): x is polluted; l for London ¬P(l) ∧ C(x) does it need a identifying quantifier too?

We symbolize like this C(x): x is a city P(x): x ia polluted S(x): x is smaller than y l for London Does it have sa quatifier, cose its true for very city? Does the symbolization look like this? ∀x C(x) → (S(x,l) V P(x))

Hi, I need to convert below senteces into FOL, but I have difficulty doing it. Could someone peale help? Lara ate exactly two apples. Every city is either smaller than London or polluted.