% (find-angg "LATEX/2010-1-MD-esquemas.tex")
% (find-dn4ex "edrx08.sty")
% (find-angg ".emacs.templates" "s2008a")
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 2010-1-MD-esquemas.tex && latex    2010-1-MD-esquemas.tex"))
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 2010-1-MD-esquemas.tex && pdflatex 2010-1-MD-esquemas.tex"))
% (eev "cd ~/LATEX/ && Scp 2010-1-MD-esquemas.{dvi,pdf} edrx@angg.twu.net:slow_html/LATEX/")
% (defun d () (interactive) (find-dvipage "~/LATEX/2010-1-MD-esquemas.dvi"))
% (find-dvipage "~/LATEX/2010-1-MD-esquemas.dvi")
% (find-pspage  "~/LATEX/2010-1-MD-esquemas.ps")
% (find-pspage  "~/LATEX/2010-1-MD-esquemas.pdf")
% (find-xpdfpage "~/LATEX/2010-1-MD-esquemas.pdf")
% (find-zsh0 "cd ~/LATEX/ && dvipdf         2010-1-MD-esquemas.pdf 2010-1-MD-esquemas.dvi")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 300 -o 2010-1-MD-esquemas.ps 2010-1-MD-esquemas.dvi")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 600 -P pk -o 2010-1-MD-esquemas.ps 2010-1-MD-esquemas.dvi && ps2pdf 2010-1-MD-esquemas.ps 2010-1-MD-esquemas.pdf")
% (find-zsh0 "cd ~/LATEX/ && dvips -D 300 -o tmp.ps tmp.dvi")
% (find-pspage  "~/LATEX/tmp.ps")
% (ee-cp "~/LATEX/2010-1-MD-esquemas.pdf" (ee-twupfile "LATEX/2010-1-MD-esquemas.pdf") 'over)
% (ee-cp "~/LATEX/2010-1-MD-esquemas.pdf" (ee-twusfile "LATEX/2010-1-MD-esquemas.pdf") 'over)
% (find-twusfile     "LATEX/" "2010-1-MD-esquemas")
% http://angg.twu.net/LATEX/2010-1-MD-esquemas.pdf

\documentclass[oneside]{book}
\usepackage[latin1]{inputenc}
\usepackage{edrx08}       % (find-dn4ex "edrx08.sty")
%L process "edrx08.sty"  -- (find-dn4ex "edrx08.sty")
\input edrxheadfoot.tex   % (find-dn4ex "edrxheadfoot.tex")
\begin{document}

\input 2010-1-MD-esquemas.dnt

%*
% (eedn4-51-bounded)

%Index of the slides:
%\msk
% To update the list of slides uncomment this line:
%\makelos{tmp.los}
% then rerun LaTeX on this file, and insert the contents of "tmp.los"
% below, by hand (i.e., with "insert-file"):
% (find-fline "tmp.los")
% (insert-file "tmp.los")

% (code-xpdf "scheinerman" "~/books/__comp/scheinerman__matematica_discreta_uma_introducao.pdf")
% (find-scheinermanpage      1  "Contents")
% (find-scheinermanpage (+ 1 1) "Index")
% (find-scheinermantext "")
% (find-scheinermanpage (+    6  20)  "Esquema de prova 1" "se-então")
% (find-scheinermanpage (+    6  22)  "Esquema de prova 2" "se e somente se")
% (find-scheinermanpage (+    4  25)  "Esquema de prova 3" "contra-exemplo")
% (find-scheinermanpage (+    4  30)  "Esquema de prova 4" "Equivalência lógica pela tabela verdade" "NÃO SCANEADA")
% (find-scheinermanpage (+   -6  51)  "Esquema de prova 5" "provar que dois conjuntos são iguais")
% (find-scheinermanpage (+   -6  52)  "Esquema de prova 6" "provar que um conjunto é subconjunto do outro")
% (find-scheinermanpage (+   -7  57)  "Esquema de prova 7" "prova de afirmações existenciais")
% (find-scheinermanpage (+   -7  58)  "Esquema de prova 8" "prova de afirmações universais")
% (find-scheinermanpage (+   -7  65)  "Esquema de prova 9" "prova combinatória")
% (find-scheinermanpage (+  -24 130)  "Esquema de prova 10" "utilizando inclusão-exclusão")
% (find-scheinermanpage (+  -25 136)  "Esquema de prova 11" "prova pela contrapositiva")
% (find-scheinermanpage (+  -25 138)  "Esquema de prova 12" "prova por contradição")
% (find-scheinermanpage (+  -25 140)  "Esquema de prova 13" "provar que um conjunto é vazio")
% (find-scheinermanpage (+  -25 140)  "Esquema de prova 14" "prova da unicidade")
% (find-scheinermanpage (+  -25 147)  "Esquema de prova 15" "contra-exemplo mínimo")
% (find-scheinermanpage (+  -26 151)  "Esquema de prova 16" "princípio da boa ordenação" "NÃO SCANEADA")
% (find-scheinermanpage (+  -27 158)  "Esquema de prova 17" "indução")
% (find-scheinermanpage (+  -27 160)  "Esquema de prova 18" "indução forte")
% (find-scheinermanpage (+  -27 173)  "Esquema de prova 19" "f:A->B")
% (find-scheinermanpage (+  -27 177)  "Esquema de prova 20" "f é injetiva (um-a-um)")
% (find-scheinermanpage (+  -27 179)  "Esquema de prova 21" "f é sobre(jetiva)"    "NÃO SCANEADA")
% (find-scheinermanpage (+  -27 194)  "Esquema de prova 22" "provar que duas funções são iguais")
% (find-scheinermanpage (+  -69 333)  "Esquema de prova 23" "(G,*) é um grupo")
% (find-scheinermanpage (+  -76 345)  "Esquema de prova 24" "subconjunto é grupo"  "NÃO SCANEADA")
% (find-scheinermanpage (+ -105 417)  "Esquema de prova 25" "eliminação de folhas" "NÃO SCANEADA")
% (find-scheinermanpage (+ -117 522) "Apêndice C. Fundamentos")
% (find-scheinermanpage (+ -118 525) "Esquemas de prova")


\def\esq#1{\text{(esq #1)}}

%:
%:  P,Q|-R       P->Q  Q->P         A(w)∧¬B(w)         A\text{"é"tautologia}
%:  ------\esq1  ----------\esq2  --------------\esq3  ---------------------\esq4
%:  P|-Q->R        P<->Q          ¬ýx.A(x)->B(x)               A
%:
%:  ^esq1          ^esq2          ^esq3                        ^esq4
%:
%:  ýx.xÝA->xÝB  ýx.xÝB->xÝA       ýx.xÝA->xÝB       A(w)  
%:  ------------------------\esq5  -----------\esq6  -------\esq7
%:         A=B                         A=B           Îx.A(x)      
%:                                                                
%:         ^esq5                       ^esq6         ^esq7           
%:
%:  
%:
%:
%:
$$\ded{esq1} \qquad \ded{esq2} \qquad \ded{esq3} \qquad \ded{esq4}$$
$$\ded{esq5} \qquad \ded{esq6} \qquad \ded{esq7}$$



% (find-scheinermanpage (+ -129 493) "Apêndices")
% (find-scheinermanpage (+ -132 493) "Apêndice A. Muitas Sugestões e Comentários, Algumas Respostas")
% (find-scheinermanpage (+ -116 515) "Apêndice B. Glossário")
% (find-scheinermanpage (+ -118 525) "Esquemas de prova")
% (find-scheinermanpage (+ -118 527) "Índice remissivo")






%*

\end{document}

% Local Variables:
% coding:           raw-text-unix
% ee-anchor-format: "«%s»"
% End: