AT06 Metateoremas

7 março 2018, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do metateorema da dedução. Metateorema da contradição. Sufórmula. Metateorema da substituição de equivalentes.