12 lines
253 B
Markdown
12 lines
253 B
Markdown
---
|
|
up:
|
|
- "[[règles de démonstration]]"
|
|
tags:
|
|
- s/maths/logique
|
|
aliases:
|
|
---
|
|
|
|
> [!definition] Définition
|
|
> 1. $T \vdash \left[ \exists x f \leftrightarrow \neg \forall x \neg f \right]$
|
|
> 2. $T \vdash [\forall x (f \rightarrow g) \to$
|
|
^definition |