Séance du 22 mars 2002 - PHIL 1423 : Introduction à la logique

PHIL 1423
Introduction à la logique

Points saillants de la séance du vendredi 22 mars 2002

Mise à jour du 26 mars 2002

Pour retourner à la liste des séances, cliquer ici.

Pour retourner à la page d'accueil du cours, cliquer ici.

La séance du 22 mars était essentiellement une révision de celle du 19 mars.

Théorèmes du système SP.

Démonstration de P P

Théorème de déduction

Notation polonaise

Pour retourner à la liste des séances, cliquer ici.

Pour retourner à la page d'accueil du cours, cliquer ici.