PHIL
1423
Introduction à la
logique
Points saillants de la séance du mardi
5 mars 2002
Mise à jour du 8 mars 2002.
Pour retourner à la liste
des séances, cliquer ici.
Pour retourner à la page
d'accueil du cours, cliquer ici.
-
Révision du symbole
et
des notions de langage-objet et de métalangage.
-
« P » n'est pas
un énoncé vérifonctionnel (comme «
P
» l'est).
-
« P » ne peut
même pas être vrai (puisque P, tout seul, ne peut pas être
une tautologie).
-
« P » est un
énoncé du métalangage, « P
» est un énoncé du langage-objet.
-
« P, P
Q Q
», par exemple, signifie que lorsqu'on fait une table de vérité
pour les énoncés P, P
Q et Q, toutes les lignes où P et P
Q sont vrais sont des lignes où P est vrai également.
-
En d'autres mots, « P, P
Q Q » signifie que
le raisonnement suivant est un raisonnement valide :
-
P
-
P Q
-
_____________
-
-
Q
-
Pour la définition du symbole et
une révision de la notion de validité déductive,
voir la séance précédente.
-
La méthode des tables de vérité complètes
pour évaluer la validité ou la non-validité des raisonnements.
-
La méthode abrégée (fondée sur
la méthode des tables de vérité).
-
La méthode ramifiée de Smullyan sera présentée
vendredi.
-
Distribution de l'exercice 12 (que nous avons commencé
à faire en classe -- cet exercice ne sera pas évalué).
-
Distribution de l'exercice 13 - à soumettre vendredi.