¿Cual es el origen historico de la logica proposicional?
Respuestas a la pregunta
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1
La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.2
Tenemos que la lógica proposicional tiene un origen histórico con Aristóteles, quien es considerado como el padre de la lógica. Aristóteles intentaba buscar una filosofía basada en la lógica y en la lógica proposicional.
Para este personaje, la lógica cuenta con tres etapas o tres pasos fundamentales que son:
- Crear planificación.
- Formar un proceso de seguimiento.
- Solucionar y verificar problema.
Mira más sobre esto en https://brainly.lat/tarea/11025543.
