T_13

17 Novembro 2020, 10:30 • Mário Jorge Edmundo

Fórmulas de uma LPO, o quantificador universal, o quantificador existencial; Exemplos de fórmulas e respectiva tradução na linguagem natural, formas aristotélicas; Nota sobre parênteses, exemplos; Variáveis livres, exemplos, sentenças de uma LPO.