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