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.