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