“…El conocimiento sobre la naturaleza de la demostración matemática: es el conocimiento sobre lo que constituye una demostración matemática, y considera los siguientes subcomponentes: (a) el concepto de demostración matemática, es decir, el conocimiento sobre qué es una demostración matemática y qué significa demostrar algo en las matemáticas (Flores-Medrano, 2015), (b) la validez lógica, que se refiere al conocimiento sobre cómo proceder en la demostración de afirmaciones matemáticas involucrando de forma implícita o explícita las conectivas lógicas (y, o, si-entonces, no, entre otras) y los cuantificadores existencial y universal, además del uso de las reglas de inferencia, de las equivalencias lógicas y de los métodos de demostración matemática (Durand-Guerrier et al, 2012b), y (c) la validez matemática, que se refiere al conocimiento del rigor en la demostración matemática lo que supone el uso correcto de axiomas, hipótesis y definiciones empleadas en las demostraciones (Cabassut, Conner, İşçimen, Furinghetti, Jahnke, y Morselli, 2011).…”