UNIVERSIDAD NACIONAL EXPERIMENTAL

“SIMÓN RODRÍGUEZ”
VICERRECTORADO ACADÉMICO
DIRECCIÓN DE PREGRADO
NÚCLEO BARQUISIMETO

LÓGICA PROPOSICIONAL

Carrera: Mercadeo

Cátedra: Pre-Calculo

Sección: 6 – 202

Participante: Angel Milian #16

CI: v-29.587.930

Facilitadora: Erika Bullones

Noviembre 2021.
LÓGICA PROPOSICIONAL

La lógica proposicional, también conocida como lógica de enunciados, lógica de orden

cero o cálculo proposicional, es la rama más antigua de la lógica que permite representar y
manipular aseveraciones sobre el mundo que nos rodea. En un lenguaje representativo para
evaluarlas a través de proposiciones o sentencias lógicas, para conocer su verdad o en caso
contrario su falsedad.

La historia de la lógica empieza a marcarse a través de los años, haciendo aportaciones a ella de
pensadores muy renombrados por sus hechos.

Aristóteles el cual se basa en el Silogismo, siendo la lógica Aristotélica la base para guiarse y de
esta manera continuar haciendo diferentes estudios y pruebas con el fin de confirmar lo
estipulado, siendo así como empezarían a descubrir algunas fallas en esta disciplina.

Desarrollando reglas para establecer un razonamiento encadenado, que si se respetaban, no

producirían nunca falsas conclusiones si la reflexión partía de verdaderas premisas. El ejemplo
más famoso, "Todos los humanos son mortales" y "Todos los griegos son humanos", llegando a la
conclusión válida de que "Todos los griegos son mortales". (Aristóteles)

Augustus De Morgan, en 1838 él definió el término “inducción matemática" colocando un

proceso que ha sido usado sin claridad en una rigurosa base. El término aparece primero en el
artículo de Morgan (Induction Mathematics) en el Penny Cyclopedia. Que la Penny Cyclopedia
publicó a través de la Sociedad de la Difusión Útil del Conocimiento, establecido por el mismo
reformador quien fundo London University, y que la Sociedad también publico como un famoso
trabajo por Morgan “El cálculo integral y diferencial”.

Augustus De Morgan creo y definió las leyes que llevan su nombre, las cuales son reglas de
equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalente,
como se muestra a continuación:
Leyes de Morgan: Ø (PÚ Q) Û Ø PÙ Ø Q Ø (PÙ Q) Û Ø PÚ Ø Q (Augustus De Morgan)

George Boole, en el año 1854 publicó una investigación de las leyes del pensamiento sobre las
cuales son basadas las teorías matemáticas de Lógica y Probabilidad. Boole aproximó la lógica en
una nueva dirección reduciéndola a un álgebra simple, incorporando lógica en las matemáticas
agudizó la analogía entre los símbolos algebraicos y aquellos que representan formas lógicas.

Comenzando así el álgebra de la lógica llamada Álgebra Booleana la cual ahora se encuentra en
aplicaciones de construcción de computadoras, circuitos eléctricos, entre otros. El álgebra
Booleana tiene una amplia aplicación en el switch telefónico y en el diseño de computadores
modernos. El trabajo de Boole ha llegado a ser como un paso fundamental en la revolución de los
computadores hoy en día. (George Boole)

Por último y no menos importante Jan Lukasiewicz, mismo que escribió fragmentos de los
principios de la no contradicción, desarrollando un árbol de valores para el cálculo proposicional.
 La lógica proposicional es la parte de la lógica que estudia las formas en que se relacionan unas
proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que componen
un razonamiento.

Las siguientes son proposiciones simples las cuales son verdaderas:

1. El cielo es azul.
2. 12*12=144.
3. Vicente Fox es el presidente de la República Mexicana.
4. La Segunda Guerra Mundial duro desde 1939 hasta 1945.

Las siguientes proposiciones simples son falsas:

1. Honda hace televisiones.
2. 8+99=231.
3. Los Insectos crean su comida a través de fotosíntesis.
4. Atenas es la capital de Italia.

Dentro de la lógica proposicional aplican algunas reglas clásicas notables como son la de Ley
de doble negación, Leyes de idempotencia, Leyes asociativas, Leyes conmutativas, Leyes
distributivas y la ley de De Morgan.

La lógica proposicional es una disciplina que mediante reglas y técnicas estudia la forma del
razonamiento sobre el mundo que nos rodea. En Matemáticas nos ayuda a demostrar teoremas y
en la vida diaria a encontrar soluciones a problemas cotidianos.