---
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