No caso de provas mais simples como provar que o quadrado de um n�mero qualquer n�o pode ser negativo eu posso dizer que simplesmente que se:
k^2 >= 0 k >= 0/k k >= 0 Ou eu teria de usar a tabela verdade para esse caso? Obrigado. ========================================================================= Instru��es para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================
