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.