UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA

FACULTAD DE CIENCIAS Y TECNOLOGÍA

“A la Libertad por la Universidad”

COMPONENTE: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO I.

CLASE Nº 3
I. DATOS GENERALES:

1.1 Facultad: Ciencias y Tecnología

1.2 Carrera: Ingeniería en tecnología de la información con énfasis
en desarrollo web y marketing digital.
1.3 Modalidad: Dominical
1.4 Nombre del Componente Curricular: Desarrollo de pensamiento lógico matemático I.
:
1.5 Unidad I : Fundamentos de lógica.
1.6 Tema: Leyes de la lógica.
1.7 Tiempo: 120 min.
1.8 Fecha : 28 de Marzo del 2021.
1.9 Profesor (a) : Elizabeth de los Ángeles Reyes Porras.

II.COMPETENCIA DEL COMPONENTE CURRICULAR A LA QUE SE APORTA CON ESTA

ACTIVIDAD:
Aplica el razonamiento lógico matemático, la teoría de conjunto a situaciones sencillas en
diversos contextos de la vida real.

III. DIMENSIONES DE LA COMPETENCIA:(CONCEPTOS, HABILIDADES Y ACTITUDES)

CONOCIMIENTO HABILIDADES ACTITUDES

-- Leyes de la lógica. - Analiza los problemas - Valora la importancia y la

planeados y aplica el uso de
- Utilización del leguaje las leyes de la lógica.
gráfico. -Resolución de problemas
de lógica.
l. Trabajo grupal
utilidad de los conjuntos en
diversos contextos.
- Participa activamente en el
trabajo de equipo.
- Muestra iniciativa,
creatividad, disciplina,
responsabilidad, honestidad y
buenas relaciones humanas
en la realización de
actividades de aprendizaje.

IV. ACTIVIDADES DEL DOCENTE Y DE LOS ALUMNOS:

a. Actividades de Iniciación:

1
 UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA
FACULTAD DE CIENCIAS Y TECNOLOGÍA
“A la Libertad por la Universidad”

COMPONENTE: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO I.

Revisar tarea, Aclarar dudas sobre el tema anterior, Tomar asistencia.

b. Actividades de Desarrollo:

Leyes de la lógica.

1. p ⇔ p Doble negación .

2.

.a .( p ∨ q)⇔(q ∨ p)
b . ( p ∧q ) ⇔ ( q ∨ p ) leyes comutativa
c .( p ⟷ q)⇔(q ⟷ p)

a. [ ( p ∨ q)∨ r ] ⇔ [ p ∨(q ∨r ) ]
b. [ ( p ∧ q)∧ r ] ⇔ [ p ∧(q ∧r ) ] leyes asociativa

4.
a. [ p ∨(q ∧r )] ⇔ [( p ∨ q)∧( p ∨r )]
b. [ p ∧(q ∨r )] ⇔ [( p ∧ q)∨( p ∧r )] leyes distributiva.

5.
a. ( p ∨ p ) ⇔ p leyes de la idempotencia .
b. ( p ∧ p)⇔ p

6.
a. ( p ∨ q)⇔( p ∧ q)
b. ( p ∧q ) ⇔ ( p∨ q ) leyes de morgan .
c. ( p ∨q) ⇔ ( p ∧ q)
d. ( p ∧q ) ⇔ ( p∨ q )

7.
a. ( p → q ) ⇔ ( p ∨q )
b. ( p → q ) ⇔ ( p ∨ q ) Implicación

8.
a. ( p ∨q ) ⇔ ( p →q )

2
 UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA
FACULTAD DE CIENCIAS Y TECNOLOGÍA
“A la Libertad por la Universidad”

COMPONENTE: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO I.

b. ( p ∧q ) ⇔ ( p →q )

9.
a. [ ( p → r )∧(q → r ) ] ⇔ [ ( p ∨ q)→ r ]
b. [ ( p →r ) ∧ ( q →r ) ] ⇔ ¿
( p ↔ q ) ⇔ [ ( p →q ) Λ ( q → p ) ]
10. Equivalencia

11. [ ( pΛq ) →r ] ⇔ [ p ↦ ( q ↦ r ) ] Ley de exportación

12. ( p ↦ q ) ⇔ [ ( pΛ ∼ q ) ↦ c ] Reducción al absurdo(c representa contradicción)

13. p ⇒( p∨q ) Adición

14. ( pΛq ) ⇒ p Simplificación

15. [ pΛ ( p →q ) ] ⇒q Modus Ponens

16. [ ( p ↦ q ) Λ ∼ q ] ⇒∼ p Modus Tollens

17. [ ( p∨q ) Λ ∼ p ] ⇒ q Silogismo disyuntivo

18. p ⇒ [ q → ( pΛq ) ]

19. [ ( p ↔q ) Λ ( q ↔ r ) ] ⇒ ( p↔ r ) Transitividad de ↔

