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.
Funções proposicionais.