1 ressource : quantification universelle

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
UNIT
Règles de déduction sur les quantificateurs
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 : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
 En savoir plus
 Description complète
Règles de déduction sur les quantificateurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé