T_15
3 Dezembro 2021, 09:30 • Mário Jorge Edmundo
Fórmulas logicamente equivalentes; propriedades da equivalência lógica. Regras de substituição para fórmulas. Contra-exemplos. Exemplos: traduções equivalentes.
3 Dezembro 2021, 09:30 • Mário Jorge Edmundo
Fórmulas logicamente equivalentes; propriedades da equivalência lógica. Regras de substituição para fórmulas. Contra-exemplos. Exemplos: traduções equivalentes.