Aula teórica 10

5 Novembro 2020, 11:30 • Maria da Purificação Antunes Coelho

Variáveis livres e variáveis mudas. Aplicação de um quantificador numa condição em várias variáveis. Asserções obtidas a partir de uma condição em várias variáveis por aplicação sucessiva de um quantificador a cada uma dessas variáveis.