Tema: Lógica proposicional.
Duração: 45 minutos.
Estrutura: diversos exercícios
de lógica (itens de resposta curta e itens de resposta restrita).
Objetivos:
1. Explicar o que é uma conetiva (ou operador) proposicional.
2. Distinguir proposições simples e compostas.
3. Nomear as conetivas proposicionais consideradas
pela lógica proposicional: negação, conjunção, disjunção (inclusiva e
exclusiva), condicional e bicondicional.
4. Identificar a forma canónica e algumas formas
alternativas de cada conetiva proposicional.
5. Reescrever frases com conetivas proposicionais de
modo a que as proposições sejam expressas de modo canónico.
6. Identificar e usar os símbolos representativos das
conetivas proposicionais (constantes lógicas).
7. Saber o que são variáveis proposicionais.
8. Fazer o dicionário de proposições dadas.
9. Formalizar proposições dadas.
10. Reconhecer o âmbito das conetivas proposicionais
usadas numa proposição.
11. Compreender a tabela de verdade de cada operador
proposicional.
12. Compreender o que são condições suficientes e
condições necessárias.
13. Determinar as condições de verdade de proposições
compostas através da construção de tabelas de verdade.
14. Negar proposições condicionais.
