---
up:
  - "[[règles de démonstration]]"
tags:
  - s/maths/logique
aliases:
---

> [!definition] Définition
> Si $T \vdash f_1, \dots, T \vdash f_{n}$
> et si $\varphi(x_1, \dots, x_{n})$ est une [[tautologie]] du calcul propositionnel
> alors $T \vdash \varphi(f_1, \dots, f_{n})$
^definition