benedicto-conceicao-gesser documents

1 Resolução. 2 Equivalências de 1 a Ordem As leis de equivalência lógica permitem simplificar fórmulas da Lógica de 1a Ordem em fórmulas equivalentes,
Documents 1 Resolução. 2 Equivalências de 1 a Ordem As leis de equivalência lógica permitem simplificar fórmulas da Lógica de 1a Ordem em fórmulas equivalentes,