Re: En: [obm-l] Primos

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxxxx>]

On Mon, Apr 01, 2002 at 12:26:16PM -0300, Jose Francisco Guimaraes Costa wrote:
> N,
> 
> V provou que se n é composto, então 2^n-1 é composto. A partir daí, é válido
> dizer que se 2^n-1 é primo então n é primo, que foi a pergunta original? Por
> que?

Claro, é logicamente equivalente. Isto se chama a contrapositiva. []s, N.
=========================================================================
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
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================