Introducción a la Lógica de Proposiciones

La lógica de proposiciones es uno de los elementos más básicos de la Lógica Matemática. Una proposición es un enunciado susceptible de ser falso o verdadero. La lógica matemática es un subcampo de la lógica y las matemáticas, consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas.
En la lógica de proposiciones las conclusiones se construyen sin tomar en cuenta la estructura interna de las proposiciones, únicamente se tienen en cuenta las relaciones lógicas entre proposiciones consideradas como un todo, y de estas sólo se toma en cuenta la propiedad de ser verdaderas o falsas. Por eso sólo se emplea variables proposicionales.

Introducción

Este blog es creado por dos estudiantes de la Facultad Tecnológica de la Universidad Distrital Francisco José de Caldas con el fin de exponer los conocimientos adquiridos en la asignatura de Lógica Matemática. En este blog se tratará, fundamentalmente, todo lo relacionado con la Lógica de proposiciones, y algo de lógica aplicada en la programación de aplicaciones para computador. Así que sin más preámbulos comenzaremos a hablar sobre los temas.