PHI1116 - Logique formelle  (3 crédits)

Niveau :  Deuxième-troisième année
Département :  Philosophie et des arts
Description :

Introduire au calcul propositionnel et à la quantification.

Caractérisation de la logique formelle contemporaine. Présentation d'un calcul propositionnel complet et application à ce calcul de la méthode des tables de vérité ou des tableaux sémantiques. Introduction à la théorie de la quantification et au calcul des prédicats.

Horaire du cours aux sessions hiver 2020

Université du Québec
à Trois-Rivières

3351, boul. des Forges, C.P. 500
Trois-Rivières (Québec) G9A 5H7
Information générale : crmultiservice@uqtr.ca
Téléphone : 819 376-5011
Sans frais : 1 800 365-0922
Télécopieur : 819 376-5210