T_16

15 Novembro 2022, 10:30 • Mário Jorge Edmundo

Forma normal prenexa, exemplos. Skolemização, exemplo. Satisfazibilidade, skolemização e satisfazibilidade.