Es la validación formal de una proposición con base en los axiomas y teoremas ya demostrados y de acuerdo a las reglas de la lógica y sus usos aprobados por la comunidad matemática, garantizando así la confiabilidad del argumento de validación.
Es la validación formal de una proposición con base en los axiomas y teoremas ya demostrados y de acuerdo a las reglas de la lógica y sus usos aprobados por la comunidad matemática, garantizando así la confiabilidad del argumento de validación.
Enlaces:
[1] https://www.matetam.com/glosario/definicion/proposicion
[2] https://www.matetam.com/glosario/definicion/logica