From ecf05510045b2ac78b479ae746a43078e22cee4f Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Mon, 8 Dec 2025 14:13:46 +0100 Subject: =?UTF-8?q?Cours=20du=201=20au=205=20d=C3=A9cembre?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../logique et notions formelles/10- Probabilit\303\251s.md" | 8 ++++++++ .../2- Le langage de la logique propositionnelle.md | 4 ++-- .../4- Interpr\303\251ter les formules.md" | 3 ++- semestre 3/logique et notions formelles/td/25-12-01.md | 9 +++++++++ 4 files changed, 21 insertions(+), 3 deletions(-) create mode 100644 "semestre 3/logique et notions formelles/10- Probabilit\303\251s.md" create mode 100644 semestre 3/logique et notions formelles/td/25-12-01.md (limited to 'semestre 3/logique et notions formelles') diff --git "a/semestre 3/logique et notions formelles/10- Probabilit\303\251s.md" "b/semestre 3/logique et notions formelles/10- Probabilit\303\251s.md" new file mode 100644 index 0000000..953d4dc --- /dev/null +++ "b/semestre 3/logique et notions formelles/10- Probabilit\303\251s.md" @@ -0,0 +1,8 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles +semestre: 3 +--- +... \ No newline at end of file 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 index bba380b..925b54a 100644 --- 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 @@ -8,11 +8,11 @@ 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 quantificateurs : "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 +La logique du premier ordre (ou des prédicats) est celle des quantificateurs On formalise la logique propositionnelle pour les analyser -> permet de dire si les arguments sont valides diff --git "a/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" "b/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" index 0d362ff..f994745 100644 --- "a/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" +++ "b/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" @@ -16,7 +16,8 @@ Une dvv pour le langage propositionnelle $\{p,q,r,s\}$ est par exemple : $$ d : \{p,q,r,s\} \to \{V,F\} $$ telle que $$ d(p)=V,\quad d(q)=F,\quad d(r)=F,\quad d(s)=V $$ -*rattraper $\bar d$ diapo 8* + +$\bar d$ est extension de $d$ telle que $\bar d$ respecte les définitions des connecteurs La table de vérité est un tableau donnant les différentes valeurs de vérité des différentes dvv existantes diff --git a/semestre 3/logique et notions formelles/td/25-12-01.md b/semestre 3/logique et notions formelles/td/25-12-01.md new file mode 100644 index 0000000..5b65016 --- /dev/null +++ b/semestre 3/logique et notions formelles/td/25-12-01.md @@ -0,0 +1,9 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles + - td +semestre: 3 +--- +4/52 -- cgit v1.2.3