Sintaxe do C. Predicados
7 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Quantificadores.O quantificador universal e o quantificador existencial
Âmbito de um quantificador.
Constantes individuais.
Variáveis livres e ligadas.
Variáveis livres e ligadas.
Funções proposicionais.