From 9cb070097ebf4692ae2bcb23e854a3e4ffdccd53 Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Fri, 26 Sep 2025 12:24:19 +0200 Subject: Cours du 22 au 26 septembre --- ...2- Le langage de la logique propositionnelle.md | 26 ++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md (limited to 'semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md') 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** -- cgit v1.2.3