diff options
Diffstat (limited to 'semestre 3/logique et notions formelles/td')
| -rw-r--r-- | semestre 3/logique et notions formelles/td/25-09-22.md (renamed from semestre 3/logique et notions formelles/td/1-.md) | 0 | ||||
| -rw-r--r-- | semestre 3/logique et notions formelles/td/25-09-29.md | 30 |
2 files changed, 30 insertions, 0 deletions
diff --git a/semestre 3/logique et notions formelles/td/1-.md b/semestre 3/logique et notions formelles/td/25-09-22.md index 2d18fea..2d18fea 100644 --- a/semestre 3/logique et notions formelles/td/1-.md +++ b/semestre 3/logique et notions formelles/td/25-09-22.md diff --git a/semestre 3/logique et notions formelles/td/25-09-29.md b/semestre 3/logique et notions formelles/td/25-09-29.md new file mode 100644 index 0000000..fcdc2f1 --- /dev/null +++ b/semestre 3/logique et notions formelles/td/25-09-29.md @@ -0,0 +1,30 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles + - td +semestre: 3 +--- +$p$ -> Pierre aime Paul +$q$ -> Paul aime Pierre + +$\lnot p\land q$ -> Pierre n'aime pas Paul et Paul aime Pierre +$\lnot (p\lor q)$ -> Pierre n'aime pas Paul et c'est réciproque +$p \leftrightarrow q$ -> Pierre et Paul s'aiment ou se détestent mutuellement +$\lnot (p\land q)$ -> Pierre n'aime pas Paul ou c'est l'inverse +$\lnot p\rightarrow q$ -> Pierre n'aime pas Paul, donc Paul aime Pierre +$\lnot (p\rightarrow q)$ -> Pierre aime Paul et Paul n'aime pas Pierre +$\lnot\lnot p$ -> Pierre aime Paul +$\lnot (p\leftrightarrow q)$ -> Pierre et Paul ne partagent pas les mêmes sentiments +$(p\land\lnot q)\rightarrow p$ -> Pierre aime Paul et Paul n'aime pas Pierre, donc Pierre l'aime + +$p\land q$ +$\lnot p\land\lnot q$ +$p\land\lnot q$ +$\lnot (q\land\lnot p)$ i.e. $p\rightarrow q$ +$q\land\lnot p$ +$\lnot p\lor\lnot q$ +$\lnot(p\land q)$ + +Parce que ne possède pas de valeur de vérité car son sens dépend du contexte
\ No newline at end of file |