T14
5 Novembro 2019, 10:30 • Mário Jorge Edmundo
Variáveis, termos, exemplos (notação prefixa e notação infixa); Fórmulas atómicas, exemplos (notação prefixa e notação infixa); Fórmulas, quantificador universal, quantificador existencial, exemplos de fórmulas e respectivas traduções na linguagem natural.