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