Règles de déduction sur les quantificateurs

Jaume Mathieu, Mounier Isabelle

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.

Accéder à la ressource Fiche SUPLOMFR

Description

Université productrice

Sorbonne Université, Université numérique ingénierie et technologie

Discipline

Mathématiques - Mathématiques inductives déductives, Sciences humaines et sociales pour l'ingénieur - Philosophie, éthique, métaphysique, épistémologie

Mots clés

système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle

Langues

Français

Droits attachés à la ressource

Licence Creative Commons CC BY-SA (Attribution – Partage dans les mêmes conditions)

Indication pédagogique

Niveaux

Licence

Type(s) pédagogique(s)

Autoévaluation, Cours / Présentation, Liste de références, Exercice

Type(s) documentaire(s)

Texte, Son