T21_9
22 Março 2019, 10:30 • Mário Jorge Edmundo
Substituição e interpretação de um termo numa fórmula, contra-exemplo; existência de variante alfabética; forma normal prenex, exemplos. Linguagem alargada por constantes, exemplos.
22 Março 2019, 10:30 • Mário Jorge Edmundo
Substituição e interpretação de um termo numa fórmula, contra-exemplo; existência de variante alfabética; forma normal prenex, exemplos. Linguagem alargada por constantes, exemplos.