Tema: Regras de inferência e estratégias de demonstração

25 Outubro 2016, 09:30 • Mário Jorge Edmundo

Regras de inferência e estratégias de demonstração: substituição; demonstração de uma conjunção; demonstração de uma disjunção; demonstração por casos; demonstração de uma equivalência; demonstração directa de uma implicação.