Règles de déduction sur les connecteurs (en Français)
URL d'accès :  http://www.unit.eu/cours/logique-SorbonneU/co/sequ... Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7381 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0, SupLOMFRv1.0 Droits : libre de droits, gratuit Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : JAUME MATHIEU, MOUNIER ISABELLE Éditeur(s) : Sorbonne Université, UNIT 10-01-2020, 10-01-2020 Description : Ce cours est le deuxiè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 un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules Mots-clés libres : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde Structure : linéaire Classification UNIT :  Mathématiques > Fondamentaux Mathématiques > Mathématiques inductives déductives Classification :  Mathématiques et Sciences de la nature et de la matière > Mathématiques Philosophie et psychologie > Logique Indice(s) Dewey:   (511.3) Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)	PEDAGOGIQUE Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références Granularité : cours Niveau : enseignement supérieur, licence Public cible : apprenant Langue de l'apprenant : Français TECHNIQUE Type de contenu : texte, image, son Format : Document HTML RELATIONS Cette ressource fait partie de : Cours de logique
	Entrepôt d'origine :  Identifiant : oai:www.unit.eu:unit-ori-wf-1-7381 Type de ressource : Ressource pédagogique

Exporter au format XML