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