---
tags:
  - sorbonne
  - philosophie
  - logique-notions-formelles
  - td
semestre: 3
---
$L^1$: ...est un logicien
$C^1$: ... est célèbre
$g$: Gödel
$(L^1g\land C^1g)$

$P^1$: ...est une porte
$O^1$: ... est ouvert
$\forall p(P^1p\to O^1p)$
$\exists p(P^1p\to \lnot O^1p)$
$\forall p(P^1p\to \lnot O^1p)$

$C^1$: ...est un grand chien
$G^1$: ...est gentil
$\exists c(C^1c\land G^1c)$

$E^1$: ...est un économiste
$R^1$: ... est riche
$\varphi^1$: ...est un philosophe
$S^1$: ...est sage
$(\exists e(E^1e\land R^1e)\to \exists\phi (\varphi^1\phi\land S^1\phi))$

$t$: Tom
$V^1$: ...est une voiture
$P^2$: ...possède...
$\exists v (V^1v\to P^2tv)$