Tema 3
24 Outubro 2017, 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 direta de uma implicação, demonstração de uma implicação por contra-recíproco, demonstração de uma negação, ex falso quodlibet, demonstração por redução ao absurdo.