Révision 270 CSL17/tech-report/completeness.tex
| completeness.tex (revision 270) | ||
|---|---|---|
| 25 | 25 |
\right) \\ |
| 26 | 26 |
\cor & \left( |
| 27 | 27 |
\begin{array}{ll}
|
| 28 |
z\neq 0 |
|
| 28 |
%z \neq 0 |
|
| 29 |
z=\succ{1} p z
|
|
| 29 | 30 |
& \cand\ \forall y^\safe . (A_g (\vec u , \vec x , p z , y) \cimp y=_2 0 ) \\ |
| 30 | 31 |
& \cand\ \forall x^\safe < p z . \forall y^\safe . (A_g (\vec u , \vec x , x , y) \cimp y=_2 1) |
| 31 | 32 |
\end{array}
|
Formats disponibles : Unified diff