Cours 4 : Règles de déduction sur les quantificateurs
sommaire
contenu
contrôles
Introduction
Règle d'introduction du quantificateur ∀
Règle d'élimination du quantificateur ∀
Règle d'introduction du quantificateur ∃
Règle d'élimination du quantificateur ∃
Exemple (règles d'élimination)
Exemple (règles d'introduction)
Introduction
Règle d'introduction du quantificateur ∀
Règle d'élimination du quantificateur ∀
Règle d'introduction du quantificateur ∃
Règle d'élimination du quantificateur ∃
Exemple (règles d'élimination)
Exemple (règles d'introduction)
Lecture / Pause
Activer / Désactiver le son
Introduction - 0:59
Règle d'introduction du quantificateur ∀ - 2:20
Règle d'élimination du quantificateur ∀ - 1:03
Règle d'introduction du quantificateur ∃ - 1:09
Règle d'élimination du quantificateur ∃ - 3:01
Exemple (règles d'élimination) - 1:27
Exemple (règles d'introduction) - 1:15
Options d'accessibilité
Fermer la fenêtre
Plein écran
Sortir de la fenêtre
Retour en début de fenêtre