 |
Règles de déduction sur les quantificateurs | |
| Auteur(s) : Mathieu JAUME, Isabelle Mounier
2020-01-10,
2020-01-10
Éditeur(s) : Sorbonne Université Sorbonne Université, UNIT UNIT; Description : Ce cours est le quatrième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs. Mots-clés libres : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle Accès à la ressource : http://www.unit.eu/cours/logique-SorbonneU/co/sequ... Conditions d'utilisation : Attribution - Partage dans les mêmes conditions (CC BY-SA) | DONNEES PEDAGOGIQUES Type pédagogique : lecture, self assessment, exercise, liste de références Granularité : 3 Niveau : higher education, licence Public cible : learner Langue de l'apprenant : fre DONNEES TECHNIQUES Format : text/html |
| Exporter au format XML |