OEF forall --- Introduction ---

This modules gathers for the time being 4 exercises on logical quantifiers: forall, exists.

Quantifiers 2

Is the following property true?


Quantifiers 1

Is the following property true?


Quantifiers 2

Is the following property true?


quantifiers 3

Is the following property true?

The most recent version