LILaC


INTRODUCTION À LA LOGIQUE

Un hyper-cours de répétition

Andreas Herzig


Année 2015-2016, cours LPOTR du M2: les dates des 4 séances sur la logique du premier ordre ont changées. Le cours aura lieu aux créneaux suivants :
  1. Lundi 12 octobre, 10h-12h
  2. Vendredi 16 octobre, 7h45-9h45 en salle S02
  3. Lundi 19 octobre, 7h45-9h45 salle des thèses au rez-de-chaussée de l'IRIT (et non en S02, contrairement à ce qu'il avait été annoncé dans un premier temps !)
  4. Vendredi 23 octobre, 7h45-9h45 FSI / U3-107 (Bât. U3)


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