UNIT

Sommaire

cours / présentation, autoévaluation, exercice, liste de références

Règles de déduction sur les quantificateurs

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....

Date de création :

10.01.2020

Auteur(s) :

Mathieu JAUME, Isabelle Mounier

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, image, son
Public(s) cible(s) : apprenant
Document : Document HTML
Droits d'auteur : libre de droits, gratuit
Attribution - Partage dans les mêmes conditions (CC BY-SA)

Description de la ressource

Résumé

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.

  • Granularité : cours
  • Structure : linéaire

"Domaine(s)" et indice(s) Dewey

  • Logique mathématique (Logique symbolique) (511.3)
  • Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)

Domaine(s)

  • Principes généraux
  • Généralités, philosophie, théorie des mathématiques
  • Mathématiques inductives déductives
  • 160

Intervenants, édition et diffusion

Édition

  • Sorbonne Université
  • UNIT

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Document(s) annexe(s)

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7385
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7385
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Publication : 10.01.2020

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

Voir aussi

UNIT
UNIT
10.01.2020
Interprétation : variables et quantificateurs
Description : 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 ...
  • 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
UNIT
UNIT
10.01.2020
Cours de logique
Description : Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantifi ...
  • langage logique
  • langage formel
  • langage de termes
  • formule atomique
  • quantificateur
  • règle de déduction
  • connecteur
  • interprétation d'une formule
  • expression booléenne