Logo Université Laval Logo Université Laval
EN

Cours en classe

PHI-2006 - Logique symbolique I

La logique formelle traite de la validité des inférences, abstraction faite de leur contenu. Ce cours a pour objectif de clarifier en quoi consiste une inférence valide, d’enseigner à l’étudiant comment traduire une langue naturelle en langage formel et de l’initier à quelques méthodes permettant de juger de la validité des inférences.

Plan de cours

Retour à la liste