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 2 sessions

• Régime standard session 1

TD : La note est constituée d'au moins deux épreuves, dont une en temps limité.

• Régime dérogatoire session 1

Une épreuve écrite en temps limité (1h) donnant lieu à une seule note

• Session 2 dite de rattrapage

Une épreuve é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.