T_15

11 Novembro 2022, 09:30 • Mário Jorge Edmundo

Fórmulas logicamente equivalentes, propriedades. Regras de substituição para fórmulas, incluindo: regras para os quantificadores. Contra-exemplos e exemplos de traduções equivalentes.