diff options
| author | Anhgelus Morhtuuzh <william@herges.fr> | 2025-09-26 12:24:19 +0200 |
|---|---|---|
| committer | Anhgelus Morhtuuzh <william@herges.fr> | 2025-09-26 12:24:19 +0200 |
| commit | 9cb070097ebf4692ae2bcb23e854a3e4ffdccd53 (patch) | |
| tree | c55c348daa1d1c1c34529a9d6c4e6f209f9a1a7b /semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md | |
| parent | 7ed2d38e36518873139d5fea9b977e9ae72e7838 (diff) | |
Cours du 22 au 26 septembre
Diffstat (limited to 'semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md')
| -rw-r--r-- | semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md new file mode 100644 index 0000000..10a142f --- /dev/null +++ b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md @@ -0,0 +1,26 @@ +--- +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 à la fin du cours 2** |