\documentclass{book}


\usepackage[english]{babel}
\usepackage{amssymb,latexsym}
\usepackage[latin1]{inputenc}
\usepackage{dratex,aldratex}
\usepackage{nd}


\newtheorem{oppgave}{Oppgave}


\newenvironment{hint}{\bigskip\textbf{Hint: }\em}{   \bigskip}
\newenvironment{proof}{\bigskip\textbf{Proof: }}{$\blacksquare$\bigskip}

\pagestyle{empty}

\topmargin=-1cm
%\leftmargin=-5cm
\oddsidemargin=-1cm
\evensidemargin=-1cm
\textheight=27cm

\begin{document}

\chapter*{Noen oversettelser}  

\begin{tabular}{rll}
$x$ er et tetraeder & $\ \Rightarrow\ $  & $T(x)$ \\
$x$ er et dodekaeder & $\ \Rightarrow\ $  & $D(x)$ \\
$x$ er en kube & $\ \Rightarrow\ $  & $K(x)$ \\
$x$  er stor & $\ \Rightarrow\ $ & $S(x)$ \\
$x$  er liten & $\ \Rightarrow\ $  & $L(x)$ \\
$x$ er større enn $y$ & $\ \Rightarrow\ $  & $x>y$ \\
$x$ ligger foran $y$ & $\ \Rightarrow\ $  & $F(x,y)$ \\
$x$ ligger til venstre for $y$ & $\ \Rightarrow\ $  & $V(x,y)$ \\
$x$ ligger mellom $y$ og $z$ & $\ \Rightarrow\ $  & $M(x,y,z)$
\end{tabular}

\vskip 40pt


\begin{tabular}{ll}
$\ $ & Et tetraereder er lite \\ $\ \Rightarrow\ $  & $\exists x (T(x) \land L(x))$
\\ \\
$\ $ & Alle tetraedere er store  \\ $\ \Rightarrow\ $  & $\forall x (T(x) \rightarrow S(x))$
\\ \\
 $\ $ &     Hvert tetraeder er stort\\ $\ \Rightarrow\ $  & $\forall x (T(x) \rightarrow S(x))$
 \\ \\
$\ $ & Ingen tetraedere er store  \\ $\ \Rightarrow\ $  & 
$\neg\exists  x (T(x) \land S(x))$
\\ \\
$\ $ & Alle tetraedere er større enn alle kuber \\ $\ \Rightarrow\ $  &
$\forall x (T(x) \rightarrow \forall y(K(y) \rightarrow x>y ))$
 \\ \\
$\ $ & Hvert tetraeder ligger mellom en stor og en liten figur \\ $\ \Rightarrow\ $  & 
$\forall x (T(x) \rightarrow \exists y(S(y) \land \exists z (L(z)\land M(x,y,z))))$
\\ \\
$\ $ & Hvert tetraeder ligger foran en kube som er større enn alle dodekaedere \\ $\ \Rightarrow\ $ &
$\forall x (T(x) \rightarrow \exists y(K(y) \land F(x,y)\land \forall x (D(x)\rightarrow y>x)))$
  \\ \\
$\ $ & Hvert tetraeder ligger foran en kube som ikke er større enn noen figurer \\ $\ \Rightarrow\ $  & 
$\forall x (T(x) \rightarrow \exists y(K(y) \land F(x,y)\land \neg\exists x\ y>x))$
\\ \\
$\ $ & Hvert tetraeder ligger foran en kube som er større enn alle dodekaedere som den ligger til venstre for \\ $\ \Rightarrow\ $  & ???
\end{tabular}


\end{document}

