URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7383 Interprétation : fonctions, prédicats et connecteurs fre 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. formule logique interprétation d'une formule formule atomique expression booléenne formule satisfiable relation de conséquence sémantique formule valide formule prouvable LOMv1.0 linear LOMv1.0 3 LOMv1.0 texte LOMv1.0 image LOMFRv1.0 son LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:JAUME;Mathieu;;; FN:Mathieu JAUME EMAIL;TYPE=INTERNET: ORG:Sorbonne Université END:VCARD 2020-01-10 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:Sorbonne Université;;;; FN:Sorbonne Université EMAIL;TYPE=INTERNET: ORG:Sorbonne Université END:VCARD 2020-01-10 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Mounier;Isabelle;;; FN:Isabelle Mounier EMAIL;TYPE=INTERNET: ORG:Sorbonne Université END:VCARD 2020-01-10 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:UNIT;;;; FN:UNIT EMAIL;TYPE=INTERNET: ORG:UNIT END:VCARD 2020-01-10 URI http://ori.unit-c.fr/uid/unit-ori-wf-1-7384 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 fre text/html http://www.unit.eu/cours/logique-SorbonneU/co/sequence_2/co/sequence.html LOMv1.0 lecture LOMv1.0 self assessment LOMv1.0 exercise SupLOMFRv1.0 liste de références LOMv1.0 learner LOMv1.0 higher education LOMFRv1.0 licence fre LOMv1.0 no LOMv1.0 no Attribution - Partage dans les mêmes conditions (CC BY-SA) LOMv1.0 ispartof URI http://www.unit.eu/cours/logique-SorbonneU/ Cours de logique LOMv1.0 discipline Classification UNIT 2202 Mathématiques inductives déductives Classification UNIT 2504 Philosophie, éthique, métaphysique, épistémologie LOMv1.0 discipline CDD 22e éd. 511.3 Logique mathématique (Logique symbolique) CDD 22e éd. 160 Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) home-example unit-cofinance