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/4- Interpréter les formules.md | |
| parent | eb0a2b280207e2a1e90b7ac7d5095e0e3c706f00 (diff) | |
Cours du 1 au 5 décembre
Diffstat (limited to 'semestre 3/logique et notions formelles/4- Interpréter les formules.md')
| -rw-r--r-- | semestre 3/logique et notions formelles/4- Interpréter les formules.md | 3 |
1 files changed, 2 insertions, 1 deletions
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 |