Règles de déduction sur les connecteurs

Jaume Mathieu, Mounier Isabelle

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
Accéder à la ressource Fiche SUPLOMFR

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

connecteur, langage logique, axiome, représentation des preuves, règle d'affaiblissement, logique classique, raisonnement par l'absurde

Langues

Français

Droits attachés à la ressource

Licence Creative Commons CC BY-SA (Attribution – Partage dans les mêmes conditions)

Logo by-sa.webp

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