task1.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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}