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/2- Le langage de la logique propositionnelle.md | |
| parent | eb0a2b280207e2a1e90b7ac7d5095e0e3c706f00 (diff) | |
Cours du 1 au 5 décembre
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 | 4 |
1 files changed, 2 insertions, 2 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 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 |