T12 aula 7
11 Outubro 2022, 09:30 • Maria da Purificação Antunes Coelho
Demonstração de uma asserção da forma "Existe x tal que P(x)" (exibindo um objeto do domínio que satisfaz a condição P(x)).
Apresentação de técnicas que podem ser usadas quando temos como objetivo demonstrar uma asserção da forma "Q ou R", com ênfase na estratégia que consiste em supor ~Q e, sob essa suposição, demonstrar R: explicação do método e exemplo ilustrativo.
Demonstrações por absurdo - explicação do método.