La lógica de proposiciones es la parte más elemental de la lógica moderna o matemática. En esta prometa parte de la lógica, las inferencias se construyen sin tomar en cuenta la estructura interna de las proposiciones. Sólo se examinan las relaciones lógicas existentes entre proposiciones consideradas como un todo, y de ellas sólo se toma en cuenta su propiedad de ser verdaderas o falsas. Por esta razón emplea sólo variables porposicionales.
La lógica de proposiciones estudia las relaciones formales extraprposicionales, es decir, aquellas relaciones existentes entre proposiciones y no las que se dan dentro de ellas. Se denomina, también lógica de las proposiciones sin analizar. Dispone de medios de análisis formal de las inferencias (lenguaje simbólico y métodos específicos), y la validez de éstas se determina por las relaciones entre proposiciones consideradas como un todo, sin penetrar en su estructura interna.
No hay comentarios:
Publicar un comentario