blob: bba380b53a68917dfd7f3bc46482c5804189d6e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
---
tags:
- sorbonne
- philosophie
- logique-notions-formelles
semestre: 3
---
Ce qui définit la forme logique d'un argument sont les mots logiques
Il y a deux types de mots logiques :
- les quantifieurs : "tous", "certains"
- les connecteurs propositionnelles : "si ..., alors ...", "... ou ..."
La logique propositionnelle est celle des connecteurs propositionnelles
La logique du premier ordre (ou des prédicats) est celle des quantifieurs
On formalise la logique propositionnelle pour les analyser
-> permet de dire si les arguments sont valides
Un énoncé atomique ne contient pas de connecteurs propositionnelles
|> il n'est pas possible de le décomposer
Les énoncés complexes sont des compositions d'énoncés atomiques connectés avec des connecteurs propositionnelles
Tout énoncé est soit vrai, soit faux.
**Rattraper le cours d'énoncé vrai / faux du cours 2**
**On doit donner la clé de retranscription**
|> i.e. ce qui permet de passer d'une phrase à l'énoncé logique
|> e.g., $p$: Pierre est content, $q$: Marie est triste
|
