Está en la página 1de 1

ESCOLA SECUNDRIA TOMS CABREIRA / MATRIZ DO 1 TESTE DE FILOSOFIA 11ANO

Ano letivo:2016/17 / Outubro de 2016 / Durao: 90 minutos / A professora: Sara Raposo


Contedos

1. Racionalidade
argumentativa e
filosofia

1.1. Argumentao
e lgica formal

1.2. A lgica
proposicional
(Percurso B)

Objetivos

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 varivel proposicional e conectiva (ou operador
verofuncional).
10. Conhecer o significado dos smbolos das cinco conetivas estudados pela lgica proposicional e as
expresses da linguagem natural equivalentes a cada uma delas.
11. Reescrever frases na expresso (ou forma) 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. Esclarecer, com base em exemplos, as noes de condio suficiente e condio necessria.
20. Relacionar a bicondicional com as definies explcitas.
21. Traduzir frmulas da linguagem simblica para a linguagem natural e desta para a linguagem simblica.
22. Conhecer a noo de validade formal.
23. Aplicar as noes de tautologia, contradio e contingncia anlise de frmulas lgicas.
24. Testar a validade ou a invalidade dos argumentos (com duas variveis) atravs de tabelas de verdade.
25. Identificar exemplos de formas de inferncia vlidas: modus ponens e modus tollens.
26. 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.
27. Conhecer a noo de falcia formal.
28. Construir argumentos a partir de formas argumentativas vlidas.

Tipo de questes
- Exerccios de lgica
proposicional.
- Escolha mltipla.
- Anlise de exemplos.
- De resposta(s) curta(s).
------------------------------------Pginas do Manual:
- da 9 22;
- da 50 58.
- da 66, 69 e 73

Consultar os links (de


apoio ao estudo) que se
encontram a seguir a esta
matriz ou a 2 pgina
(Toms C 11 ano) no incio
do blogue.

Bom trabalho!

A professora:
Sara Raposo