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) |