blob: fcdc2f1c3e462853296e84b9c748d2c8fa370d66 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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
|
