T21_3

25 Fevereiro 2019, 10:00 • Mário Jorge Edmundo

Linguagens de primeira ordem; termos, interpretação de um termo, variáveis e interpretações de termos; exemplos; fórmulas atómicas, fórmulas, definição de verdade de Tarski.