PENSAMIENTO LOGICO MATEMATICO

Tarea 4: sustentación de unidades 1,2,3

Presentado a:

AMALFI GALINDO OSPINO

Entregado por:

Cristian Eduardo Mejía Cáceres

Grupo: 200611 A_63

Ingeniería Electrónica

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA ECBTI

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

24/07/2019
 INTRODUCCION

Las proposiciones categóricas son aquéllas que hacen afirmaciones incondicionales. Por

ejemplo, "todos los hombres son mortales" es una proposición categórica, mientras que "si
tengo el día libre, voy a la playa" no lo es,  ya que hay un condicionante para el hecho de ir
a la playa: que tenga el día libre.

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y conocidos de la
lógica formal, pero al mismo tiempo también uno de los más poderosos y claros. Entender
bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma. En
estos ejercicios haremos unas reflexiones basadas en las tablas de verdad.
 OBJETIVOS

 Comprender los conceptos fundamentales de la lógica proposicional categórica

 Aplicar la lógica proposicional categórica y métodos de validación para la
resolución de problemas
 Realizar tablas de verdad manuales
 Interpretar el resultado de las tablas de verdad
 Verificar métodos de validación
 EJERCICIO 1

 El sábado 9 de mayo, se realizó en la Zona Boyacá B-learning del curso

de Pensamiento Lógico y Matemático. Participaron estudiantes que están
cursando además las siguientes asignaturas: 23 estudiantes cursan
Álgebra, 20 estudiantes cursan Introducción a la Ingeniería y 17
estudiantes cursan Cátedra Unadista. participaron 6 estudiantes que
cursan Álgebra, Introducción a la Ingeniería y Cátedra Unadista;
Participaron 8 estudiantes que cursan Introducción a la Ingeniería y
Cátedra Unadista; Participaron solo 10 estudiantes que cursan Álgebra,
12 estudiantes introducción a la ingeniería y Álgebra.

Determinar:

1. ¿Cuántos estudiantes de Introducción a la Ingeniería asistieron

únicamente a los B-learning?

2. ¿Cuántos estudiantes de Introducción a la Ingeniería y Álgebra, pero

no de catedra Unadista participaron en la actividad?

3. ¿Cuántos estudiantes participaron de Cátedra Unadista únicamente?

4. ¿Cuántos estudiantes que cursan Álgebra o Introducción a la

Ingeniería, pero no Cátedra Unadista, participaron?

5. ¿Cuántos estudiantes en total participaron en el B-learning de

Pensamiento Lógico y Matemático en el mes de mayo?

u ALgebra introduccion
U=96
23 12 Algebra= 51
20
6 Intrduccion= 46
10 8
Catedra=41
17
catedra
Rtda:
1. Asistieron 46 estudiantes de introducción

23 12
20
6
10 8

17

2. Asistieron 55 estudiantes de introducción y algebra,

pero no de catedra

12 20
23
6
10 8

17

3. Asistieron 17 de catedra únicamente

1223 20
6
10 8
4. Asistieron 55 estudiantes de introducción y algebra,
pero no de catedra

23 12 20
6
10 8

17

5. Participaron en total 96 estudiantes en el B-learning

de Pensamiento Lógico y Matemático en el mes de
mayo
 23 12 20
6
10 8

17

Ejercicio 2

Expresión simbólica: (𝒑→~𝒒)∧(𝒒⋀~𝒓)⟶(~𝒑∧~𝒓)

Premisas:
P1: (𝒑→~𝒒)
P2: (𝒒⋀~𝒓)
Conclusión: (~𝒑∧~𝒓)

Desarrollo:

 Proposiciones simples:

p: Los perros son los mejores amigos de los hombres

q: Si los gatos son amigos de las mujeres

r: Los hombres lo son de las aves

Razonamiento en lenguaje natural: Los perros son los mejores

amigos de los hombres entonces los gatos no son amigos de las
mujeres. Si los gatos son amigos de las mujeres y los hombres no lo
son de las aves. Por lo tanto, los perros no son los mejores amigos de
los hombres y no lo son de las aves.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico:

Generar una tabla de verdad manualmente a partir del lenguaje simbólico:

El resultado es una tautología

Demostración de la validez del argumento mediante las leyes de la inferencia

lógica:

Premisas:

P1: (𝒑→~𝒒)
P2: (𝒒⋀~𝒓)
Conclusión: (~𝒑∧~𝒓)

P3: p ley simplificación en 2

P4: p aplicando modus ponendo ponens MPP 3 en 1
 Conclusión

Con este trabajo se logra comprender el manejo de una nueva herramienta como lo es la tabla
de verdad, la cual muestra el valor de verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar. Se realizarán aportes propios respecto al
aprendizaje basado en problemas. se logra identificar y comprender los elementos esenciales
en la lógica proposicional y la forma de aplicarlos para resolver problemas cotidianos por
medio de tablas de verdad. Como también se entendió como validar mediante lo diferentes
métodos.
 Referencias
 https://repository.unad.edu.co/handle/10596/13869
 https://www.youtube.com/watch?v=OuHYh1Xw5no
 https://www.youtube.com/watch?v=PhrhO3L1-Lg
 https://www.youtube.com/results?search_query=leyes+de+inferencia