blob: 0cf7c355efe448d668be93f40f48df1d4d63e424 (
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
31
32
33
|
---
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)$
|
