T21_8

18 Março 2019, 10:00 • Mário Jorge Edmundo

Equivalência lógica, propriedades; regras de substituição para os conectivos, formal normal conjuntiva e forma normal disjuntiva; regras de substituição para os quantificadores; substituição de uma variável por um termo num termo, substituição e interpretação de um termo, substituição de uma variável por um termo numa fórmula e termo substituível por uma variável numa fórmula.