LILaC


INTRODUCTION À LA LOGIQUE

Un hyper-cours de répétition

Andreas Herzig

(en collaboration avec Gabriella Crocco, Olivier Gasquet et Bruno Gaume)


Comment utiliser ce cours

Remerciements


Plan


http://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



















                                                      

http://www.irit.fr/~Andreas.Herzig