Sumários
Aula teórica 27
16 Dezembro 2025, 10:00 • Maria João Antunes Dias Gouveia
Resolução de exercícios sobre quantificadores.
Aula 25
10 Dezembro 2025, 08:00 • Marko Stosic
Bicondicional. Quantificadores.
Aula teórica 25
9 Dezembro 2025, 10:00 • Maria João Antunes Dias Gouveia
As aulas teóricas desta semana serão aulas teórico-práticas onde serão resolvidos os exercícios da ficha 12 marcados com T, essencialmente sobre quantificadores: variáveis, fórmulas e quantificadores; tradução de frases para linguagem simbólica utilizando quantificadores; a importância da posição dos quantificadores; substituição de variáveis mudas; leis de De Morgan para quantificadores; determinação do valor de verdade de sentenças construídas utilizando quantificadores; demonstrações.