[obm-l] PBO

Fiz uma demonstraçãozinha do PBO, queria opiniões por favor. Teorema: Seja A \in N um conjunto não-vazio. A tem um menor elemento. Demonstração: Suponho que A seja um conjunto não-vazio de números naturais sem um menor elemento.Seja p_{0} \in A. Como A não possui menor elemento, temos que existe

Re: [obm-l] PBO

Na verdade vc precisa usar o princípio da indução pra provar o PBO (é a formalização da sua prova intuitiva). Suponha que A não tem um menor elemento. Seja S o complementar de A. Temos que 0 não está em A, caso contrário 0 seria o menor elemento de A. Então 0 está em S. Assuma que 0,1,...,k estão