Haga una pregunta epistemológica, ¿qué es el conocimiento proposicional?

Una oración que puede juzgar una cosa se llama proposición y puede juzgar si algo está bien o mal. Las proposiciones correctas se llaman proposiciones verdaderas y las proposiciones incorrectas se llaman proposiciones falsas.

La forma de la proposición debe ser una oración declarativa, y su entonación es el tono normal del hablante antes de la entonación. El tono bajará durante el tono, y el tono seguirá bajando después del tono. .

Veamos primero la siguiente proposición:

Hay una línea recta que pasa por dos puntos, y solo hay una línea recta.

De todas las rectas que unen dos puntos, el segmento de recta es el más corto.

Un poco más allá de la recta sólo puede haber una recta paralela a la recta conocida.

Dos rectas paralelas interceptadas por una tercera recta son ángulos iguales.

Estas proposiciones exponen hechos que han sido probados por cientos de millones de experimentos. Son universalmente aceptadas como proposiciones verdaderas y no requieren prueba mediante razonamiento. A estas proposiciones las llamamos axiomas.

También hay algunas proposiciones, como por ejemplo los ángulos suplementarios de un ángulo son iguales, los ángulos suplementarios de un mismo ángulo son iguales y los ángulos de los vértices son iguales. Estas proposiciones necesitan ser probadas para saber que son verdaderas. Estas proposiciones se llaman teoremas.

Para demostrar que una proposición es falsa, se puede dar un ejemplo opuesto. Este ejemplo se llama contraejemplo. Por ejemplo, demostrar que ángulos iguales son ángulos rectos es una proposición falsa. Podemos dibujar dos triángulos isósceles con ángulos base iguales, pero no rectos. Esta proposición es una proposición falsa.