summaryrefslogtreecommitdiff
path: root/Assignment1/exercises.tex
diff options
context:
space:
mode:
authorCamil Staps2018-04-19 15:08:45 +0200
committerCamil Staps2018-04-19 15:08:45 +0200
commitaddc2942f57bd176fcf93ca3880cffef1d149688 (patch)
treedb912f21a33589efd053d4a6e995c95881c0c549 /Assignment1/exercises.tex
parentMerge branch 'camil' (diff)
Lalala
Diffstat (limited to 'Assignment1/exercises.tex')
-rw-r--r--Assignment1/exercises.tex2
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)