Fundamentos de la Lógica Proposicional
La lógica proposicional se centra en identificar proposiciones, que son enunciados que pueden clasificarse como verdaderos o falsos. Por ejemplo, "4+5=10" es una proposición (falsa), mientras que expresiones como "¡Qué día tan lindo!" o preguntas como "¿Ayer hizo mucho sol?" no son proposiciones.
Es importante distinguir entre diferentes tipos de enunciados. Las preguntas, órdenes o exclamaciones no califican como proposiciones porque no afirman algo que pueda ser verificado como verdadero o falso. Las proposiciones son la base del razonamiento lógico.
Aristóteles, filósofo griego nacido en Estagira en el 384 a.C., es considerado junto a Platón como el padre de la filosofía occidental. Sus aportes a la lógica sentaron las bases para el pensamiento estructurado que usamos hoy en día.
💡 Consejo útil: Cuando tengas dudas sobre si un enunciado es una proposición, pregúntate: "¿Puede ser verificado como verdadero o falso?" Si la respuesta es sí, estás ante una proposición.
