Aula teórica 6

4 Outubro 2018, 11:30 • Maria da Purificação Antunes Coelho

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.