asds
2.Justificar a importância da lógica formal.
3.Distinguir proposição, frase e valor de verdade.
4.Compreender por que só as frases declarativas expressam proposições.
5.Mostrar o que se entende por valor de verdade.
6.Definir argumento.
7.Identificar e esclarecer (no argumento) premissas e conclusão; indicadores de premissas e de conclusão.
8.Compreender a importância da estrutura ou forma do argumento.
9.Mostrar que a validade é independente da verdade: a validade aplica-se apenas ao argumento, a verdade à proposição.
10.Compreender o interesse da validade dedutiva para uma argumentação correcta.
11.Distinguir argumentos válidos de não válidos.
12.Relacionar validade e solidez dos argumentos: sólidos e não sólidos.
13.Identificar argumentos válidos, sólidos e cogentes.
14.Reconstruir argumentos na sua forma canónica ou padrão.
15.Compreender o significado de validade dedutiva enquanto relação entre valor de verdade (das proposições) e a estrutura ou forma (de um argumento).
16.Esclarecer a noção de forma lógica e de conteúdo de uma proposição ou um argumento.
17.Compreender a noção de proposição categórica na lógica aristotélica.
18.Identificar e esclarecer as quatro formas lógicas aristotélicas: A, E, I, O.
19.Classificar as proposições categóricas quanto à quantidade e qualidade.
20.Classificar os elementos da proposição quanto à distribuição.
21.Identificar e esclarecer a estrutura ou forma canónica do silogismo: termo maior, menor e médio.
22.Reconhecer a validade da dedução silogística ou silogismo: regras dos termos e proposições.
23.Identificar e explicitar as falácias formais.
24.Reconstruir silogismos na sua forma canónica.
25.Classificar os silogismos em figuras e modos.