!! used as default html header if there is none in the selected theme. OEF forall

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

This page is not in its usual appearance because WIMS is unable to recognize your web browser.
In order to access WIMS services, you need a browser supporting forms. In order to test the browser you are using, please type the word wims here: and press ``Enter''.

Please take note that WIMS pages are interactively generated; they are not ordinary HTML files. They must be used interactively ONLINE. It is useless for you to gather them through a robot program.