Explicar como escrever fórmulas bem formadas:

• Proposições (frases) como símbolos
• Conjunto de átomos
• Linguagem: conectivos e suas aridades
• Regras (indutivas) de formação
  • Apenas é bem formada uma expressão escrita a partir das regras de formação

Exercício: Escrever fórmulas bem formadas

Explicar como calcular o tamanho (complexidade) de uma fórmula bem formada

Exercício: Calcular o tamanho (complexidade) de fórmulas bem formadas

Explicar como calcular o conjunto de subfórmulas de uma fórmula bem formada

Exercício: Calcular o conjunto de subfórmulas de fórmulas bem formadas

Explicar como calcular o conjunto de subfórmulas próprias de uma fórmula bem formada

Exercício: Calcular o conjunto de subfórmulas próprias de fórmulas bem formadas

Explicar como desenhar a árvore de análise de uma fórmula bem formada

Exercício: Desenhar a árvore de análise de uma fórmula bem formada

(OPCIONAL) Mostrar software para:

• Desenhar árvore de análise de uma fórmula bem formada
• Calcular o tamanho (complexidade) de fórmulas bem formadas

(OPCIONAL) Mostrar software que testa conhecimentos dx alunx nos temas acima.

(OPCIONAL) Ver questões de provas anteriores.

(OPCIONAL) Há questões no ENADE/POSCOMP??

Discutir a importância do estudo da sintaxe de Lógica Clássica Proposicional