diff options
| -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$, |