Sumários
Skolemização, Formulas Prenexas e Quantificadores Multiplos.
17 Dezembro 2020, 08:00 • Daniela Montrasio
- Revisão de Skolemização, Formulas Prenexas e Quantificadores Multiplos.
- Mais exemplos de traduções com quantificadores múltiplos.
- Mais exemplos de formulas prenexas;
- Mais exemplos de Skolemização.
Skolemização e Formulas Prenexas
16 Dezembro 2020, 09:30 • Daniela Montrasio
- Exemplos de skolemização;
- Exercício 169;
- Exercício 168;
TP13_20
16 Dezembro 2020, 08:00 • Bruno Dinis
Exemplos de formas normais prenexas e skolemização. Resolução dos exercícios 132, 168 e 169.
T_19
15 Dezembro 2020, 10:30 • Mário Jorge Edmundo
A regra de inferência introdução do quantificador universal; exemplos de demonstrações (informal e formal); contra-exemplos; mais exemplos de demonstrações formals (incluindo uma das segundas leis de de Morgan).
TP11_19
15 Dezembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (quantificações múltiplas); Exercícios 99, 122, 127, 161.