Révision 232

CSL17/arithmetic.tex (revision 232)
103 103 
%	\item $\basic$;
104 104 
%	\item $\cpind{\Sigma^\safe_i } $:
105 105 
%\end{itemize}
106 
and a particular inference rule, called $\rais$, for closed formulas $\forall x. \exists y. A$:
106 
and a particular inference rule, called $\rais$, for closed formulas $\forall \vec x. \exists y. A$:
107 107 
\[
108 108 
 \dfrac{\proves \forall \vec x^\normal . \exists  y^\safe .  A }{ \proves \forall \vec x^\normal .\exists y^\normal . A}
109 109 
\]

Formats disponibles : Unified diff