http://www.unit.eu/cours/logique-SorbonneU/co/sequence_3/co/sequence.html
Règles de déduction sur les quantificateurs
2020-01-10
Mathieu JAUME
Sorbonne Université
Isabelle Mounier
UNIT
système de la déduction naturelle
règle d'introduction du quantificateur
règle d'élimination
quantification universelle
quantification existentielle
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.
text/html
lecture
self assessment
exercise
liste de références
fre
Attribution - Partage dans les mêmes conditions (CC BY-SA)