Symbolisation

Symbolise the following sentences in the language of predicate logic with identity (L₂).

1. There are three frogs;
2. There are exactly three frogs;
3. There are no more than three frogs.

Readings

(Hodges, 2001, §§37-39)

Sainsbury (2001)