this is for holding javascript data
Mazdak Farrokhzad edited Ex3.b.tex
over 9 years ago
Commit id: bd17d9f910991cf3d53bd565e02cab8366cc759b
deletions | additions
diff --git a/Ex3.b.tex b/Ex3.b.tex
index ebca41e..3e02cf1 100644
--- a/Ex3.b.tex
+++ b/Ex3.b.tex
...
\rule{1} \iff & Q &\to& \wp{res := 0}{(n_0 > 0 \to (res + n_0m_0 = n_0m_0) \a n_0 \geq 0) \a \\ (n_0 \leq 0 \to (res + n_0m_0 = n_0m_0) \a -n_0 \geq 0)}\\
\rule{1} \iff & Q &\to& (n_0 > 0 \to (n_0m_0 = n_0m_0) \a n_0 \geq 0) \a\\
& & & (n_0 \leq 0 \to (n_0m_0 = n_0m_0) \a -n_0 \geq 0)\\
\iff & Q &\to& (n_0 > 0 \to n_0 \geq 0) \a (n_0 \leq 0 \to -n_0 \geq 0)\\
\iff & Q &\implies & \T
\end{split}
\end{equation}