From b502e5e42660f45f4ca4595f8063d015fed572bb Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 20:01:20 +0100
Subject: start task 1

---
 task1.tex | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 task1.tex

(limited to 'task1.tex')

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}
+
-- 
cgit v1.2.3

