Aula teórica 9

15 Outubro 2019, 09: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.