Unidad 2

Actividades de
aprendizaje

LÓGICA MATEMÁTICA
Tarea Virtual 3
Tema
Simplificación lógica

Objetivo
Calcular el resultado usando los conectivos lógicos

Orientaciones metodológicas generales

● Escrito exclusivamente en un procesador de texto
● La resolución del ejercicio debe estar acompañada del enunciado y su respectivo
procedimiento
● Desplazarse para abajo y luego en la siguiente columna para la resolución del
ejercicio
● El resultado de estar escrito en color negro y fondo verde
● Debe entregar la tarea en un solo documento en formato PDF, sin hojas en blanco
● Las dudas deben socializarlas a través del foro de dudas de la unidad
correspondiente
● Tarea plagiada acredita calificación 01

Puntaje
Un punto por cada literal contestado

Bibliografía

Actividades para el logro del objetivo

1. Construir las tablas de verdad y verificar cuales de ellas son tautologías
a) [(p ∧ ∼q) ⇒ q] ⇔ (p ⇒ q)
b) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
c) [p ∧ (p ⇒ q)] ⇒q

2. Sean las proposiciones, P: la computación es fácil, P: los ingenieros deben saber

computación, traduzca a lenguaje verbal las proposiciones siguientes y ¿Cuál(es) a su
juicio representa(n) una expresión aceptable en el sentido cotidiano?
a) p ∧ q
b) ∼ (p v q)
c) ∼ (q v ∼p)
d) ∼ (p v ∼q)
p⇒q

3. Simplificar las siguientes expresiones

b) ∼ (p v q)