> Desculpa, mas parei no (A). > Teria algum exemplo concreto de (A)? > Não acompanho estes livros nem estes canais no YouTube (apesar de eu ter um > canal no YouTube, bem pequeno, por sinal, não costumo ver vídeos no YouTube).
Obrigado pela reação, Alfredo! Não tenho exemplos concretos a listar, infelizmente, pois me recusei a ver os ditos vídeos, por puro mau feitio... 8-/ Mas ele me garantiu que o dito procedimento é comuníssimo na comunidade matemática (brasileira?), e que "não é possível que eu não tenha visto isso centenas de vezes em sala de aula, na graduação". Posso de todo modo pedir para o meu colega fazer uma listinha. O único exemplo específico que eu me lembro de ele ter citado na nossa conversa foi uma justificação da estratégia dedutiva de *contraposição* através da verificação de uma tabela de verdade envolvendo implicação e negação. Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiW656nRcNWrAXwUymtZ5znH7PiqJy9_zLa0njQ2P8rxw%40mail.gmail.com.