Control Semanal 3

Mayker Céspedes Urriola

Lógica Matemática Y Digital

16-11-2020
 Desarrollo

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
reposiciones 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.

A. B. C D
p = soy p = aprendo lógica p = estudio lógica p = prestas
inteligente dinero
q = aprendo q = soy inteligente q = aprendo q = vamos al cine
lógica lógica
r = estudio r = estudio lógica r = soy r = vamos al
lógica inteligente beisbol
s = me gusta la (p  q) ^ [(r  p)  q] s = me gusta la p  (q v r)
lógica lógica
(p q) ^ (r  s) (p ^ ¬ q)  (¬ r v ¬
s)
 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.

p q r s (p  q) ^ (r  s) p q r (p  q) ^ [(r  p)  q]
1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 0 0 1 1 0 1 1 1 1 1
1 1 0 1 1 1 1 1 0 1 0 1 0 1 0
1 1 0 0 1 1 1 1 0 0 0 1 1 0 0
1 0 1 1 0 0 1 0 1 1 1 1 1 1 1
1 0 1 0 0 0 0 0 1 0 1 1 1 1 1
1 0 0 1 0 0 1 0 0 1 1 1 0 1 0
1 0 0 0 0 0 1 0 0 0 1 0 1 0 0
0 1 1 1 1 1 1
0 1 1 0 1 0 0
0 1 0 1 1 1 1
0 1 0 0 1 1 1
0 0 1 1 1 1 1
0 0 1 0 1 0 0
0 0 0 1 1 1 1
0 0 0 0 1 1 1

 p q r p  (q v r)
p q r s (p ^ ¬ q) (¬ r v ¬ s)
1 1 1 0 1 0 1 1 1 1 1 1
1 1 1 0 0 1 1 1 1 0 1 1 1
1 1 0 1 0 1 1 1 0 1 1 1 1
1 1 0 0 0 1 1 1 0 0 1 0 1
1 0 1 1 1 0 0 0 1 1 0 1 1
1 0 1 0 1 1 1 0 1 0 0 1 1
1 0 0 1 1 1 1 0 0 1 0 1 1
1 0 0 0 1 1 1 0 0 0 0 1 0
0 1 1 1 0 1 0
0 1 1 0 0 1 1
0 1 0 1 0 1 1
0 1 0 0 0 1 1
0 0 1 1 0 1 0
0 0 1 0 0 1 1
0 0 0 1 0 1 1
0 0 0 0 0 1 1

c) Indique según el caso si dichas fórmulas son una contingencia, una tautología o una
contradicción de ser el caso.
 Equivalent Contingencia,
Fórmul Lenguaje
Enunciado natural e tautología
a lógico
lógico o contradicción
Si soy inteligente
entonces aprendo lógica y
A (p q) ^ (r  s) NO Contingencia
si estudio lógica entonces
me gusta la lógica.
Si aprendo lógica
entonces soy inteligente,
y si estudio lógica
B (p  q) ^ [(r  p)  q] NO Contingencia
entonces aprendo lógica,
por lo tanto, soy
inteligente.
Si estudio lógica y no
aprendo, entonces no soy
C (p ^ ¬ q)  (¬ r v ¬ s) NO Contingencia
inteligente o no me gusta
la lógica.
Si me prestas dinero,
D entonces vamos al cine o p  (q v r) NO Contingencia
al béisbol.

Bibliografia

IACC (2018). Cálculo proposicional. Lógica Matemática y Digital. Semana 3.