20. [ ( p→q ) Λ ( q→r ) ] ⇒ ( p→ r ) Transitividad de → o silogismo hipotético

21.

a. ( p→q ) ⇒ [ ( p∨r ) → ( q∨r ) ]

b. ( p→ q ) ⇒ [ ( pΛr ) → ( qΛr ) ]

c. ( p→q ) ⇒ [ ( q→ r ) → ( p→r ) ]

22.

a. [ ( p→q ) Λ ( r →s ) ] ⇒ [ ( p∨r ) → ( q∨s ) ] Dilemas constructivos

b. [ ( p→q ) Λ ( r →s ) ] ⇒ [ ( pΛr ) → ( qΛs ) ]

23

3
 UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA
FACULTAD DE CIENCIAS Y TECNOLOGÍA
“A la Libertad por la Universidad”

COMPONENTE: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO I.

a. [ ( p→q ) Λ ( r →s ) ] ⇒ [ ( ∼q∨∼s ) → ( ∼ p∨∼r ) ] Dilemas destructivos

b. [ ( p→q ) Λ ( r →s ) ] ⇒ [ ( ∼ qΛ ∼ s ) → ( ∼ pΛ ∼ r ) ]

Ejemplo 1. Construya tabla de verdad para la proposición ( p ∨q) ⇔(q ∨ p)

p q p ∨q q∨ p ( p ∨q)⇔(q ∨ p)
V V V V V
V F V V V
F V V V V
F F F F V
Por lo tanto ( p ∨q)⇔(q ∨ p) es una Tautología.

Ejemplo 2. Construya tabla de verdad para la proposición (p→q)⇔(~p∨q)

p q ~p p→q p ∨q (p→q)⇔(~p∨q)

V V F V V V
V F F F F V
F V V V V V
F F V V V V
Por lo tanto (p→q)⇔(~p∨q) es una Tautología.

c. Actividades Finales:
 Aclarar dudas y dificultades que presenten los estudiantes durante el desarrollo de la clase.
 Orientación del trabajo independiente:

d. Orientación del Trabajo independiente (Tareas):

1. Construyendo su tabla de valores de verdad pruebe que las siguientes proposiciones
compuestas son implicaciones tautológicas.

1) p  (p v q) 2) (p Ù q)  p 3) ¬ p  (p v q)  q

4) [¬q  (p Þ q)] Þ ¬ p 5) (p Þ q) Þ [(p v r) Þ (q v r)]

6) (¬ p Ù p)  q 7) (p Þ q) Þ [(p Ù r) Þ (q Ù r)]

2. Construyendo su tabla de valores de verdad pruebe que las siguientes proposiciones

compuestas son equivalencia tautológicas.

1) (p v q) Û ¬ (¬ p Ù ¬q) 2) ¬ (¬ p) Û p

3) ¬ (p v ¬ q) Û (¬ p Ù q) 4) ¬ (p Þ ¬ q ) Û ( p Ù q )

4
 UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA
FACULTAD DE CIENCIAS Y TECNOLOGÍA
“A la Libertad por la Universidad”

COMPONENTE: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO I.

2V. MEDIOS O RECURSOS DIDÁCTICOS NECESARIOS:

Pizarra, Marcadores, Planes de clases, Microprogramación, Plan calendario, Dosier y texto

básico del componente curricular. Guía de aprendizaje de cada actividad.
VI. EVALUACIÓN DE LOS APRENDIZAJES (Criterios y Evidencias):

Criterio:

Aplica las leyes de la lógica.

- Realiza proposiciones simples y compuestas y utiliza conectivos o modificadores.

- Construye tablas Binarias.

Evidencias:

-Lista de cotejo sobre Práctica ejercicios en la pizarra.

- Lista de cotejo sobre Realización de ejercicios individuales orientados en clases.

Prueba escrita individual con ejercicios.

VII. CONCLUSIONES:

El estudio de la lógica es muy importante dado a que constituye una herramienta muy poderosa que se
estará utilizando en capítulos posteriores no solo de este componente si no para el siguiente curso de
lógica.

VIII. RECOMENDACIONES:

Revisar bibliografía.

IX. BIBLIOGRAFIA:

 Antón. M. Elementos de lógica matemática y de teoría de conjuntos. Editorial universitaria

UNAN- León. Primera edición. 2013.

 Zil. D, Dewar.J. Algebra, trigonometría y geometría analítica. Editorial Mcgraw-Hill. Tercera

edición. 2012.

5
 UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA
FACULTAD DE CIENCIAS Y TECNOLOGÍA
“A la Libertad por la Universidad”

COMPONENTE: DESARROLLO DEL PENSAMIENTO LOGICO MATEMATICO I.

 Matemática discreta. Cuarta edición. Richard Johsonbaugh.