Interprétation : fonctions, prédicats et connecteurs
Jaume Mathieu, Mounier Isabelle
Ce cours est le troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques.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 atomique, interprétation d'une formule, expression booléenne, formule logique, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable
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