Bases du raisonnement

Le cours propose une introduction à la logique. On y présentera les principes de la formalisation des énoncés du langage courant ainsi que les critères formels de validité des raisonnements.

La première partie sera consacrée à la logique propositionnelle et la seconde partie à la logique des prédicats.

Les différentes figures de raisonnement seront introduites via formalisme de la déduction naturelle.

Fournir les outils de base pour une approche formelle du langage.

M3C en deux sessions

REGIME STANDARD Session 1: CC 100%

Contrôle Continu : 2 notes au moins dont une évaluation en temps limité. (50%

REGIME DEROGATOIRE : CT 100%

1 note, évaluation écrite en temps limité - 1H

SESSION 2 (dite de 2nd chance) : CT 100%

1 note, évaluation écrite en temps limité - 1H

aucun

- savoir formaliser des énoncés simples du langage courant, contenant en particulier des quantificateurs ;

- savoir reconnaître si un raisonnement est valide et construire des preuves formelles.