ESCOLA SECUNDRIA DE PINHEIRO E ROSA / MATRIZ DO 1 TESTE DE FILOSOFIA 11ANO/ Outubro de 2012/ Durao: 90 minutos/ A professora: Sara Raposo

Contedos Objetivos Tipo de questes - Exerccios de lgica proposicional. - Escolha mltipla. - Itens verdadeiros/ falsos. - Anlise de exemplos e/ou de textos. - De resposta(s) curta(s). ------------------------------------- Manual: Pgs. 13, 14, 16 e 18; 19 42; 44 46 e 47 (exerccios).

1. Racionalidade argumentativa e filosofia

1. 2. 3. 4. 5. 6. 7. 8.

1.1. Argumentao e lgica formal

1.2. A lgica proposicional (percurso B)

Indicar qual o objeto de estudo da Lgica. Esclarecer a noo de argumento e de proposio. Distinguir, com base em exemplos, os argumentos dedutivos dos no dedutivos. Analisar frases, identificando as que expressam proposies. Explicar em que consiste a forma lgica de uma proposio e de um argumento. Conhecer o objeto de estudo da lgica proposicional. Distinguir, a partir da anlise de frases, proposies simples de proposies complexas ou compostas. Esclarecer, a partir de exemplos, os conceitos de varivel proposicional e operador proposicional; operador verofuncional e no verofuncional. 9. Conhecer o significado e os smbolos dos cinco operadores verofuncionais estudados pela lgica proposicional e as expresses da linguagem natural equivalentes a cada um deles. 10. Reescrever frases na expresso cannica (relativa a cada um dos cinco operadores verofuncionais). 11. Explicar em que consiste uma tabela de verdade e qual a sua funo. 12. Determinar, utilizando tabelas de verdade, as condies de verdade dos cinco operadores verofuncionais. 13. Distinguir, a partir de exemplos, um operador unrio de um binrio. 14. Determinar, a partir da anlise de exemplos, se uma disjuno inclusiva ou exclusiva. 15. Formalizar as proposies expressas em frases (onde se utilizem os cinco operadores verofuncionais), apresentando o respetivo dicionrio (ou interpretao). 16. Identificar, em formas proposicionais simples e complexas, o mbito dos operadores e o operador principal. 17. Construir tabelas de verdade, aplicando as regras dos cinco operadores e utilizando parntesis. 18. Conhecer as noes de condio necessria, condio suficiente e comutatividade, aplicando-as anlise de casos concretos. 19. Traduzir formas argumentativas da linguagem simblica para a linguagem natural e desta para a linguagem simblica. 20. Reescrever os argumentos na forma cannica. 21. Esclarecer a funo dos inspetores de circunstncias e as condies em que um argumento vlido. 22. Construir inspetores de circunstncias com duas e trs variveis. 23. Testar a validade formal de argumentos proposicionais atravs de inspetores de circunstncias. 24. Identificar exemplos de formas de inferncia vlidas: modus ponens, modus tollens, contraposio; silogismo disjuntivo; silogismo hipottico, dilema e leis de De Morgan. 25. Distinguir, a partir da anlise de exemplos, as falcias formais (da negao da antecedente e da afirmao da consequente) das formas vlidas do modus ponens e do modus tollens.

- Consultar, no blogue Dvida Metdica, as etiquetas: Argumento; Lgica; Lgica proposicional Proposio; Validade e Fichas de trabalho.

Bom trabalho!