Logique formelle/Exercices/Quantificateurs et connecteurs logiques

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Quantificateurs et connecteurs logiques
Image logo représentative de la faculté
Exercices no1
Leçon : Logique formelle

Exercices de niveau 14.

Exo préc. :Sommaire
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Quantificateurs et connecteurs logiques
Logique formelle/Exercices/Quantificateurs et connecteurs logiques
 », n'a pu être restituée correctement ci-dessus.



Exercice 1-1[modifier | modifier le wikicode]

Pour quels ensembles l'implication suivante est-elle vraie quels que soient les prédicats et  ?

Exercice 1-2[modifier | modifier le wikicode]

Soient et deux ensembles ordonnés et une application.

  1. Traduire formellement : «  n'est pas strictement croissante ». (Attention : on ne suppose pas que les ordres et sont totaux.)
  2. Traduire formellement : «  est croissante ».
  3. En déduire (formellement) que si est croissante et non strictement croissante, alors il existe tels que et est constante sur l'ensemble .

Voir aussi[modifier | modifier le wikicode]

« TD : Exercices de logique », sur Université d'Angers, L3SEN