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. Tabela-verdade. 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. Conjuntoverdade 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.