1 ressource : système de la déduction naturelle

Recherche en cours

Par mots-clef = système de la déduction naturelle

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

1 ressource

page 1 sur 1

résultats 1 à 1

Règles de déduction sur les quantificateurs

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

Mots clés : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle

Date : 10-01-2020

Format : Document HTML

Auteur : JAUME Mathieu, Mounier Isabelle

Thème : Mathématiques, Logique

Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références

Niveau : enseignement supérieur, licence

Public : apprenant

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)