T12 aula 6

6 Outubro 2022, 11:30 • Maria da Purificação Antunes Coelho

Leis de De Morgan para quantificadores. Asserções obtidas a partir de uma condição em várias variáveis, aplicando um quantificador a cada uma dessas variáveis.