Cálculo proposicional

Cristian Orellana Villazón

Lógica Matemática Digital

Instituto IACC

14 de noviembre 2020
 Desarrollo

DESARROLLO DEL CONTROL:

El cálculo de proposiciones es una forma matemática que permite la obtención de resultados lógicos de
un conjunto de proposiciones que están siendo combinadas mediante el uso de operadores lógicos. El
proceso para obtener dichos resultados se lleva a cabo mediante la organización de la expresión lógica o
fórmula, agrupando los términos (utilizando símbolos de agrupación) y posteriormente ir resolviendo,
de acuerdo con la jerarquía de estos, sus diferentes connotaciones lógicas, de esta manera es posible
obtener así el valor lógico de una fórmula para un conjunto de proposiciones y posibilidades.
Partiendo de lo anteriormente expuesto, el diseño de tablas de la verdad, cuando las fórmulas incluyen
muchas proposiciones, se hace cada vez más grande y complejo debido a que por cada proposición extra
se duplica la cantidad de combinaciones lógicas posibles entre sus valores de verdad, es por ello que la
lógica booleana permite la utilización de valores de verdad determinados (estudiar un caso en
particular) y mediante una gráfica o diagrama de árbol, organizar en orden jerárquico las proposiciones y
sus diferentes operadores lógicos. Todo esto hace posible obtener un resultado lógico para una
determinada combinación de valores de verdad asignados, facilitando así el proceso, ya que no se debe
diseñar una tabla de verdad completa.
Teniendo en cuenta la facilidad de lo anterior, esto puede aplicarse a un sinfín de fórmulas lógicas o
constantes para determinar un hecho de que a lo largo de la unidad se llevará a cabo, que dos fórmulas
sean equivalentes lógicos. Para conocer esto último se requiere evaluar las fórmulas y conocer si ambos
valores de verdad son iguales, de tal manera de poder concluir que las fórmulas estudiadas son
equivalentes lógicos una de la otra.

Teniendo en cuenta las siguientes proposiciones en lenguaje natural, es necesario construir su

contraparte en lenguaje simbólico:
a) Utilice los símbolos de agrupación necesarios según sea el caso (0,8 puntos c/u).
b) Verifique si alguna de dichas fórmulas es equivalente lógico de otra, es decir, si dos de estas
fórmulas son lógicamente equivalentes (0,8 puntos c/u).
c) Indique según el caso si dichas fórmulas son una contingencia, una tautología o una
contradicción de ser el caso (0,2 puntos c/u).

Formula Enunciado natural Lenguaje Equivalente Contingencia,

 lógico lógico tautología o
contradicción
A Si soy inteligente Sí p entonces q (p→q)^(r→s) (¬p→¬q)^( r→s)
entonces aprendo y r entonces s
lógica y si estudio
lógica entonces me
gusta la lógica.
B Si aprendo lógica Agrupación q [(q→p)^(r→p)] ¬q→p^¬r→p) ]
entonces soy entonces p y r
inteligente, y si estudio entonces q y r
lógica entonces
aprendo lógica, por lo
tanto, soy inteligente.
C Si estudio lógica y no Sí r no q (r→q)^(p→s)
aprendo, entonces no entonces no p y (r¬q)^(¬p¬s)
soy inteligente o no me no s
gusta la lógica.
D Si me prestas dinero, Sí p entonces q p→q p→¬q
entonces vamos al cine
o al béisbol.
Bibliografía