LILaC
INTRODUCTION À LA LOGIQUE
Un hyper-cours de répétition
Comment utiliser ce cours
Remerciements
Plan
https://www.irit.fr/~Andreas.Herzig
[Plan |
Introduction |
Logique propositionnelle |
Logique des prédicats |
Logiques non-classiques]
INTRODUCTION
Le but de la logique
caractériser les raisonnements valides
Annexe :
applications de la logique
Exemples de raisonnements
Une inférence est valide à cause de sa forme (et non pas à cause du sens des prémisses).
Les moyens
-
représentation du monde :
introduction de connecteurs pour structurer les propositions
-
négation : ~(il_pleut)
-
conjonction : il_pleut ∧ la_route_est_mouillée
-
implication : il_pleut -> la_route_est_mouillée
-
...
-
quantification existentielle : ∃x (dieu(x))
-
quantification universelle : ...
-
...
Construction de propositions complexes :
~(la_route_est_mouillée) -> ~(il_pleut)
-
règles d'inférence :
passage des prémisses à la conclusion
Niveaux d'analyse
-
Langage :
définition des formules bien formées
-
Théorie de la preuve (axiomatique) :
définition des notions de prouvabilité et de déduction
-
Théorie des modèles (sémantique) :
définition des notions de validité et de conséquence logique
Idéal : valide = démontrable
Annexe :
remarque sur la relation avec le langage naturel
suite :
chapitre
sur la logique propositionnelle
https://www.irit.fr/~Andreas.Herzig