AP13 Completude

4 Abril 2019, 15:30 Maria Cristina De Sales Viana Serôdio Sernadas

Correcção da questão 2 do teste A. Demonstração directa (sem ser por contrareciproco) que se uma fórmula é uma tautologia então é um teorema.