Sumários
Formulas Prenexas
10 Dezembro 2020, 08:00 • Daniela Montrasio
- Exercício 122;
- Exercício 161;
- Mais exemplos de fórmulas prenexas.
- Exercício 118;
- Exercício 132;
Quantificadores Múltiplos
9 Dezembro 2020, 09:30 • Daniela Montrasio
- Miniteste;
- Mais exemplos de traduções com quantificadores múltiplos.
TP13_18
9 Dezembro 2020, 08:00 • Bruno Dinis
1º Mini-teste (para os alunos de número ímpar). Exemplos de termos, fórmulas e sentenças e de traduções de sentenças envolvendo quantificadores.