A afirmação apresentada é falsa. Podemos provar a validade ou invalidade de uma sentença utilizando outros métodos além de contra-exemplo, demonstração direta e demonstração por indução finita. Existem outros métodos de prova, como prova por contradição, prova por contrapositiva, prova por casos, entre outros.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar