diff options
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 |