http://www.unit.eu/cours/logique-SorbonneU/co/sequence_4/co/sequence.html
Interprétation : variables et quantificateurs
2020-01-10
Mathieu JAUME
Sorbonne Université
Isabelle Mounier
UNIT
interprétation d'un langage logique avec variables
règle d'introduction du quantificateur
interprétation des termes
schéma d'interprétation des formules
formule valide
relation de conséquences
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.
text/html
lecture
self assessment
exercise
liste de références
fre
Attribution - Partage dans les mêmes conditions (CC BY-SA)