diff options
| author | David A. Madore <david+git@madore.org> | 2025-12-15 19:34:33 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2025-12-15 19:34:33 +0100 |
| commit | b647e32baffbeccd87a8d15bff4044007669306b (patch) | |
| tree | 283bc870a1868369ed45a8e5227023c98ba46008 | |
| parent | 9e00a04747f4096b53e1a1c67609150266b6acda (diff) | |
| download | inf110-lfi-b647e32baffbeccd87a8d15bff4044007669306b.tar.gz inf110-lfi-b647e32baffbeccd87a8d15bff4044007669306b.tar.bz2 inf110-lfi-b647e32baffbeccd87a8d15bff4044007669306b.zip | |
| -rw-r--r-- | transp-inf110-03-quantif.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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$, |