UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

CURSO: LOGICA MATEMATICA

HELIER ALEXANDER PRIETO TAFUR

CC: 1.110.535.913

NÚMERO DE GRUPO:

INSTRUCTOR:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA. UNAD

ESCUELA DE CIENCIAS AGRÍCOLAS PECUARIAS Y DEL MEDIO AMBIENTE (ECAPMA)

ZOOTECNIA

//2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

OBJETIVOS

 Determinar el uso y la aplicación de las reglas de inferencia.

 Comprobar atreves del uso de las reglas de inferencia que los argumentos sean válidos.
 Interpretar situaciones cotidianas, mediante el conocimiento propuesto y de esta forma
tomar decisiones acertadas.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

Tarea 1: Conceptualización de las reglas de inferencia.

Socializar en el Foro diseñado para el desarrollo de la actividad la
conceptualización y dos ejemplos específicos (En caso de ser extraído
por alguna fuente bibliográfica, se debe citar correctamente empleando
normas APA) de un grupo de las Reglas de Inferencia Lógica.

B. Silogismo Hipotético, Simplificación y Leyes de Morgan.

Silogismo Hipotético: es una regla de inferencia en lógica (inferir es
sacar una conclusión de premisas que sirve para sacar una
argumentación valida)
 Simbolización

Premisas:
PQ

QR

Conclusión:
PR
Como son proposiciones condicionales una depende de la otra y así se
puede deducir esta regla de inferencia. Si P está condicionada a Q
(PQ) y Q está condicionada a R (QR) por lo tanto P se enlaza
condicionalmente a R (PR).
Ejemplos:
-Si James Rodríguez comete una falta grave entonces él será expulsado
del partido. = (PQ)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

-Si él es expulsado del partido, No podrá jugar el próximo

encuentro. = (QR)
-Por lo tanto, si James Rodríguez comete una falta grave el No podrá
jugar el próximo encuentro. = (PR)

-Si llueve durante estos días entonces aumentara el forraje y el pastaje.

= (PQ)
-Si aumenta el forraje y el pastaje, abra buena comida para el ganado
de la finca. = (QR)
-Por lo tanto, si llueve durante estos días abra buena comida para el
ganado de la finca. = (PR)
https://www.youtube.com/watch?v=wWl07Hm9OpM

Simplificación: consiste en hallar facciones equivalentes dividiendo

sucesivamente al numerador y al denominador de la fracción por un
mismo número, distinto a 0 y 1.
Ejemplos:

- ÷2 ÷2 ÷2

48 24 12 6
= = =
200 100 50 25
÷2 ÷2 ÷2

- ÷2 ÷2 ÷3

180 90 45 15
= = =
96 48 24 8
÷2 ÷2 ÷3
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

https://www.youtube.com/watch?v=SneayKA7bYs

Leyes de Morgan: son un par de reglas de transformación que son

ambas reglas de inferencia válidas. Las normas permiten la expresión de
las conjunciones y disyunciones puramente en términos de vía negación.

Las reglas se pueden expresar en español como:

La negación de la conjunción es la disyunción de las negaciones.
La negación de la disyunción es la conjunción de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)"

y también,
"no (A o B)" es lo mismo que "(no A) y (no B)"

Ejemplos:
1) (𝐴𝑢𝐵)𝑐 = 𝐴𝑐 𝑛𝐵 𝑐
2) (𝐴𝑛𝐵)𝑐 = 𝐴𝑐 𝑢𝐵 𝑐

Ω= (rojo, azul, verde, amarillo, café, negro, blanco, rosa, violeta,

vinotinto)
A= (rojo, azul, verde, amarillo)
B= (café, negro, blanco, rosa)

1) AuB = (rojo, azul, verde, amarillo, café, negro, blanco, rosa)

(𝑨𝒖𝑩)𝒄 = Ω - (AuB) = (violeta, vinotinto)

