Logique formelle/Exercices/Quantificateurs et connecteurs logiques

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

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

 

Exercice 1-2

modifier

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

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