Your SlideShare is downloading. ×
  • Like
Axiomas de peano para nat
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Now you can save presentations on your phone or tablet

Available for both IPhone and Android

Text the download link to your phone

Standard text messaging rates apply

Axiomas de peano para nat

  • 69 views
Published

Axiomas de Peano para nat (Curso de Matemática Estructural y Lógica - Universidad de los Andes)

Axiomas de Peano para nat (Curso de Matemática Estructural y Lógica - Universidad de los Andes)

Published in Education
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
69
On SlideShare
0
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
0
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. Axiomas de Peano para Nat1Def A (Axiomas de Peano para nat)El conjunto de los número naturales nat, expresado en términos de 0y una función sucesor, cumple los siguientes axiomas:at  atS : n → na   at0 ∈ n // es un elemento de nat0b ∀n at | .n  at)( : n : S ∈ n // Si está en , su sucesor también lo están atnc ∀n at | S.n  = )( : n :   / 0 // El no es sucesor de ningún número natural0d ∀n at | S.n  S.m  n  )( : n =   :   = m // esS 1 − 1e ∀A | 0 ∀n  | .n  )  A  nat)( : 2nat∈ A ⋀ ( : A : S ∈ A :   =  1Resumen de notas de clase curso de Matemática Estructural y Lógica (Ingeniería de Sistemas y Computación - Universidad de los Andes)