PHI1116 - Logique formelle

Niveau :  Deuxième-troisième année
Département : Philosophie et des arts
Crédits :3 crédits
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.

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

3351, boul. des Forges,
Trois-Rivières (Québec) G8Z 4M3
Information générale : crmultiservice@uqtr.ca
Téléphone : 819 376-5011
Sans frais : 1 800 365-0922