From 3926ea55363ae7d251f7aef715529a83d0663d90 Mon Sep 17 00:00:00 2001 From: oskar Date: Thu, 4 Jun 2026 18:34:01 +0200 Subject: [PATCH] MacBookPro.lan 2026-6-4:18:34:1 --- formule conséquence d'un ensemble de formules.md | 1 + 1 file changed, 1 insertion(+) diff --git a/formule conséquence d'un ensemble de formules.md b/formule conséquence d'un ensemble de formules.md index 152211fc..363a8d0f 100644 --- a/formule conséquence d'un ensemble de formules.md +++ b/formule conséquence d'un ensemble de formules.md @@ -25,5 +25,6 @@ aliases: > > Alors, on sait que pour toute valuation $\delta$ on a $\exists F \in \mathscr{A} \cup \{ \neg G \},\quad \delta (F) = 0$ > > - + # Exemples