AULA 21

2 Dezembro 2016, 09:30 • Fernando Ferreira

Quadrado da oposição: a negação de uma universal afirmativa é uma particular negativa e a negação duma universal negativa é uma particular afirmativa. Mais leis lógicas de quantificadores. Exemplos de traduções. Quantificações múltiplas: a ordem dos quantificadores (quando diferentes) interessa.