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.