diff options
| author | Anhgelus Morhtuuzh <william@herges.fr> | 2025-12-08 14:13:46 +0100 |
|---|---|---|
| committer | Anhgelus Morhtuuzh <william@herges.fr> | 2025-12-08 14:13:46 +0100 |
| commit | ecf05510045b2ac78b479ae746a43078e22cee4f (patch) | |
| tree | 69addedf53dfa2af5771d8dd7d3899a09300eaab /semestre 3/logique et notions formelles | |
| parent | eb0a2b280207e2a1e90b7ac7d5095e0e3c706f00 (diff) | |
Cours du 1 au 5 décembre
Diffstat (limited to 'semestre 3/logique et notions formelles')
4 files changed, 21 insertions, 3 deletions
diff --git a/semestre 3/logique et notions formelles/10- Probabilités.md b/semestre 3/logique et notions formelles/10- Probabilités.md new file mode 100644 index 0000000..953d4dc --- /dev/null +++ b/semestre 3/logique et notions formelles/10- Probabilités.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éter les formules.md b/semestre 3/logique et notions formelles/4- Interpréter les formules.md index 0d362ff..f994745 100644 --- a/semestre 3/logique et notions formelles/4- Interpréter les formules.md +++ b/semestre 3/logique et notions formelles/4- Interpréter 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 |