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 --- .../4- Interpr\303\251ter les formules.md" | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'semestre 3/logique et notions formelles/4- Interpréter les formules.md') diff --git "a/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" "b/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" index 0d362ff..f994745 100644 --- "a/semestre 3/logique et notions formelles/4- Interpr\303\251ter les formules.md" +++ "b/semestre 3/logique et notions formelles/4- Interpr\303\251ter 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 -- cgit v1.2.3