Méthodes de Logique
Articles publiés dans cette rubrique
par
Calcul des énoncés - 1 - Méthode des tables de vérité
La méthode des tables de vérité est une méthode élémentaire pour
tester la validité d’une formule du calcul propositionnel. On dit que c’est une méthode sémantique parce qu’elle est fondée sur l’interprétation des formules élémentaires sur lesquelles on distribue les deux valeurs que sont le vrai (...)
par
Méthodes de décision pour la logique du premier ordre
Cours de l’année 2012 - 2013 (Document protégé)
par
Logique intuitionniste - Méthodes de décision
La méthode des artbres de Beth adaptée à la logique propositionnelle intuitionniste
par
Logiciels pour l’automatisation des preuves en logique intuitionniste
On donne dans cet article quelques liens qui permettent de se procurer des logiciels qui prouvent ou réfutent automatiquement la validité intuitionniste des formules du calcul propositionnel.
par
Séminaire de François Lepage
Les pièces jointes à cet articles sont des documents utilisés par François Lepage lors de son séminaire à l’Université de Lorraine.
