Consistencia

This post is also available in: Inglés

Consistencia

Un sistema axiomático es consistente si uno no puede deducir con él verdades contradictorias. La consistencia es una propiedad crucial de un sistema axiomático ya que, en lógica clásica, ser capaz de demostrar una proposición y su contraria permite demostrar cualquier cosa. Sin embargo, la consistencia es imposible de demostrar en numerosos sistemas axiomáticos y debe ser dada por descontado.

Share and Enjoy:
  • Digg
  • del.icio.us
  • Facebook
  • Yahoo! Buzz
  • Twitter
  • Google Bookmarks
  • Bitacoras.com
  • Google Buzz
  • Meneame
  • Reddit
  • RSS

Leave a Reply

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>