From b647e32baffbeccd87a8d15bff4044007669306b Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 15 Dec 2025 19:34:33 +0100
Subject: Thinko.

---
 transp-inf110-03-quantif.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/transp-inf110-03-quantif.tex b/transp-inf110-03-quantif.tex
index 61063b9..95f05f2 100644
--- a/transp-inf110-03-quantif.tex
+++ b/transp-inf110-03-quantif.tex
@@ -747,7 +747,7 @@ généralement omise (elle peut se lire sur la formule).
 \itempoint Une \textbf{formule} (logique) est (inductivement) :
 \begin{itemize}
 \item l'application $A^{(n)}(x_1,\ldots,x_n)$ d'une variable
-  propositionnelle à $n$ variables d'individus,
+  de prédicat à $n$ variables d'individus,
 \item l'application d'un connecteur : $(P\Rightarrow Q)$, $(P\land
   Q)$, $(P\lor Q)$ où $P,Q$ sont deux formules, ou encore $\top$,
   $\bot$,
-- 
cgit v1.2.3