𝑨𝒄 = Ω - A =(café, negro, blanco, rosa, violeta, vinotinto)

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

𝑩𝒄 = Ω - B = (rojo, azul, verde, amarillo, violeta, vinotinto)

𝑨𝒄 𝒏𝑩𝒄 = (violeta, vinotinto)

2) AnB = (Ø)
(𝑨𝒏𝑩)𝒄 = Ø𝒄 = Ω

𝑨𝒄 = Ω - A = (café, negro, blanco, rosa, violeta, vinotinto)

𝑩𝒄 = Ω - B = (rojo, azul, verde, amarillo, violeta, vinotinto)
𝑨𝒄 𝒖𝑩𝒄 = (rojo, azul, verde, amarillo, café, negro, blanco, rosa, violeta,
vinotinto)
https://www.youtube.com/watch?v=lLCkoEVlmfo
https://es.wikipedia.org/wiki/Leyes_de_De_Morgan
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

Tarea 2: Problemas de aplicación I

Solucionar los siguientes enunciados y demostrar la validez o no validez

del argumento dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

a) Gabriela se encuentra estudiando el material del curso de física

general, especialmente el tema movimiento en una dimensión,
entonces se reflexiona un poco para entender el concepto de
desplazamiento, por lo que Gabriela hace el siguiente
razonamiento:

“Si camino 7 metros hacia adelante, entonces me desplazo.

Pero no es cierto que (si camino 7 metros hacia adelante y camino

7 metros en sentido contrario, entonces me desplazo).

No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros

en sentido contrario”.

p= si camino 7 metros hacia adelante ¬p= No camino 7 metros hacia

adelante
q= me desplazo
r= camino 7 metros en sentido contrario
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

PREMISAS
1: p→q
2: ~[(p˄r)→q]
3: ~p
4: r

[(p→q)˄(~((p˄r)→q))˄(~p)]→r

p q r p→q p˄r (p˄r)→q ~[(p˄r)→q] ~p

v f v f v f v f
v f f f f v f f
v f v f v f v f
v f f f f v f f
f v v v f v f v
f v f v f v f v
f v v v f v f v
f v f v f v f v
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

Usando las reglas de inferencia

Premisas
1. 𝑝 → 𝑞
2. ~𝑝
3. ~((𝑝 ∩ 𝑟) → 𝑞))

________________________
4. (𝑝 ∩ 𝑟) → 𝑞) ; en (3) doble negación

~((𝑝 ∩ 𝑟) → 𝑞)) : ~ (~((𝑝 ∩ 𝑟) → 𝑞)): (𝑝 ∩ 𝑟) →

𝑞

5. (𝑝 → 𝑞) ; en (4) simplificación
6. 𝑝 ; en (2) negación
7. 𝑞 ; en (5,6) Modus Ponens
8. 𝑟 → 𝑞 ; en (4) simplificación
9. ~𝑞 ; en (7) negación
10. ~𝑞 → ~𝑟 ; en (8) transposición
11. ~𝑟 ; en (10,9) Modus Ponens
12. 𝑟 ; en (11) negación
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente

Tarea 3: Problemas de aplicación II

Expresar los siguientes enunciados en Lenguaje natural relacionada con

la dinámica de la Universidad de su rol como estudiante y demostrar la
validez del argumento dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

B. [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑠 ∨ ~𝑟) ∧ (~𝑠 ∨ 𝑡) ∧ (~𝑡)] ⟶ ~𝑝

Tarea 4: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o

inductivo, argumentado la respuesta con sus propias palabras

a) Después de mucho analizar el caso, La investigadora Gabriela hace

de la siguiente argumentación: “Si Martha estaba en la tienda a la
hora de la novela y Joaquín salió a buscar a Martha justo cuando se
termina la novela, pero Javier afirma que vio a Joaquín salir de su
casa un minuto después de Martha y la tendera Carla afirma que
Martha nunca fue esa noche a la tienda, entonces es probable que
los sospechosos estén mintiendo