Tema: regras de inferência e estratégias de demonstração
27 Outubro 2016, 11:30 • Mário Jorge Edmundo
Regras de inferência e estratégias de demonstração: demonstração de uma implicação por contra-recíproco; silogismo hipotético; demonstração de uma negação; demonstração por redução ao absurdo; demonstração de uma proposição existêncial ou universal; demonstração por indução.