diff options
author | Camil Staps | 2018-04-19 15:08:45 +0200 |
---|---|---|
committer | Camil Staps | 2018-04-19 15:08:45 +0200 |
commit | addc2942f57bd176fcf93ca3880cffef1d149688 (patch) | |
tree | db912f21a33589efd053d4a6e995c95881c0c549 /Assignment1/exercises.tex | |
parent | Merge branch 'camil' (diff) |
Lalala
Diffstat (limited to 'Assignment1/exercises.tex')
-rw-r--r-- | Assignment1/exercises.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment1/exercises.tex b/Assignment1/exercises.tex index ba056d5..930119b 100644 --- a/Assignment1/exercises.tex +++ b/Assignment1/exercises.tex @@ -91,7 +91,7 @@ \begin{answer}% \footnote{Note that this is slightly different from the version in \citet[p. 4]{Markey2003}. The limit on the leftmost $\wedge$ has $i\in[1,n]$ rather than $i\in[0,n]$ in the original paper. - We believe this to be an error, because otherwise $a_0$ is a free variable.} %TODO do you agree? + We believe this to be an error, because otherwise $a_0$ is a free variable.} \[\phi_n(\sigma) = \bigwedge_{\substack{a_i\in\{\top,\bot\}\\i\in[0,n]}} \left[ \left(\lozenge(\bigwedge\nolimits_{i=0}^n p_i=a_i)\right) |