Prova de Raciocnio Lgico

Objetivos
Esta prova visa apurao da habilidade do candidato para: entender a estrutura
lgica de relaes arbitrrias entre pessoas, lugares, coisas ou eventos
fictcios;deduzir novas informaes a partir de relaes fornecidas; e avaliar as
condies usadas para estabelecer a estrutura daquelas relaes.
As questes desta prova podero tratar dos seguintes tpicos:
1. LGICA E RACIOCNIO LGICO
Problemas envolvendo lgica e raciocnio lgico.
2. PROPOSIES. CONECTIVOS
Conceito de proposio. Valores lgicos das proposies. Conectivos. Tabelaverdade.
3. OPERAES LGICAS SOBRE PROPOSIES
Negao de uma proposio. Conjugao de duas proposies. Disjuno de duas
proposies. Proposio condicional. Proposio bicondicional.
4. TABELAS-VERDADE DE PROPOSIES COMPOSTAS
Construo de Proposies Conjuntas. Tabela-Verdade de Proposies Conjuntas.
5. TAUTOLOGIAS E CONTRADIES
Definio de tautologia. Definio de contradio.
6. EQUIVALNCIA LGICA E IMPLICAO LGICA
Equivalncia lgica. Propriedades da relao de equivalncia lgica. Recproca,
contrria e contrapositiva de uma proposio condicional. Implicao lgica.
Princpio de substituio. Propriedade da implicao lgica.
7. LGEBRA DAS PROPOSIES
Propriedade idempotente. Propriedade comutativa. Propriedade associativa.
Propriedade distributiva. Propriedade de absoro. Leis de Morgan.
8. ARGUMENTOS
Conceito de argumento. Validade de um argumento. Critrio de validade de um
argumento.
9. SENTENAS ABERTAS
Sentenas abertas com uma varivel. Conjunto-verdade. Sentenas abertas com
duas variveis. Conjunto-verdade de uma sentena aberta com duas variveis.

Sentenas abertas com n variveis. Conjunto-verdade de uma sentena aberta

com n variveis.
10. OPERAES LGICAS SOBRE SENTENAS ABERTAS
Conjuno. Disjuno. Negao.
11. QUANTIFICADORES
Quantificador universal. Quantificador existencial. Negao de proposies
contendo Quantificadores. Quantificao parcial e Quantificao mltipla.
Existncia e unicidade. Conjunto limitados.
Observao: No permitido o uso de qualquer aparelho eletrnico, como
calculadoras, agendas, relgios digitais, pagers, celulares e beeps.

Bibliografia sugerida
ALENCAR, Edgar F. Iniciao lgica matemtica. 18 ed. So Paulo: Livraria Nobel
S. A., 2000.
COPI, Irving. Introduo Lgica. So Paulo: Mestre Jou, 1978.
COSTA, N. da. Ensaio sobre os Fundamentos da Lgica. So Paulo: Hucitec, 1994.
MATES, Benson. Lgica Matemtica Elementar. Madrid: Editora Tecnos, 1987.
MORTARI, Cezar A. Introduo Lgica. Editora da UNESP, 2001.
NAHRA, Cinara, WEBER, Ivan H. Atravs da lgica. 4 ed. Petrpolis: Vozes, 2001.
NEWTON-SMITH, W. H. Lgica: um curso introdutrio. Lisboa: Editora Gradiva,
1998.
NOLT, John, ROHATYN, Dennis. Lgica. So Paulo: Schaum McGraw-Hill, 1991.
OLIVEIRA, A. J. F. de. Lgica e aritmtica. Braslia: Editora UnB, 2004.
SRATES, J. Raciocnio lgico: lgico matemtico, lgico quantitativo, lgico
numrico, lgico analtico, lgico crtico. 5 ed. Braslia: Grfica e Editora Olmpica
Ltda, 1997.
SOARES, Edvaldo. Fundamentos de Lgica. Elementos de Lgica Formal e Teoria da
Argumentao. So Paulo: Atlas S. A., 2003.