\documentclass [fleqn]{article}

\setlength {\overfullrule }{1mm}

\usepackage{latexsym}

\setlength{\parindent}{0em}

\setlength{\parskip}{1ex}

\usepackage{graphicx}

\usepackage[dvipdfm=true]{hyperref}

\hypersetup{pdfpagemode=none}

\hypersetup{pdfstartpage=1}

\hypersetup{pdfstartview=FitBH}

\hypersetup{pdfpagescrop={120 130 490 730}}

\hypersetup{pdftitle=Logiweb dictionary of problemtwo}

\hypersetup{colorlinks=true}

\everymath{\rm}

\begin {document}\raggedright

\makebox [0mm][l]{\makebox [\linewidth ][r]{\includegraphics [0mm,18.5mm][16.5mm,19mm]{/home/disk07/grue/logiweb/20060417/html/logiweb/doc/logiweb.eps}}}%
{\bf {\Large Logiweb dictionary of $\rm 
\mbox{problemtwo}$}}

\vspace {12.5mm}

\href {../index.html}{Up}
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/browser/dictionary/index.html}{Help}


\newlength{\idlength}
\settowidth{\idlength}{99}
\newlength{\aritylength}
\settowidth{\aritylength}{99}
\vspace{2ex}
\makebox[\idlength][r]{0}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{problemtwo}$

\makebox[\idlength][r]{1}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{2}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{3}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{4}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{5}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{6}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{7}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{8}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{9}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{10}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{11}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{12}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{13}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{14}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{15}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{16}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{17}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{18}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{19}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\if \relax \csname lgwprooflinep\endcsname L_o \else
\if \relax \csname lgwello\endcsname
\global \advance \lgwproofline by 1
\xdef \lgwello {L\ifnum \lgwproofline <10 0\fi \number \lgwproofline }
\fi \lgwello \fi $

\makebox[\idlength][r]{20}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pred calc}$

\makebox[\idlength][r]{21}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc1}$

\makebox[\idlength][r]{22}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc2}$

\makebox[\idlength][r]{23}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc3}$

\makebox[\idlength][r]{24}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc4}$

\makebox[\idlength][r]{25}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc5}$

\makebox[\idlength][r]{26}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc6}$

\makebox[\idlength][r]{27}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc7}$

\makebox[\idlength][r]{28}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc8}$

\makebox[\idlength][r]{29}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc9}$

\makebox[\idlength][r]{30}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc10}$

\makebox[\idlength][r]{31}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc11}$

\makebox[\idlength][r]{32}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pc12}$

\makebox[\idlength][r]{33}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pcmp}$

\makebox[\idlength][r]{34}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pcunsound}$

\makebox[\idlength][r]{35}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pcded}$

\makebox[\idlength][r]{36}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pcia}$

\makebox[\idlength][r]{37}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pcie}$

\makebox[\idlength][r]{38}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pcdeduction}$

\makebox[\idlength][r]{39}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{trivia}$

\makebox[\idlength][r]{40}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{trivia2}$

\makebox[\idlength][r]{41}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{iatest}$

\makebox[\idlength][r]{42}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{andintro}$

\makebox[\idlength][r]{43}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{andelim1}$

\makebox[\idlength][r]{44}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{andelim2}$

\makebox[\idlength][r]{45}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{orintro1}$

\makebox[\idlength][r]{46}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{orintro2}$

\makebox[\idlength][r]{47}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{orelim}$

\makebox[\idlength][r]{48}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{notintro}$

\makebox[\idlength][r]{49}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{notnotintro}$

\makebox[\idlength][r]{50}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{notnotelim}$

\makebox[\idlength][r]{51}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{mt}$

\makebox[\idlength][r]{52}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{pbc}$

\makebox[\idlength][r]{53}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{repeat}$

\makebox[\idlength][r]{54}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{lem}$

\makebox[\idlength][r]{55}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{forallintro}$

\makebox[\idlength][r]{56}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{forallelim}$

\makebox[\idlength][r]{57}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{existsintro}$

\makebox[\idlength][r]{58}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{existselim}$

\makebox[\idlength][r]{59}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{bottomelim}$

\makebox[\idlength][r]{60}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{lemnotintro}$

\makebox[\idlength][r]{61}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv0}$

\makebox[\idlength][r]{62}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv1}$

\makebox[\idlength][r]{63}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv2}$

\makebox[\idlength][r]{64}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv3}$

\makebox[\idlength][r]{65}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv4}$

\makebox[\idlength][r]{66}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv5}$

\makebox[\idlength][r]{67}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{0}%
\makebox[0.5em]{}%
$\rm 
\mbox{nontriv6}$

\makebox[\idlength][r]{68}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast \equiv \ast$

\makebox[\idlength][r]{69}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast = \ast$

\makebox[\idlength][r]{70}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{1}%
\makebox[0.5em]{}%
$\rm \neg \ast$

\makebox[\idlength][r]{71}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast \wedge \ast$

\makebox[\idlength][r]{72}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast \vee \ast$

\makebox[\idlength][r]{73}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \forall \ast . \left(\ast\right)$

\makebox[\idlength][r]{74}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \exists \ast . \left(\ast\right)$

\makebox[\idlength][r]{75}%
\makebox[0.5em]{}%
\makebox[\aritylength][r]{2}%
\makebox[0.5em]{}%
$\rm \ast \in \ast$

\vspace{2ex}

{\em \href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/compiler/index.html}{The pyk compiler},
version 0.grue.20060417+
by
\href {http://www.diku.dk/~grue/index.html}{Klaus Grue}\\
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/misc/time.html}{GRD-2006-07-12.UTC:19:00:11.024866} = 
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/misc/time.html}{MJD-53928.TAI:19:00:44.024866} = 
\href {http://www.diku.dk/~grue/logiweb/20060417/logiweb/doc/misc/time.html}{LGT-4659447644024866e-6}
}

\end{document}

