1 files changed, 24 insertions, 0 deletions
diff --git a/task1.tex b/task1.tex
new file mode 100644
index 0000000..3816fba
--- /dev/null
+++ b/task1.tex
@@ -0,0 +1,24 @@
+\documentclass{article}
+
+\usepackage[dutch]{babel}
+
+\author{Camil Staps}
+\title{Semantiek \& Correctheid\\\Large{Leertaak 1}}
+
+\usepackage{senc}
+
+\begin{document}
+
+\maketitle
+
+\section*{1.8}
+\begin{alignat*}{3}
+    \B{\lnot(\x=1)}\s &= \tt         && \text{want}\\
+    \B{\x=1}\s        &= \ff         && \text{want}\\
+    \A{\x}\s          &\neq \A{1}\s  && \text{want}\\
+    \s\x              &\neq \N{1}    && \text{want}\\
+    3                 &\neq 1.
+\end{alignat*}
+
+\end{document}
+