PHI1116 - Logique formelle

Particularité pour les trimestres d'été et d'automne 2021.

Veuillez noter que la formule d’offre de cours (à distance, en présentiel ou en comodalité) sera précisée dans les prochaines semaines.


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, 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