Ano letivo: 2020/2021
Duração: 90 minutos.
Objetivos:
1.	Nomear e explicar as relações lógicas contidas no Quadrado da Oposição.
2.	Determinar o valor de verdade de proposições dadas tendo em conta o Quadrado da Oposição.
3.	Negar proposições universais, particulares e singulares.
4.	Explicar o que é uma conetiva (ou operador) proposicional.
5.	Distinguir proposições simples e compostas.
6.	Nomear as conetivas proposicionais consideradas pela lógica proposicional: negação, conjunção, disjunção (inclusiva e exclusiva), condicional e bicondicional.
7.	Identificar a forma canónica e algumas formas alternativas de cada conetiva proposicional.
8.	Reescrever frases com conetivas proposicionais de modo a que as proposições sejam expressas de modo canónico.
9.	Identificar e usar os símbolos representativos das conetivas proposicionais (constantes lógicas).
10.	Dizer o que são variáveis proposicionais.
11.	Fazer o dicionário de proposições dadas.
12.	Formalizar proposições dadas.
13.	Reconhecer o âmbito das conetivas proposicionais usadas numa proposição.
14.	Explicar a tabela de verdade de cada operador proposicional.
15.	Explicar o que são condições suficientes e condições necessárias.
16.	Determinar as condições de verdade de proposições compostas através da construção de tabelas de verdade.
17.   Negar proposições condicionais.
18.	Explicar o que são argumentos.
19.	Distinguir argumentos e não argumentos.
20.	Identificar as premissas e a conclusão de argumentos dados.
21.	Descobrir premissas ocultas.
22.	Colocar argumentos na forma canónica.
Para estudar:
Fotocópias.
PDF’s.

 
 
Sem comentários:
Enviar um comentário