A afirmação é falsa. Existem outras formas de provar a validade ou invalidade de uma sentença, como a demonstração por contrapositiva, demonstração por absurdo, entre outras. Além disso, nem sempre é possível provar a validade ou invalidade de uma sentença por meio de contra-exemplo, demonstração direta ou demonstração por indução finita.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar