El lgebra: es la rama de la matemtica que estudia la combinacin de elementos de estructuras

abstractas acorde a ciertas reglas. Originalmente esos elementos podan ser interpretados como
nmeros o cantidades, por lo que el lgebra en cierto modo originalmente fue una generalizacin
y extensin de la aritmtica.2 3 En el lgebra moderna existen reas del lgebra que en modo
alguno pueden considerarse extensiones de la aritmtica (lgebra abstracta, lgebra homolgica,
lgebra exterior, etc.).
La lgica proposicional: trata con sistemas lgicos que carecen de cuantificadores, o variables
interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo
entidad, s existen signos para variables proposicionales (es decir, que pueden ser interpretadas
como proposiciones con un valor de verdad de definido), de ah el nombre proposicional. La lgica
proposicional incluye adems de variables interpretables como proposiciones simples signos para
conectivas lgicas, por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de
proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las
proposiciones ms simples.2

La Importancia de la Lgica Proposicional

1. 1. Es una disciplina que mediante reglas y tcnicas estudia la forma del
razonamiento. En Matemticas nos ayuda a demostrar teoremas y en la vida diaria a
encontrar soluciones a problemas cotidianos. Gracias a ella, distinguimos la realidad
de la percepcin y podemos defender los puntos de vistas con argumentos.
2. 2. Simples: Una sola idea, siempre en positivo. Compuestas: Dos o ms
proposiciones unidas mediante un conector.
3. 3. Sirven para enlazar Proposiciones simples.
4. 4. Conjunci n Conector Equivalente CONJUNCIN Sin embargo, aunque,
tambin, pero, adems, a la vez, no obstante, etc. CONDICIONAL Por
consiguiente, puesto que, porque, ya que, etc.