Escola Secundria de Pinheiro e Rosa ANO LETIVO 2013/2014

ESCOLA SECUNDRIA DE PINHEIRO E ROSA / MATRIZ DO 1 TESTE DE FILOSOFIA 11ANO/ Outubro de 2013/ 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). ------------------------------------Pginas do Manual: - 13, 14, 16, 18 e 19; - da 19 32; - da 36 38.

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 as noes de argumento e de proposio. Distinguir, com base em exemplos, os argumentos dedutivos dos no dedutivos. Analisar frases, identificando as que expressam proposies. Explicar, a partir de exemplos, o que 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, conectiva, operador proposicional; operador verofuncional e no verofuncional. 9. Conhecer o significado dos smbolos dos cinco operadores verofuncionais estudados pela lgica proposicional e as expresses da linguagem natural equivalentes a cada um deles. 10. Reescrever frases, relativa a cada um dos cinco operadores verofuncionais, na expresso cannica. 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 dadas, o operador principal. 17. Construir tabelas de verdade, aplicando as regras dos cinco operadores e utilizando parntesis. 18. Explicar, a partir da anlise de casos concretos, a noo de comutatividade. 19. Justificar a no comutatividade da condicional. 20. Esclarecer, com base em exemplos, as noes de condio suficiente e condio necessria. 21. Compreender as condies em que uma condicional falsa. 22. Efectuar a negao de formas proposicionais com os cinco operadores. 23. Esclarecer a noo de equivalncia. 24. Verificar, atravs do mtodo das tabelas de verdade, se duas formas proposicionais so logicamente equivalentes. 25. Relacionar a bicondicional com as definies explcitas. 26. Traduzir formas proposicionais da linguagem simblica para a linguagem natural e desta para a linguagem simblica.

Consultar, neste blogue, os links que se encontram a seguir a esta matriz e as etiquetas: Argumento; Lgica; Lgica proposicional Proposio; Validade e Fichas de trabalho.

Bom trabalho!