Raciocínios Lógico/Analítico/Linguístico (Teste ANPAD)
Um mapa completo de todos os tipos de questões que podem ocorrer nas provas.
  
Este curso é relevante para todas as cinco provas do Teste ANPAD. Além da Lógica como matéria fundamental para a prova de Raciocínio Lógico, são resolvidos problemas das provas de Raciocínio Analítico e de Português. Em menor grau — mas somente por falta de espaço neste curso —, são ainda consideradas questões de importância para a prova de Inglês. Muito mais evidentes são as aplicações à Matemática, amplamente exploradas no curso de Raciocínio Quantitativo, o qual é oferecido separadamente (e geralmente logo em seguida).
  
 
Como a Lógica sustenta todas essas disciplinas? Um dos temas centrais da Lógica é o estudo de formas de raciocínio, vistos como processos transformadores de informação. Partindo de certos fatos, sabemos que podemos inferir outros. Mas como se relacionam as premissas e a conclusão em cada tipo de inferência? Quando uma inferência é dedutiva? E indutiva? Como detectar padrões? Como se demonstra uma afirmação? Como descobrir proposições das quais uma outra dada seja consequência lógica?
  
Para responder a questões como essas, temos que examinar como os “fatos” chegam até nós em primeiro lugar. Ora, um modo de apreensão é por meio da linguagem escrita. Importa, pois, investigar a representação da informação nas linguagens naturais (como o português e o inglês). Contudo, por carregar o fardo descomunal de expressar todas as nossas experiências, a linguagem pode facilmente nos distrair e iludir. Como separar os elementos lógico, gramatical e retórico do discurso? Ambiguidade, vaguidade, polissemia, redundância, indexicais, contextos opacos (não extensionais), implicaturas, contradições, polaridade, sintaxe, semântica, análise, síntese — esses e outros fascinantes assuntos têm que ser sistematicamente compreendidos para que possamos tirar proveito da linguagem como um meio confiável de transmissão dos nossos pensamentos.
  
Apresentado em 4 cadernos, este curso se destaca dos demais do seu gênero não só pelo justo relevo que confere à Linguística para o estudo da Lógica, mas também pela preocupação com aspectos pragmáticos como a eficiência dos algoritmos ensinados: nossa meta é que se aprenda a resolver quase todo problema em dois minutos no máximo.
  
Carlos César de Araújo
Caderno I
 • Parte I. Identificação de Padrões  
• Reconhecimento de Padrões (I) 
• Parte II. Lógica e Linguística (noções semânticas) 
• Ambiguidade e Vaguidade • Sinonímia e Paráfrase • Redundância 
• Parte III. Proposições e Sentenças Abertas  
• O conceito de Proposição • Proposições Singulares e Relacionais • Proposições com Quantificadores • Recíproca de “Todo A é B” • Conectivos Proposicionais • Sentenças Abertas 
• Parte IV. Negação de Proposições 
• *Oposições • Negação • Dupla Negação • Negação de Desigualdades • Negação de “Todo A é B” • Negação de “Algum A é B” • Negação de “Nenhum A é B” • Relação entre “Nenhum” e  “Todo” 
• Parte V. Introdução ao Conceito de Inferência 
• A Relação de Acarretamento 
• Parte VI. Conjunções e Disjunções  
• Conjunção (∧) • Disjunção (∨) • Relações entre Quantificadores e Conectivos • Conjuntos (I) • Lógica e Linguística: • Escopo da Negação • Lógica e Linguística: • Conjunções Adversativas • Leis de De Morgan • Circuitos Lógicos 
• Parte VII. Proposições Condicionais  
• Condicional (material) • Lógica e Linguística: “Se” não Condicional • A Tabela-Verdade do Condicional • Condicional Falso • Condicional Verdadeiro • Recíproca do Condicional • “Se” como condicional inverso • Contrapositiva • O Significado da Contrapositiva • Inferindo a Contrapositiva • Contrapositiva da Recíproca • Condicional e Outros Conectivos • Negação de Condicionais • Raciocínio Analítico •  Questões Erradas • Boa-formação • *English Problems 
Caderno 2
 • Parte I. Proposições Bicondicionais  
