O léxico e a noção de fórmula bem formada. Árvores sintácticas.

9 Novembro 2017, 18:00 • Ricardo Santos

O léxico da linguagem da lógica predicados. A noção de fórmula bem formada (abreviadamente: fbf). O que são regras recursivas. Variáveis livres e variáveis ligadas. Frases abertas e frases fechadas. As árvores sintácticas. Mais exercícios de formalização.