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. Dar o conjunto. 5 fórmulas. 3 com 2 conectivos diferentes, uma com 3 conectivos, outra com 4 conectivos. Use todos os átomos no conjunto das fórmulas.

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

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

Exercício: Com as fórmulas do exercício anterior, desenhar a árvore de análise e calcular a complexidade.

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

Exercício: Calcular o conjunto de subfórmulas da fórmula mais complexa do exercício anterior. 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 da segunda fórmula mais complexa do exercício anterior.

(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