Interprétation : variables et quantificateurs
Jaume Mathieu, Mounier Isabelle
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage.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
formule valide, règle d'introduction du quantificateur, interprétation d'un langage logique avec variables, interprétation des termes, schéma d'interprétation des formules, relation de conséquences
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