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.

TP12_18

7 Dezembro 2020, 12:00 • Mário Jorge Edmundo

Não houve aula (tolerância de ponto).

TP13_17

7 Dezembro 2020, 08:00 • Bruno Dinis

A aula não foi dada (tolerância de ponto)