• A Locução “Somente se” • Bicondicional • Necessidade e Suficiência • Negação de Bicondicionais • Raciocínio Analítico • Precedência dos Conectivos 
• Parte II. A Forma Normal Disjuntiva 
• FND • ∨ em Função de → • Negação de ∧ em Função de → • Importação-Exportação 
• Parte III. Simbolização dos Quantificadores  
• O Quantificador ∀ • O Quantificador ∃ • O Quantificador “nenhum” • Lógica e Linguística: • Negação Pleonástica • Negação de Proposições Quantificadas • Problemas Variados 
• Parte IV. Teoria dos Conjuntos 
• Diagramas de Euler • Conjunto-Verdade • Conjuntos (II) 
• Parte V. Quantificadores Múltiplos  
• Quantificação Múltipla • Negação Proposições Multiplamente Quantificadas 
• Parte VI. Verdades e Falsidades Lógicas  
• Tautologias • Contradições e Contingências • Raciocínio Analítico 
• Parte VII. Inferência e Argumentação  
• O Conceito de Argumento • Simbolização de Argumentos • Validade e Consequência Lógica • Refutação por Contraexemplo • Argumento Correto • Lógica e Linguística • Raciocínio Analítico •  Questões Erradas • Descrições Definidas • Quantificação sobre Conjuntos Finitos • Relações Binárias • English Problems 
Caderno 3
 • Parte I: Argumentação  • Caracterizações de Validade • Falácias 
• Parte II. • Inferência a Partir de ∧ • Inferência a Partir de ∨: •Silogismo Disjuntivo • ∧ acarreta ∨ 
• Parte III: Premissas com  • Premissas Condicionais Universais • Silogismo Hipotético 
• Parte IV: Premissas Condicionais • Modus Ponens • Modus Tollens • Dilema • Dedução de Condicionais • Conclusões Triviais (I) • Conclusão Tautológica • Miscelânea (problemas variados) 
• Parte V: Tipos de Inferência  • Dedução vs Indução 
• Parte VI: Parte VI: Premissas com ∀ ou ∃
• Particularização Universal • Premissas Singulares • ∀ Acarreta ∃ (pressuposição existencial) • Premissas Universais e Existenciais • Conclusões Triviais (II) • Conjuntos (III) • Lógica e Linguagem (III) • Raciocínio Analítico 
• Parte VII: Identificação de Argumentos válidos  
• Cálculo Proposicional • Cálculo de Predicados • Força Dedutiva • Raciocínio Analítico • Redução ao Absurdo •  Questões Anuladas ou Erradas • *English Problems 
Caderno 4
 • Parte I: Álgebra da Lógica 
• Leis Distributivas •  Erros de Gabarito • Identidades Lógicas 
• Parte II: Problemas Verdade-Mentira 
• Verazes e Mentirosos 
• Parte III: Contagem Booleana 
• Apenas Uma Falsa • Apenas Uma Verdadeira (I) • Apenas Uma Verdadeira (II) • Apenas Uma Verdadeira (III) • Mais de Uma Verdadeira 
• Parte IV: Raciocínio com Relações 
• Inferências Simples • Matrizes de Permutação • Raciocínio Relacional • Relações de Ordem • Reconhecimento de Ordenações • Inferência de Ordenações • Questões Erradas • Relações de Parentesco 
• Parte V: 
• Paradoxos • Reconhecimento de Padrões (II) • Criptogramas • Raciocínio Mecânico 
Bibliografia
• Carnap, R. Introduction to Symbolic Logic and its Applications. New York: Dover Publications, Inc, 1958
• Gamut, L.T.F. Logic, Language, and Meaning, Volume 1: Introduction to Logic. Chicago: University of Chicago Press, 1991.
• Gamut, L.T.F. 1991. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. Chicago: University of Chicago Press, 1991.
• Lepore, E.. Meaning and Argument. An Introduction to Logic through Language. Oxford: Blackwell, 2000
• Rosser, J. Barkley. Logic for mathematicians, McGraw-Hill, New York, 1953.
Carlos César de Araújo
  Gregos & Troianos Educacional
 Gregos & Troianos Educacional
E-mail: cca@gregosetroianos.mat.br
Tel: (31) 3283-1122
 
Cel: (31) 95312151
Cel: (31) 85049321
Skype: 