LÓGICA MATEM ÁTICA Y DIGITAL

Control semana 3
NOMBRE: Cálculo proposicional

OBJETIVO DEL CONTROL: reconocer las relaciones lógicas entre las proposiciones, basado en
interpretaciones booleanas, equivalencia lógica y satisfactibilidad y contingencia.

RECURSOS NECESARIOS:
• Contenidos de la semana 3.

INSTRUCCIONES:

1. Leer el nombre y los objetivos del control.

2. Leer los contenidos de la semana 3.
3. Revisar el recurso complementario disponible en los recursos adicionales de la
semana.
4. Las respuestas a las preguntas del control deben ser una elaboración propia. Usted se
apoyará en los contenidos de la semana y también puede hacerlo con otros textos,
pero siempre deberá identificar los autores y citar las fuentes. Recuerde agregar la
bibliografía al final del control en formato APA. Cuide su redacción y ortografía.

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 a 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ógicas. 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ógicas 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).

I: Es inteligente.
A: Aprende lógica
E: Estudio lógica.
G: Gusta de lógica.

P: Prestas dinero.
C: Vamos al cine.
B: Vamos al beisbol.

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

FORMA A
I A E G (I →A) ˄ ( E→G)
VERDADER
1 1 1 1 1 O 1
1 1 1 0 1 FALSO 0
VERDADER
1 1 0 1 1 O 1
VERDADER
1 1 0 0 1 O 1
1 0 1 1 0 FALSO 1
1 0 1 0 0 FALSO 0
1 0 0 1 0 FALSO 1
1 0 0 0 0 FALSO 1
VERDADER
0 1 1 1 1 O 1
0 1 1 0 1 FALSO 0
VERDADER
0 1 0 1 1 O 1
VERDADER
0 1 0 0 1 O 1
VERDADER
0 0 1 1 1 O 1
0 0 1 0 1 FALSO 0
VERDADER
0 0 0 1 1 O 1
VERDADER
0 0 0 0 1 O 1
FORMA B

A I E (A →I) ˄ (E →A) (A→I ) ˄ ( E → A) → I

VERDADER VERDADER VERDADER
1 1 1 O O O VERDADERO
VERDADER VERDADER VERDADER
1 1 0 O O O VERDADERO
VERDADER
1 0 1 FALSO FALSO O VERDADERO
VERDADER
1 0 0 FALSO FALSO O VERDADERO
VERDADER
0 1 1 O FALSO FALSO VERDADERO
VERDADER VERDADER VERDADER
0 1 0 O O O VERDADERO
VERDADER
0 0 1 O FALSO FALSO VERDADERO
VERDADER VERDADER VERDADER
0 0 0 O O O FALSO

FORMA C

I A E G (¬ E ˅ A) ˅ (¬ I ˅ G)
VERDADER VERDADER VERDADER
1 1 1 1 O O O
VERDADER VERDADER
1 1 1 0 O O FALSO
VERDADER VERDADER VERDADER
1 1 0 1 O O O
VERDADER VERDADER
1 1 0 0 O O FALSO
VERDADER VERDADER
1 0 1 1 FALSO O O
1 0 1 0 FALSO FALSO FALSO
VERDADER VERDADER VERDADER
1 0 0 1 O O O
VERDADER VERDADER
1 0 0 0 O O FALSO
VERDADER VERDADER VERDADER
0 1 1 1 O O O
VERDADER VERDADER VERDADER
0 1 1 0 O O O
VERDADER VERDADER VERDADER
0 1 0 1 O O O
VERDADER VERDADER VERDADER
0 1 0 0 O O O
VERDADER VERDADER
0 0 1 1 FALSO O O
VERDADER VERDADER
0 0 1 0 FALSO O O
 VERDADER VERDADER VERDADER
0 0 0 1 O O O
VERDADER VERDADER VERDADER
0 0 0 0 O O O
FORMA D

P C V ¬P ˅ C ˅ B
VERDADER
1 1 1 O
VERDADER
1 1 0 O
VERDADER
1 0 1 O
1 0 0 FALSO
VERDADER
0 1 1 O
VERDADER
0 1 0 O
VERDADER
0 0 1 O
VERDADER
0 0 0 O

Lenguaje Equivalente Contingencia, tautología o

Fórmula Enunciado natural
lógico lógico contradicción
Si soy inteligente
entonces aprendo
(I →A) (¬ I ˅ A) ˄ (¬
A lógica y si estudio Contingencia
˄( E→G) E ˅ G)
lógica entonces me
gusta la lógica.
Si aprendo lógica
entonces soy
inteligente, y si ¬ ((¬ A ˅ I ) ˄
(A→I ) ˄ ( E
B estudio lógica (¬ E ˅ A) ) ˅ I Contingencia
→ A) → I
entonces aprendo
lógica, por lo tanto,
soy inteligente.
Si estudio lógica y no
aprendo, entonces no (E ˄ ¬ A)→ (¬ (¬ E ˅ A) ˅
C Contingencia
soy inteligente o no I ˅ G) (¬ I ˅ G)
me gusta la lógica.
Si me prestas dinero,
D entonces vamos al P→(C˅B) ¬P ˅ C ˅ B Contingencia
cine o al béisbol.

INDICADORES DE EVALUACIÓN PUNTAJE

• Reconocen interpretaciones booleanas de propuestas planteadas, según 4

casos de la vida real.
4
 • Diferencian equivalencias lógicas, basado en caso dado. 1
• Reconocen satisfactibilidad o contingencia.
• Puntaje total 9

El control debe ser desarrollado en la plantilla establecida por IACC para la entrega de
controles de la semana, disponible para ser descargada desde la plataforma de la asignatura
junto a estas instrucciones.

Envíe el documento creado con su nombre y apellido (nombre_apellido_control3).

CANTIDAD MÍNIMA DE PALABRAS: 600

CANTIDAD MÁXIMA DE PALABRAS: 700