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.

© 2002-2016, Matemática para Gregos & Troianos - Exames ANPAD/ANPEC/POSCOMP

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).

© 2002-2016, Matemática para Gregos & Troianos - Exames ANPAD/ANPEC/POSCOMP © 2002-2016, Matemática para Gregos & Troianos - Exames ANPAD/ANPEC/POSCOMP

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?

© 2002-2016, Matemática para Gregos & Troianos - Exames ANPAD/ANPEC/POSCOMP

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.

© 2002-2016, Matemática para Gregos & Troianos - Exames ANPAD/ANPEC/POSCOMP

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.

© 2002-2016, Matemática para Gregos & Troianos - Exames ANPAD/ANPEC/POSCOMP

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
E-mail: cca@gregosetroianos.mat.br
Tel: (31) 3283-1122
Cel: (31) 95312151
Cel: (31) 85049321
Skype: SkypeMe™!