14 lines
299 B
Markdown
14 lines
299 B
Markdown
---
|
|
up:
|
|
- "[[règles de démonstration]]"
|
|
tags:
|
|
- s/maths/logique
|
|
aliases:
|
|
---
|
|
|
|
> [!definition] Définition
|
|
> - $T \vdash x =x$
|
|
> - $T \vdash (x = y) \to (y = x)$
|
|
> - $T \vdash (x = y) \wedge (y = z) \to (x = z)$
|
|
> - $T \vdash (x_1 = y_1 \wedge \dots \wedge x_{n} = y_{n}) \to f$
|
|
^definition |