====== Aula sobre Lógica Clássical Proposicional - Sintaxe ======

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