#
OEF forall
--- Introduction ---

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

### 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