Escola Secundria de Pinheiro e Rosa

ANO LETIVO 2014/2015

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

Contedos Objetivos Tipo de questes






1. Racionalidade
argumentativa e
filosofia




1.1. Argumentao
e lgica formal



1.2. A lgica
proposicional
(percurso B)






1. Indicar qual o objeto de estudo da Lgica.
2. Rever as noes de argumento e de proposio (dadas no 10 ano, no tema: os instrumentos lgicos do
pensamento).
3. Distinguir, com base em exemplos, os argumentos dedutivos dos no dedutivos.
4. Conhecer as noes de verdade e validade.
5. Analisar frases, identificando as que expressam proposies.
6. Explicar, a partir de exemplos, o que a forma lgica de uma proposio e de um argumento.
7. Conhecer o objeto de estudo da lgica proposicional.
8. Distinguir, a partir da anlise de frases, proposies simples de proposies complexas ou compostas.
9. Esclarecer, a partir de exemplos, as noes de conetiva, varivel proposicional e operador proposicional
(verofuncional e no verofuncional).
10. Conhecer o significado dos smbolos das cinco conetivas estudados pela lgica proposicional e algumas
das expresses da linguagem natural equivalentes a cada uma delas.
11. Reescrever frases na expresso cannica.
12. Determinar, utilizando o mtodo das tabelas de verdade, as condies de verdade das cinco conetivas.
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, apresentando o respetivo dicionrio (ou interpretao).
16. Identificar, em formas proposicionais dadas, o operador principal.
17. Construir tabelas de verdade 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. Relacionar a bicondicional com as definies explcitas.
22. Traduzir frmulas da linguagem simblica para a linguagem natural e desta para a linguagem simblica.
23. Conhecer a noo de validade dedutiva.
24. Formalizar argumentos com trs variveis.
25. Testar a validade ou a invalidade dos argumentos (com duas e trs variveis) atravs de tabelas de
verdade.
26. Identificar exemplos de formas de inferncia vlidas: modus ponens, modus tollens, contraposio;
silogismo disjuntivo; silogismo hipottico, dilema e leis de De Morgan.
27. 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.
28. Conhecer as noes de validade formal e falcia formal.
29. Identificar, em exemplos, formas argumentativas vlidas e invlidas.
30. Construir argumentos e/ou formas argumentativas vlidas a partir de uma premissa.


- Exerccios de lgica
proposicional.

- Escolha mltipla.

- Itens verdadeiros/
falsos.

- Anlise de exemplos e/ou
de textos.

- De resposta(s) curta(s).
-------------------------------------

Pginas do Manual:

- da 1 18;
- da 40 61.



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!