T_2a
27 Setembro 2022, 11:30 • Mário Jorge Edmundo
Linguagens de primeira ordem, termos, fórmulas atómicas, fórmulas, variáveis livres, exemplos; interpretação de um termos, exemplos, variáveis e interpretações de termos; definição de verdade de Tarski, exemplos, variáveis e verdade.