La lógica de proposiciones es la parte mas elemental de la lógica moderna o matemática. En esta primera parte de la lógica, las inferencias se construyen sin tomar en cuenta las estructuras internas de las proposiciones. Solo se examinan las relaciones lógicas existentes entre proposiciones considerable como un todo, y de y de ellas solo se toma en cuenta su propiedad de ser verdaderas o falsas. Por esta razón emplea solo variables proposicionales.
La lógica de proposiciones estudia las relaciones formales extraproposicionales , es decir, aquellas relaciones existentes entre proposiciones y no las que se dan dentro de ellas.Se la denomina, también, lógica de 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 estas se determinan por las relaciones entre proposiciones considerable Como un todo, sin penetrar en su estructura interna.
No hay comentarios:
Publicar un comentario