Autor Tema: Axiomas y teoremas en lógica matemática

0 Usuarios y 1 Visitante están viendo este tema.

01 Septiembre, 2009, 09:04 pm
Leído 1482 veces

ayax

  • La matematica es la inteligencia en su mas pura expresión.
  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 6
  • Karma: +0/-0
  • Sexo: Masculino
  • Matemática. Inteligencia en su maxima expresión.
Hola compañeros.

Tengo una duda en la que quisiera tener la luz de la certeza.

En la lógica proposicional matematica nos enseñan una cantidad de reglas de inferencia, pero realmente no sé cuales son las reglas que son axiomas y cuales son las reglas que son teoremas y se desprenden de las primeras.
He leido que en lógica proposicional hay sistemas lógicos con axiomas, sin axiomas, o con un número contable infinito y un tal esquema de axiomas, y la verdad no entiendo.

Si alguien me puede aclarar el tema se lo agradeceré enormemente. ;D