[18.11.2021] - Início do estudo do Cálculo de Predicados de 1ª Ordem
21 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça
Indivíduos e propriedades.
Constantes predicativas.
Constantes individuais.
Variáveis individuais.
Quantificadores: o quantificador existencial e o quantificador universal.
Variáveis livres e ligadas.
Fórmulas abertas e fechadas.