AULA 4
23 Fevereiro 2017, 09:30 • Fernando Ferreira
O teorema da completude forte do cálculo proposicional.
Linguagens do cálculo de predicados. Termos, fórmulas, fórmulas fechadas (sentenças), substituições. A linguagem da aritmética. A linguagem da teoria dos conjuntos.