Prova de Raciocínio Lógico

Objetivos

Esta prova visa à apuração da habilidade do participante para: entender a estrutura lógica de relações arbitrárias entre pessoas, lugares, coisas ou eventos fictícios; deduzir novas informações a partir de relações fornecidas; e avaliar as condições usadas para estabelecer a estrutura daquelas relações.

As questões desta prova poderão tratar dos seguintes tópicos:

1. LÓGICA E RACIOCÍNIO LÓGICO
Problemas envolvendo lógica e raciocínio lógico.

2. PROPOSIÇÕES. CONECTIVOS
Conceito de proposição. Valores lógicos das proposições. Conectivos. Tabela-verdade.

3. OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES
Negação de uma proposição. Conjugação de duas proposições. Disjunção de duas proposições. Proposição condicional. Proposição bicondicional.

4. TABELAS-VERDADE DE PROPOSIÇÕES COMPOSTAS
Construção de Proposições Conjuntas. Tabela-Verdade de Proposições Conjuntas.

5. TAUTOLOGIAS E CONTRADIÇÕES
Definição de tautologia. Definição de contradição.

6. EQUIVALÊNCIA LÓGICA E IMPLICAÇÃO LÓGICA
Equivalência lógica. Propriedades da relação de equivalência lógica. Recíproca, contrária e contrapositiva de uma proposição condicional. Implicação lógica. Princípio de substituição. Propriedade da implicação lógica.

7. ÁLGEBRA DAS PROPOSIÇÕES
Propriedade idempotente. Propriedade comutativa. Propriedade associativa. Propriedade distributiva. Propriedade de absorção. Leis de Morgan.

8. ARGUMENTOS
Conceito de argumento. Validade de um argumento. Critério de validade de um argumento.

9. SENTENÇAS ABERTAS
Sentenças abertas com uma variável. Conjunto-verdade. Sentenças abertas com duas variáveis. Conjunto-verdade de uma sentença aberta com duas variáveis. Sentenças abertas com n variáveis. Conjunto-verdade de uma sentença aberta com n variáveis.

10. OPERAÇÕES LÓGICAS SOBRE SENTENÇAS ABERTAS
Conjunção. Disjunção. Negação.

11. QUANTIFICADORES
Quantificador universal. Quantificador existencial. Negação de proposições contendo Quantificadores. Quantificação parcial e Quantificação múltipla. Existência e unicidade. Conjunto limitados.


Bibliografia sugerida

Observação: Esta bibliografia é apenas sugestiva para a aquisição de conhecimentos, desenvolvimento de habilidades e consulta durante sua PREPARAÇÃO para o TESTE ANPAD. Não garantimos que sua preparação apenas com esta bibliografia o capacite para responder todas as questões do Teste ANPAD.

ALENCAR, Edgar F. Iniciação à lógica matemática. 18ª ed. São Paulo: Livraria Nobel S. A., 2000.

COPI, Irving. Introdução à Lógica. São Paulo: Mestre Jou, 1978.

COSTA, N. da. Ensaio sobre os Fundamentos da Lógica. São Paulo: Hucitec, 1994.

MATES, Benson. Lógica Matemática Elementar. Madrid: Editora Tecnos, 1987.

MORTARI, Cezar A. Introdução à Lógica. Editora da UNESP, 2001.

NAHRA, Cinara, WEBER, Ivan H. Através da lógica. 4ª ed. Petrópolis: Vozes, 2001.

NEWTON-SMITH, W. H. Lógica: um curso introdutório. Lisboa: Editora Gradiva, 1998.

NOLT, John, ROHATYN, Dennis. Lógica. São Paulo: Schaum McGraw-Hill, 1991.

OLIVEIRA, A. J. F. de. Lógica e aritmética. Brasília: Editora UnB, 2004.

SÉRATES, J. Raciocínio lógico: lógico matemático, lógico quantitativo, lógico numérico, lógico analítico, lógico crítico. 5ª ed. Brasília: Gráfica e Editora Olímpica Ltda, 1997.

SOARES, Edvaldo. Fundamentos de Lógica. Elementos de Lógica Formal e Teoria da Argumentação. São Paulo: Atlas S. A., 2003.