From 1cc719d3024c8c55444d4251d5832bfbeb7230bd Mon Sep 17 00:00:00 2001 From: Jean-Sylvain Boige Date: Mon, 2 Nov 2026 12:22:03 +0100 Subject: [PATCH] =?UTF-8?q?Fix(slides,#11508):=2003-logique=20--=20la=20di?= =?UTF-8?q?apo=20=C2=AB=20Regles=20d'inference=20=C2=BB=20debordait=20en?= =?UTF-8?q?=20bas?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Balayage L2 du deck 03 : export PNG des 134 diapos puis `scan_slidev_overflow.py` designe une seule diapo debordante, la 17. La diapo empile cinq sections H2 et onze puces, plus la table des equivalences logiques posee en absolu a droite. Sur le rendu, la derniere section -- « Double negation » et sa puce -- tombait sous le bas de page et recouvrait le pied de page du theme : le contenu etait coupe, sans que rien ne le signale dans le source. Le corps est enveloppe dans `dense-list`, la classe du theme qui resserre deja les listes longues (deck 02, 06, S3, S8). Aucun contenu n'est retire, aucune diapo n'est scindee : les cinq regles et leurs onze puces restent sur la meme page, la table d'equivalences ne bouge pas. Le titre portait « infrence » ; il est corrige en « inference » sur la ligne que ce correctif touche deja. Mesure : 134 diapos exportees avant et apres, 1 debordement -> 0 (encre sur les 6 dernieres lignes : 6,99 % -> 0). Le differentiel des PNG est verifie au sha256 : sur les 134, seul `17.png` change -- le correctif ne touche aucune autre diapo. See #11508 Co-Authored-By: Claude Sonnet 5.5 --- slides/03-logique/slides.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/slides/03-logique/slides.md b/slides/03-logique/slides.md index 29f3c2cda2..cdd4c94d0c 100644 --- a/slides/03-logique/slides.md +++ b/slides/03-logique/slides.md @@ -361,7 +361,9 @@ layout: default --- -# Règles d'infrence +# Règles d'inférence + +
## Modus Ponens @@ -388,6 +390,7 @@ layout: default - NON(NON P) equivaut a P +
Equivalences logiques