[obm-l]

["Victor Luiz" <victorluiz16@xxxxxxxxxxxx>]

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
=========================================================================