13 lines
297 B
Markdown
13 lines
297 B
Markdown
---
|
|
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 |