La logica de proposiciones

La logica de proposiciones es la parte mas elemental de la logica moderna o matematica. En esta primera parte de la logica, las inferencias construyen sin tomar en cuenta la estructura interna de las proposiciones. Solo se examinan las relaciones logicas existentes entre proposiciones consideradas como un todo, y de ellas solo se toma en cuenta su propiedad de ser verdaderas o falsa.