\documentclass[letterpaper,12pt]{article}

\hoffset=-2cm  
\voffset=-2.5cm
\textheight=24cm
\textwidth=17cm
\parindent=0cm
\parskip=0.2cm

%\usepackage[latin1]{inputenc}
\usepackage[spanish,activeacute]{babel}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage[leqno]{amsmath}
\usepackage{amsthm}
%\usepackage{graphicx}
%\usepackage{makeidx}
%\usepackage{oz}
\usepackage{mathpartir}
\usepackage{mathrsfs}
\usepackage{enumerate}
\usepackage[all]{xy}
%\usepackage{ulem}
%\usepackage[pdftex]{hyperref}

\newcounter{chapter}
\usepackage{infteo}

%\usepackage{zed-csp}
\DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}



\begin{document}
\begin{center}
\begin{tabular}{c}
\Large{Matem'aticas Discretas 1 - Grupo 3}\\[1mm]
\Large{Quiz 2}\\[1mm]
\normalsize{Abril 2 de 2008}\\[2mm]
\normalsize{Alumno: \rule{10cm}{.01in}\hspace{1cm} Prof: \textsf{Rodrigo L'opez}}

\end{tabular}
\end{center}

Demuestre el siguiente teorema (puede usar cualquier m'etodo)

\[A\land(C\Rightarrow B)\Rightarrow((B\Rightarrow \neg A)\Rightarrow\neg C)\]
\end{document}
