% (find-LATEX "2026logica-para-pessoas.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2026logica-para-pessoas.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2026logica-para-pessoas.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page      "~/LATEX/2026logica-para-pessoas.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2026logica-para-pessoas.pdf"))
% (defun e () (interactive) (find-LATEX "2026logica-para-pessoas.tex"))
% (defun l () (interactive) (find-LATEX "2026logica-para-pessoas.lua"))
% (defun o () (interactive) (find-LATEX "2025adapting-lean-tuts.tex"))
% (defun u () (interactive) (find-latex-upload-links "2026logica-para-pessoas"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2026logica-para-pessoas.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun oe () (interactive) (find-2a '(o) '(e)))
%          (code-eec-LATEX "2026logica-para-pessoas")
% (find-pdf-page   "~/LATEX/2026logica-para-pessoas.pdf")
% (find-sh0 "cp -v  ~/LATEX/2026logica-para-pessoas.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2026logica-para-pessoas.pdf /tmp/pen/")
%     (find-xournalpp "/tmp/2026logica-para-pessoas.pdf")
%   file:///home/edrx/LATEX/2026logica-para-pessoas.pdf
%               file:///tmp/2026logica-para-pessoas.pdf
%           file:///tmp/pen/2026logica-para-pessoas.pdf
%  http://anggtwu.net/LATEX/2026logica-para-pessoas.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-cps   "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-anggs "Caepro5 Piecewise2 Maxima2")
% (find-MM-aula-links "2026logica-para-pessoas" "2" "wld2026" "lpp")
%
% https://mail.google.com/mail/u/0/#sent/FMfcgzQdzmZVqVgnLFsXqLtXZjRTHvCW Convite do Wacs

% «.screenshotdimens»	(to "screenshotdimens")
% «.geometries»		(to "geometries")
% «.screenshotgeometry»	(to "screenshotgeometry")
% «.defs»		(to "defs")
% «.defs-T-and-B»	(to "defs-T-and-B")
% «.defs-caepro»	(to "defs-caepro")
% «.defs-pict2e»	(to "defs-pict2e")
% «.defs-maxima»	(to "defs-maxima")
% «.defs-V»		(to "defs-V")
% «.title»		(to "title")
% «.links»		(to "links")
% «.example-6»		(to "example-6")
%
% «.tres-alunos»	(to "tres-alunos")
% «.tres-alunos-2»	(to "tres-alunos-2")
% «.zumbis»		(to "zumbis")
% «.feynman»		(to "feynman")
% «.halmos»		(to "halmos")
% «.titulares»		(to "titulares")
%
% «.make-with-bib»	(to "make-with-bib")

%newpage %-- defs

\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
\usepackage{colorweb}                  % (find-es "tex" "colorweb")
%\usepackage{tikz}
%
% (find-LATEX "dednat7-test1.tex")
%\usepackage{proof}   % For derivation trees ("%:" lines)
%\input diagxy        % For 2D diagrams ("%D" lines)
%\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx21}               % (find-LATEX "edrx21.sty")
\input edrxaccents.tex            % (find-LATEX "edrxaccents.tex")
\input edrx21chars.tex            % (find-LATEX "edrx21chars.tex")
\input edrxheadfoot.tex           % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex               % (find-LATEX "edrxgac2.tex")
%
% (find-es "tex" "geometry")
% «screenshotdimens»   (to ".screenshotdimens")
% Based on: (emacsconf2021a "screenshotdimens")
\newdimen\slidewidth
\slidewidth=15cm
\slidewidth=10.5cm
\slidewidth=16cm
\usepackage[paperwidth=\slidewidth,
            paperheight=0.625\slidewidth,
            top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
           ]{geometry}
%
\usepackage[backend=biber,
   style=alphabetic]{biblatex}    % (find-es "tex" "biber")
\addbibresource{catsem-ab.bib}    % (find-LATEX "catsem-ab.bib")
\addbibresource{education.bib}    % (find-LATEX "education.bib")
%
\begin{document}
%   ____                           _        _           
%  / ___| ___  ___  _ __ ___   ___| |_ _ __(_) ___  ___ 
% | |  _ / _ \/ _ \| '_ ` _ \ / _ \ __| '__| |/ _ \/ __|
% | |_| |  __/ (_) | | | | | |  __/ |_| |  | |  __/\__ \
%  \____|\___|\___/|_| |_| |_|\___|\__|_|  |_|\___||___/
%                                                       
% «geometries»          (to ".geometries")
% «screenshotgeometry»  (to ".screenshotgeometry")
% (find-LATEX "2021emacsconf.tex" "geometries")
% (find-es "tex" "pagestyle")
\savegeometry{original}
\newgeometry{top=0cm, left=0cm, right=0cm, ignoreheadfoot, bottom=0cm}
\savegeometry{screenshot}
\loadgeometry{original}
%
\def\originalgeometry{
  \loadgeometry{original}
  \setlength{\parindent}{18pt}
  \pagestyle{headings}}
\def\screenshotgeometry{
  \loadgeometry{screenshot}
  \setlength{\parindent}{0cm}
  \pagestyle{empty}}

% «defs»  (to ".defs")
% (find-LATEX "edrx21defs.tex" "colors")
% (find-LATEX "edrx21.sty")

\def\drafturl{http://anggtwu.net/LATEX/2025-2-C2.pdf}
\def\drafturl{http://anggtwu.net/2025.2-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}

% (find-LATEX "2024-1-C2-carro.tex" "defs-caepro")
% (find-LATEX "2024-1-C2-carro.tex" "defs-pict2e")

\catcode`\^^J=10
\directlua{dofile "dednat7load.lua"}  % (find-LATEX "dednat7load.lua")
\directlua{dednat7preamble()}         % (find-angg "LUA/DednatPreamble1.lua")
\directlua{dednat7oldheads()}         % (find-angg "LUA/Dednat7oldheads.lua")

% «defs-T-and-B»  (to ".defs-T-and-B")
\long\def\ColorDarkOrange#1{{\color{orange!90!black}#1}}
\def\T(Total: #1 pts){{\bf(Total: #1)}}
\def\T(Total: #1 pts){{\bf(Total: #1 pts)}}
\def\T(Total: #1 pts){\ColorRed{\bf(Total: #1 pts)}}
\def\B       (#1 pts){\ColorDarkOrange{\bf(#1 pts)}}

% «defs-caepro»  (to ".defs-caepro")
%L dofile "Caepro5.lua"              -- (find-angg "LUA/Caepro5.lua" "LaTeX")
\def\Caurl   #1{\expr{Caurl("#1")}}
\def\Cahref#1#2{\href{\Caurl{#1}}{#2}}
\def\Ca      #1{\Cahref{#1}{#1}}

% «defs-pict2e»  (to ".defs-pict2e")
%L dofile "Piecewise2.lua"           -- (find-LATEX "Piecewise2.lua")
%L --dofile "Escadas1.lua"           -- (find-LATEX "Escadas1.lua")
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\celllower=2.5pt

% «defs-maxima»  (to ".defs-maxima")
%L dofile "Maxima2.lua"              -- (find-angg "LUA/Maxima2.lua")
\pu

% «defs-V»  (to ".defs-V")
%L --- See: (find-angg "LUA/MiniV1.lua" "problem-with-V")
%L V = MiniV
%L v = V.fromab
\pu

\def\SLIDE#1{{\bf #1}}


\newpage %-- title

%  _____ _ _   _                               
% |_   _(_) |_| | ___   _ __   __ _  __ _  ___ 
%   | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \
%   | | | | |_| |  __/ | |_) | (_| | (_| |  __/
%   |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___|
%                      |_|          |___/      
%
% «title»  (to ".title")
% (wld2026p 1 "title")
% (wld2026a   "title")

\thispagestyle{empty}

\begin{center}

\vspace*{1.2cm}

\begin{tabular}{c}
{\Large {\bf Lógica pra pessoas  que sabem}} \\[4pt]
{\Large {\bf resolver $2+x=5$ mas não sabem}} \\[4pt]
{\Large {\bf substituir $x$ por $3$ em $2+x=5$}} \\[4pt]
\\[-9pt]
\ColorGray{(World Logic Day 2026)}\\[-5pt]
\\[-9pt]
%          https://anggtwu.net/math-b.html#2026-wld
{\tiny\url{https://anggtwu.net/math-b.html\#2026-wld}}\\[8pt]
Eduardo Ochs - RCN/PURO/UFF
\end{tabular}

\end{center}

\newpage %-- links

% «links»  (to ".links")
% (wld2026p 2 "links")
% (wld2026a   "links")

{\bf Links}

\scalebox{0.6}{\def\colwidth{16cm}\firstcol{
}\anothercol{
}}


\newpage %-- example-6

% «example-6»  (to ".example-6")
% (wld2026p 99 "example-6")
% (wld2026a    "example-6")

\SLIDE{example-6}

\def\eqnp         #1{\overset{\scriptscriptstyle(#1)}{=}}
\def\Eqn          #1{\eqnp{#1}}                            % temporary
\def\lstandout  #1#2{\standout{${#2}$}_{\text{#1}}}
\def\luastandout#1#2{\lstandout{#1}{#2}}                   % temporary
\def\Eqn          #1{\luastandout {=#1} {\eqnp{#1}}}

%L standout_no = function (tag) return "" end
%L standout_sl = function (tag) return format("\\lstandout {%s}", tag) end
%L standout_s  = function (tag) return format("\\lstandout {}",   tag) end
%L luastandout = function (tag)
%L     if tag:match"^E"      then return standout_no(tag) end
%L     if tag:match"^[LR]4$" then return standout_s (tag) end
%L     if tag:match"^[LR]6$" then return standout_sl(tag) end
%L     return ""
%L   end
%L
%L standoutspec = {{"^E","no"}, {"^[LR]4$","s"}, {"^[LR]6$","sl"}, {"","no"}}
%L luastandout = function (tag)
%L     for _,pair in ipairs(standoutspec) do
%L       local re,kind = pair[1]:gsub("_","$"),pair[2]
%L       if tag:match(re) then return _G["standout_"..kind](tag) end
%L     end
%L     return standout_sl(tag)
%L   end
%L
%L standout_eq_Es = function (n)
%L     standoutspec = {{"^[E=]"..n.."_","s"}, {"^E"..(n+1).."_","s"}, {"","no"}}
%L   end
%L standout_eq_LR = function (n)
%L     standoutspec = {{"^[LR=]"..n.."_","s"}, {"","no"}}
%L   end
\pu
\def\luastandout #1{\expr{ luastandout("#1")   }}
\def\standoutspec#1{\eval{ standoutspec = {#1} }}

\standoutspec{{"^E","no"}, {"^[LR]4$","s"}, {"^[LR]6$","sl"}, {"","no"}}
\standoutspec{{"=4","sl"}, {"[LR]4","s"}, {"[LR][67]","sl"}, {"","no"}}
\standoutspec{{"^E","no"}, {"^[LR]1_","s"}, {"^[LR][67]_","sl"}, {"","no"}}
\standoutspec{{"","s"}}

\eval{standout_eq_Es(2)}
\eval{standout_eq_LR(3)}


% (find-LATEX "edrx21.sty" "dednat6")


\sa{example 6 defs}{
  \sa {E1} {\luastandout {E1} {\luastandout {L1} {((6x^3)(7x^4))'}}}
  \sa {E2} {\luastandout {E2} {\luastandout {R1} {\luastandout {L2} {\ddx((6x^3)(7x^4))}}}}
  \sa {E3} {\luastandout {E3} {\luastandout {R2} { (6x^3)\ddx(7x^4) + (7x^4) \luastandout {L3} {\ddx(6x^3)} }}}
  \sa {E4} {\luastandout {E4} {(6x^3)\ddx(7x^4) + (7x^4) · \luastandout {R3} {6 · \luastandout {L4} {\ddx x^3}}}}
  \sa {E5} {\luastandout {E5} {(6x^3)\ddx(7x^4) + (7x^4) · \luastandout {L5} {6 · \luastandout {R4} {3 x^2}}}}
  \sa {E6} {\luastandout {E6} {(6x^3) \luastandout {L6} {\ddx(7x^4)} + (7x^4) \luastandout {R5} {(18x^2)}}}
  \sa {E7} {\luastandout {E7} {(6x^3)·\luastandout {R6} {7 \luastandout {L7} {\ddx x^4}} + (7x^4)(18x^2)}}
  \sa {E8} {\luastandout {E8} {(6x^3)·\luastandout {L8} {7·\luastandout {R7} {4x^3}} + (7x^4)(18x^2)}}
  \sa {E9} {\luastandout {E9} {(6x^3) \luastandout {R8} {(28x^3)} + \luastandout {L9} {(7x^4)(18x^2)}}}
  \sa {E10} {\luastandout {E10} {\luastandout {L10} {(6x^3)(28x^3)} + \luastandout {R9} {126x^6}}}
  \sa {E11} {\luastandout {E11} {\luastandout {L11} {\luastandout {R10} {168x^6} + 126x^6}}}
  \sa {E12} {\luastandout {E12} {\luastandout {R11} {294x^6}}}
}

\ga{example 6 defs}

\sa{example 6 array rcl}{
  \begin{array}{rcl}
  \ga{E1} & \Eqn{1} & \ga{E2} \\
          & \Eqn{2} & \ga{E3} \\
          & \Eqn{3} & \ga{E4} \\
          & \Eqn{4} & \ga{E5} \\
          & \Eqn{5} & \ga{E6} \\
          & \Eqn{6} & \ga{E7} \\
          & \Eqn{7} & \ga{E8} \\
          & \Eqn{8} & \ga{E9} \\
          & \Eqn{9} & \ga{E10} \\
          & \Eqn{10} & \ga{E11} \\
          & \Eqn{11} & \ga{E12} \\
  \end{array}
  }

\scalebox{0.6}{\def\colwidth{9cm}\firstcol{
  $$\sa{example 6 array rcl}$$
}}



\newpage %-- tres-alunos

% «tres-alunos»  (to ".tres-alunos")
% (wld2026p 99 "tres-alunos")
% (wld2026a    "tres-alunos")

\SLIDE{Termos improvisados: três alunos imaginários}

\def\Steve{\standout{S}teve}
\def\Tiago{\standout{T}iago}
\def\Victor{\standout{Vic}tor}

\scalebox{0.75}{\def\colwidth{14cm}\firstcol{

O \Steve{} é um aluno \standout{S}em base.

O \Tiago{} é um aluno \standout{T}otalmente sem base.

O \Victor{} é um aluno \standout{Vic}iado em ChatGPT.

\bsk
\bsk

O \Steve{} não sabe, ou não lembra, coisas como $e^a e^b = e^{a+b}$...

Mas o \Steve{} sabe fazer boas perguntas.

O \Steve{} é ótimo, e turmas cheias de \Steve{}s são maravilhosas.

\bsk

O \Tiago{} acha que Matemática é decorar métodos.

O \Tiago{} acha que Matemática é decorar métodos {\sl o mais rápido possível}.

O \Tiago{} sabe resolver $2+x=5$, mas quando a gente pede pra ele
testar as contas dele ele só sabe fazer as mesmas contas de novo.
Idéias como ``prova real'' e ``substituir $x$ por 3'' não fazem
sentido pra ele.

Lidar com turmas cheias de \Tiago{}s já era desesperador \& apavorante...

\bsk

...e agora a gente tem turmas cheias de \Victor{}s, o que é 1000× pior.

}\anothercol{
}}


\newpage %-- tres-alunos-2

% «tres-alunos-2»  (to ".tres-alunos-2")
% (wld2026p 99 "tres-alunos-2")
% (wld2026a    "tres-alunos-2")

\SLIDE{Termos improvisados: três alunos imaginários (2)}

\scalebox{0.7}{\def\colwidth{18cm}\firstcol{

O \Steve{} é um aluno \standout{S}em base.

O \Tiago{} é um aluno \standout{T}otalmente sem base.

O \Victor{} é um aluno \standout{Vic}iado em ChatGPT.

\bsk

O \Victor{} nunca fala comigo nas aulas. As minhas aulas têm uma parte
pequena expositiva e o resto é exercícios e discussão, e quando eu
passo pelo grupo do \Victor{}, que tem ele e os amigos $A_1$ e $A_2$,
eles só dizem que não têm dúvida nenhuma não, que tá tudo bem.

\msk

Na prova o \Victor{} chegou no resultado certo na questão 2 mas a
solução dele tinha um passo sem pé nem cabeça igualzinho ao do $A_1$.
Eu dou 0 pra ele nessa questão.

\msk

Na vista de prova eu peço pra ele me explicar aquilo, e ele só diz
coisas como ``Tá igual ao livro! TÁ IGUAL! TÁ IGUAL!!!'' e ``na hora
eu sabia, mas agora eu esqueci!!!''

\msk

Eu gravo essa cena na câmera do celular, e gravo o dia em que o pai
dele vem gritar comigo. Eu digo pra ele fazer um Requerimento de
Revisão de Prova (que vai ter uma banca com professores do meu
departamento) e uma reclamação na Coordenação de Curso (no depto de
Engenharia de Produção). Eu registro tudo, porque eu estou
colecionando provas de que tanto o meu departamento quanto a EP estão
infestados de zumbis.

\msk

Eu ACHO que o Victor e os amigos dele são viciados em ChatGPT, mas eu
não tenho provas.

}\anothercol{
}}


\newpage %-- zumbis

% «zumbis»  (to ".zumbis")
% (wld2026p 99 "zumbis")
% (wld2026a    "zumbis")

\SLIDE{Termos improvisados: zumbis}

\scalebox{0.75}{\def\colwidth{8cm}\firstcol{

{}

O meu campus tá cheio de professores que ``não têm tempo'' de ler nada
e nem de abrir link nenhum.

\msk

Eu precisava de um termo curto pra me referir a eles, e eu aprendi que
quando a gente não encontra um termo bom a gente pode usar um termo
improvisado, engraçado, {\sl avisando que é um termo temporário e que
  a gente tá usando ele \ColorRed{enquanto não encontra outro termo
    melhor}.}

\msk

Eu resolvi chamar os professores que ``não têm tempo'' de ler nada e
nem de abrir link nenhum de ``\standout{zumbis}''.

}\anothercol{

{}

Pra mim -- \ColorRed{PRA MIM} -- ser zumbi deveria ser incompatível
com ser um professor universitário numa universidade federal de
renome.

\msk

Agora o meu campus tá infestado de zumbis.

Isso é o \standout{Apocalipse Zumbi}.

\msk

O meu departamento tinha um cara 100\% lúcido, íntegro, e confiável --
o Walter.

O Walter virou um zumbi.

Isso é o \standout{Sinal do Apocalipse}.


}}


\newpage %-- feynman

% «feynman»  (to ".feynman")
% (wld2026p 99 "feynman")
% (wld2026a    "feynman")
% (find-TH "2025-feynman")

\SLIDE{Feynman}


\newpage %-- halmos

% «halmos»  (to ".halmos")
% (wld2026p 99 "halmos")
% (wld2026a    "halmos")
% (find-books "__analysis/__analysis.el" "sfard" "29" "For example, Paul Halmos recalls")

\SLIDE{Halmos}

\scalebox{0.9}{\def\colwidth{6.5cm}\firstcol{

{}

(From \cite[p.29]{Sfard}:)

\bsk

I was a student, sometimes pretty good and sometimes less good.
Symbols didn't bother me. I could juggle them quite well... [but] I
was stumped by the infinitesimal subtlety of epsilonic analysis. I
could read analytic proofs, remember them if I made an effort, and
reproduce them, sort of, but I didn't really know what was going on.

\bsk

(...)

\bsk


}\anothercol{

One afternoon something happened. I remember standing at the
blackboard in Room 213 of the mathematics building talking with Warren
Ambrose \ColorRed{and suddenly I understood epsilons}. I understood
what limits were, and all of the stuff that people had been drilling
into me became clear. I sat down that afternoon with the calculus
textbook by Granville, Smith, and Longley. \ColorRed{All of that stuff
  that previously had not made any sense became obvious.}

}}






\newpage %-- titulares

% «titulares»  (to ".titulares")
% (wld2026p 99 "titulares")
% (wld2026a    "titulares")

\SLIDE{Dois professores titulares}

\scalebox{0.6}{\def\colwidth{9cm}\firstcol{

{}

Agora o meu departamento tem dois professores titulares, o Walter
Machado Pinheiro e Etel Gimba, e os dois são zumbis...

\msk

Em 2022.1, quando as aulas voltaram a ser presenciais, a Etel, que era
a minha chefe de departamento na época, me disse pra eu dar provas
finais extras pras minhas turmas no ``período de ajustes'' no início
do semestre seguinte, e depois ela abriu um processo administrativo
contra mim...

\msk

Esse processo era tão mal feito que a única acusação bem documentada
dele era que eu dei essas provas finais extras, que violavam um montão
de regras. Eu mostrei pra banca do processo administrativo que foi a
Etel que inventou e pediu essas provas finais extras, e levei uma
advertência por ter seguido ordens absurdas, e só.

\msk

Era pra esse processo ter terminado em 2023 mas falta a banca preparar
uns últimos documentos






}\anothercol{
}}




%newpage %-- footer







\GenericWarning{Success:}{Success!!!}  % Used by `M-x cv'

\end{document}

%newpage %-- make-with-bib
% «make-with-bib»  (to ".make-with-bib")
% (misa "make-arxiv")

 (eepitch-shell)
 (eepitch-kill)
 (eepitch-shell)
cd ~/LATEX/

which biber
biber --version
make -f 2019.mk STEM=2026logica-para-pessoas veryclean
lualatex             2026logica-para-pessoas.tex
biber                2026logica-para-pessoas
lualatex             2026logica-para-pessoas.tex

# (find-pdf-page   "~/LATEX/2026logica-para-pessoas.pdf")

% (find-pdfpages2-links "~/LATEX/" "2026logica-para-pessoas")


% Local Variables:
% coding: utf-8-unix
% outline-regexp: "[%\\\\]newpage %--"
% ee-tla: "lpp"
% ee-tla: "wld2026"
% End:

