\documentclass[10pt,a4paper,portrait]{article}
\usepackage[pdftex]{graphicx}
\usepackage{drs}
%\usepackage{fullpage}
%\usepackage[normalleading,normalsections]{savetrees}
\usepackage{url}

\begin{document}
\begin{center}
Discourse \\
0440949 Andreas van Cranenburgh \\
{\em Sun Mar  1 13:48:36 CET 2009}
\end{center}


\section*{C}
Stel we hebben:

\drs{ }{K $\Rightarrow$ K'}

En we willen dit herschrijven zonder implicatie. Dit kan als volgt:

$K \Rightarrow K'$ is gelijk aan $\neg K \vee K'$ {\em (implicatie eliminatie)} \\
$\neg K \vee K'$ kan herschreven worden als $\neg(K \wedge \neg K')$ {\em (de Morgan)}

Het resultaat is:

\drs{ }{\negdrs{ }{K, $\neg$ K'}}

\section*{D}
\subsection*{Iedere jongen die Maria mag geeft haar een cadeau}
Deze zin kan op twee manieren worden gelezen. De voor de hand liggende manier
is dat er voor elke jongen die Maria mag een cadeau is:

\drs{ }
{\negdrs{ }{ \drs{x}{jongen(x) \\ mag(x, maria)} \negdrs{y}{cadeau(y) \\ geeft(x, maria, y)}}}

Maar het kan ook dat er een enkel, specifiek cadeau bedoelt wordt, dat samen
gegeven wordt:

\drs{ }
{\negdrs{ }{ \drs{x, y}{jongen(x) \\ mag(x, maria) \\ cadeau(y)} \negdrs{ }{geeft(x, maria, y)}}}


\subsection*{Geen boer die een ezel heeft heeft geen paard}{ }{

%\drs{}
%{\negdrs{x, y}{boer(x) \\ ezel(y) \\ heeft(x, y)} 
%$\Rightarrow$
%\negdrs{z}{paard(z) \\ heeft(x, z)}}
%
%Het kan ook zonder implicatie:

\drs{}
{\negdrs{x}{boer(x) \\ 
\drs{y}{ezel(y) \\ heeft(x, y)}
\negdrs{z}{paard(z) \\ heeft(x, z)}}}

\end{document}
