Unidade 1 - Lógica Formal - Percurso B: Lógica ou Cálculo Proposicional
Objectivos:
ser capaz de resolver as seguintes questões/ realizar as seguintes tarefas
1. O
que é a lógica?
2. O
que é a lógica formal?
3. O
que é a lógica proposicional?
4. O
que distingue a verdade da validade no domínio da lógica?
5. Definir
termo, proposição e argumento
6. Identificar
argumentos dedutivos
7. Identificar
argumentos não dedutivos
8. Justificar
o termo conector verofuncional
9. Enunciar
os seis conectores lógicos
10. Enunciar
os valores de verdade (valores lógicos) de cada um dos seis conectores estudados
11. Formalizar
simbolicamente argumentos dedutivos
12. Avaliar
argumentos dedutivos usando a tabela de verdade
13. Avaliar
argumentos dedutivos usando o método do inspector de circunstâncias
14. Ser
capaz de negar proposições simples e proposições complexas resultantes do uso
dos cinco conectores verofuncionais
15.
Identificar/exemplificar os argumentos modus ponens e o modus
tollens, contraposição, leis de Morgan Silogismo disjuntivo, silogismo
hipotético
16. Identificar,
explicar e justificar a falácia da afirmação do consequente e a falácia da
afirmação do antecedente
17.
estabelecer equivalências e oposições entre proposições complexas.
