PHIL
1423
Introduction à la
logique
Points saillants de la séance du vendredi
1er février 2002
Mise à jour du 5 février 2002.
Pour retourner à la liste
des séances, cliquer ici.
Pour retourner à la page
d'accueil du cours, cliquer ici.
-
On fait l'exercice no 6 ensemble
-
On n'a pas eu besoin d'appliquer la politique selon laquelle les étudiant/e/s
qui étaient absent/e/s vendredi auraient dû soumettre l'exercice
no 6 mardi prochain.
-
Terme nouveau (bien que le concept ait été présenté
à la séance précédente)
-
La notion de fonction de vérité
-
Cette notion est complémentaire à celle d'énoncé
vérifonctionnel, expliqué à la séance
précédente.
-
Autres nouveaux termes
-
conditionnel
-
si ..., alors ... et ...
...
sont des conditionnels
-
...... est un conditionnel
vérifonctionnel
-
antécédent
-
conséquent
-
Analyse du foncteur
et de la relation « Si ..., alors ... »
-
La valeur de vérité de « Si ..., alors ... »
est problématique dans certains cas. Dirons nous, par exemple,
que « Si Lincoln a été président des États-Unis,
alors 2+2=4 »?
-
Dans la logique classique, par contre, la vérité ou la fausseté
de « P Q »
doit être définie pour chaque combinaison possible de vérité
et de fausseté de P et de Q.
|
P
|
Q |
 P |
P & Q |
P  Q |
Si P, alors Q |
P Q |
| vrai |
vrai |
faux |
vrai |
vrai |
? |
vrai |
| vrai |
faux |
faux |
faux |
vrai |
faux |
faux |
| faux |
vrai |
vrai |
faux |
vrai |
? |
vrai |
| faux |
faux |
vrai |
faux |
faux |
? |
vrai |
| P |
Q |
Q |
P & Q |
(P & Q) |
P |
P v Q |
|
| v |
v |
f |
f |
|
f |
|
v |
| v |
f |
v |
v |
|
f |
|
f |
| f |
v |
f |
f |
|
v |
|
v |
| f |
f |
v |
f |
|
v |
|
v |
-
Dans la logique classique des propositions il y une équivalence
parfaite entre les énoncés suivants :
-
Analyse des foncteurs
(parfois noté 
)
et
v
-
La notion de « tautologie »
-
La notion d'« antitautologie » ou de « contradiction
».
-
Distribution de l'exercice no 7
-
À faire pour la prochaine séance.