T_12
23 Novembro 2021, 10:30 • Mário Jorge Edmundo
Linguagens de primeira ordem, variáveis, termos, exemplos, notação prefixa/infixa. Fórmulas atómicas, exemplos, notação prefixa/infixa. Fórmulas, quantificador universal, quantificador existencial, exemplos.