Aula teórica 5
2 Outubro 2018, 09:30 • Maria da Purificação Antunes Coelho
Introdução ao estudo dos quantificadores. Asserções da forma "Para todo o x, P(x)" e asserções da forma "Existe x tal que P(x)". Variáveis mudas e variáveis livres. Aplicação de um quantificador numa condição em várias variáveis.