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.
