Instructions

The next symbol we can use is ∀. ∀ means 'for all'.

∀x.Sad(x) means that every object in the scene is sad.

If Aristotle is in the scene, then this is not true because bears cannot be sad.

Go to next level