Desde los antiguos geómetras griegos, quien dice matemáticas dice demostración. Una demostración es un razonamiento que, a partir de unos principios o axiomas que se consideran correctos, permite deducir un resultado o teorema. Las demostraciones son el pegamento que mantiene unidas las matemáticas. Pero, ¿cuáles son los métodos de demostración válidos? Es decir, ¿de qué formas se puede llegar de los axiomas a los resultados?
|
etiquetas: demostración matemática , tercio excluido , intuicionismo , formalismo 
Ánimo que solo acabais de volver a clase
p + !p = 1
p * !p = 0
!!p = p
!p + !q = !(p * q)
!p * !q = !(p + q)
(Y aquí me cansé, faltan las distributivas y las asociativas)
Sin siquiera eso, nada en lógica o matemáticas tiene sentido alguno, incluidos otros axiomas.