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 --- .../2- Le langage de la logique propositionnelle.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md') 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 -- cgit v1.2.3