OEF forall --- Introduction ---

This modules This module currently contains 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?


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.