LILaC


INTRODUCTION À LA LOGIQUE

Un hyper-cours de répétition

Andreas Herzig


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

Niveaux d'analyse

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