T_17

4 Dezembro 2020, 09:30 • Mário Jorge Edmundo

Forma normal prenexa, fórmula universal, exemplos; Skolemização, exemplos; Satisfazibilidade, satisfazibilidade e skolemização.