Objectifs (en terme de compétences)

L'étudiant devra maîtriser quelques unes des notions de base de la logique : extension et "intension" d'un concept, vérité d'un jugement, loi logique et contradiction, correction d'un raisonnement. Il devra également acquérir une pratique de quelques techniques qui permettent d'appliquer ces notions, comme celles qui établissent la validité des raisonnements.

Objet de l'activité (principaux thèmes à aborder)

Définir d'abord les notions intuitives de loi logique et de raisonnement valide à l'aide des notions d'énoncé, de modèle et de vérité.

Les aborder ensuite par la théorie de la démonstration.

Montrer enfin que ces deux approches sont équivalentes quant au résultat.

Autres informations (Pré-requis, Evaluation, Support, ...)

Evaluation:
Examen

Support:
Syllabus complet

Autres crédits de l'activité dans les programmes