OEF Quantificateurs logiques --- Introduction ---

Ce module regroupe pour l'instant 4 exercices sur les quantificateurs logiques : forall, exists.

Quantificateurs 2

La propriété suivante est-elle vraie ?


Quantificateurs 1

La propriété suivante est-elle vraie ?


Quantificateurs 2b

La propriété suivante est-elle vraie ?


Quantificateurs 3

La propriété suivante est-elle vraie ?


Cette page n'est pas dans son apparence habituelle parce que WIMS n'a pas pu reconnaître votre navigateur web.
Afin de tester le navigateur que vous utilisez, veuillez taper le mot wims ici : puis appuyez sur ``Entrer''.

Veuillez noter que les pages WIMS sont générées interactivement; elles ne sont pas des fichiers HTML ordinaires. Elles doivent être utilisées interactivement EN LIGNE. Il est inutile pour vous de les ramasser par un programme robot.