Teoremas
Una expresión que se ha demostrado como verdadera con respecto a ´
axiomas, teoremas existentes.
Muchos teoremas se escriben como implicaciones: si
p1,p2,p3,...pn son todas verdaderas (hipótesis), entonces q también lo es En otras palabras, queremos demostrar teoremas de la forma
p1 ∧p2 ∧p3 ∧··· ∧pn ⇒ q.
Axiomas
Es solo una premisa que se asume, con independencia de que sea o no evidente, y que se usa para demostrar otras proposiciones. Actualmente se busca qué consecuencias lógicas comportan un conjunto de axiomas, y de hecho en algunos casos se opta por introducir un axioma o bien su contrario, viendo que ninguna de las dos parece una proposición evidente
No hay comentarios:
Publicar un comentario