lunes, 23 de noviembre de 2009

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.

No hay comentarios:

Publicar un comentario