\documentclass[a4paper]{article}
%\usepackage[czech]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
%\usepackage{color}
\usepackage{amssymb,amsmath}
\usepackage{hyperref}

\newtheorem{exercise}{Exercise}[section]

\input ../macros
%\input macrosen

%\input MNCMPslides.tex
\input ../MNCMPpagesaving.tex

%\hypersetup{pdfstartpage=1,pdfpagemode=None} % pdfpagemode=FullScreen
%%\hypersetup{pdftitle=,pdfauthor=,pdfsubject=,pdfkeywords=}

%\usepackage{bigfig}%,thumbpdf}
%\usepackage[coloremph,colormath,display]{texpower}

\newdimen\tmpd
\newbox\verbbox

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\exhyphenpenalty=10000
\renewcommand{\emph}[1]{\textcolor{red}{\bf #1}}
\newcommand{\empha}[1]{\textcolor{blue}{\bf #1}}
%\newcommand{\uv}[1]{\glqq#1\grqq}

\setcounter{section}{7}

%=====================================================
\begin{document}
Exercise from deduction in classical logic.

\begin{exercise}
Try to deduce syntactically the consequence of the following quotations of Bill Gates:
\begin{enumerate}
\item Windows require at least 512 MB RAM.
\item Nobody needs more than 640 kB RAM.
\end{enumerate}
You will need at least one additional statement (known to us), formulating the relations of the two quantities.
\end{exercise}
\end{document}
