1 ressource : logique classique

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
UNIT
Règles de déduction sur les connecteurs
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 : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
 En savoir plus
 Description complète
Règles de déduction sur les connecteurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé