Sintaxe do Cálculo
15 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Sintaxe do Cálculo:
Letras predicativas (de unárias a n-árias).
Constantes e variáveis individuais.
Variáveis individuais livres e ligadas.
Os quantificadores: universal e existencial.
Fórmulas abertas e fechadas.
Importação de todo o aparato do Cálculo Proposicional.