Explicar como escrever fórmulas bem formadas:

• Proposições (frases) como símbolos
• Conjunto de átomos
• Linguagem
• 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 a 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