Curso

LOGICA MATEMATICA
Grupo: 90004_34

Tarea 2 Clasificación de proposiciones categóricas y Métodos para probar validez de

argumentos

Integrante:

Johanna Muñoz Alba

Presentado a Tutor:

Juan David Mejía

Universidad Nacional Abierta y a Distancia “UNAD”

2020
 Introducción

El siguiente trabajo fue realizado con el fin de aplicar en los ejercicios las herramientas
entregadas, así adquirir información pertinente, para interpretar y analizar las posibles
soluciones por medio de las proposiciones; tablas de verdad; aplicaciones de las reglas de
inferencia; razonamiento inductivo y deductivo.
 Objetivos

1. Conocer las reglas de inferencia.

2. Realizar preposiciones de lenguaje simbólico a lenguaje natural con sus
preposiciones y lenguaje lógico.
3. Realizar tablas de verdad con Simulador Lógica UNAD y manual.
4. Utilizar el razonamiento inductivo o deductivo.
Ejercicio 1: Conceptualización de las reglas de inferencia.

Adjunto link, https://app.lucidchart.com/invitations/accept/6a044d96-2179-4488-a60f-

7e2f2ddc3d63
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

a. Si no me despierto, entonces no voy a ir a trabajar. Si no voy a trabajar, entonces no

me pagan mi sueldo.
Conclusión: ____________________________________
Ley de inferencia aplicada: ________________________
Lenguaje simbólico: ______________________________

Solución

a. Si no me despierto, entonces no voy a ir a trabajar. Si no voy a trabajar, entonces

no me pagan mi sueldo.
Premisas:
~ p: no me despierto.
~ q: no voy a ir a trabajar / no voy a trabajar.
~ r: no me pagan mi sueldo.

Premia 1: (~ p → ~ q) Si no me despierto, entonces no voy a ir a trabajar.____

Premia 2: (~ q → ~ r) Si no voy a trabajar, entonces no me pagan mi sueldo.__
Por lo tanto, (~ p → ~ r) (~ p → ~ r) Si no me despierto, no me pagan mi sueldo.

Conclusión: (~ p → ~ r) Si no me despierto, no me pagan mi

sueldo.___________
Ley de inferencia aplicada: Silogismo Hipotético (SH) _______________________

Lenguaje simbólico: (~ p → ~ q)
(~ q → ~ r)
 (~ p → ~ r)

Ejercicio 3: Razonamiento Deductivo e Inductivo

a. En Puebla acostumbran a comer tacos, en Michoacán acostumbran a comer tacos,

en Tijuana acostumbran a comer tacos. Por tanto, todos los mexicanos acostumbran
a comer tacos.

Solución

a. En Puebla acostumbran a comer tacos, en Michoacán acostumbran a comer

tacos, en Tijuana acostumbran a comer tacos. Por tanto, todos los mexicanos
acostumbran a comer tacos.

Premisa 1 p: Puebla acostumbran a comer tacos

Premisa 2 q: Michoacán acostumbran a comer tacos

Premisa 3 r: Tijuana acostumbran a comer tacos

Conclusión: todos los mexicanos acostumbran a comer tacos.

Argumentación: El razonamiento utilizado es el Inductivo, ya que, se basa en

experiencias, comparte ciertas características con grado de probabilidad y se concluye que
los tacos es uno de los platos más representativos en la comida mexicana.
Ejercicio 4: Problemas de aplicación

a. Expresión simbólica: [ ( p → s ) ∧ ( q → r ) ∧ ( p ∧r )]→ ( q ∧ s )

Premisas:
P1:( p → s )
P2:( q → r )
P3:( p ∧r )
Conclusión ( q ∧ s )

Solución

Premisas:
p: Johanna obtuvo las mejores calificaciones en la universidad Uniminuto, en la
materia de Trigonometría.

s: Práctica diariamente las funciones trigonométricas (Seno, Coseno, Tangente,

Cotangente, Secante y Cosecante).
q: Realiza ejercicios de los ángulos a través de las funciones.
r: Consigue explicarles a sus compañeros, como realizar las ecuaciones de cada
función.
q: No realiza ejercicios de los ángulos a través de las funciones.
r : No consigue explicarles a sus compañeros, como realizar las ecuaciones de cada
función.

P1:( p → s )
Si Johanna obtuvo las mejores calificaciones en la universidad Uniminuto, en la
materia de Trigonometría., entonces practica diariamente las funciones
trigonométricas (Seno, Coseno, Tangente, Cotangente, Secante y Cosecante).
P2:( q → r )
No realiza ejercicios de los ángulos a través de las funciones, entonces no consigue
explicarles a sus compañeros, como realizar las ecuaciones de cada función.

P3:( p ∧r )
Johanna obtuvo las mejores calificaciones en la universidad Uniminuto, en la materia
de Trigonometría y consigue explicarles a sus compañeros, como realizar las
ecuaciones de cada función.

Conclusión: ( q ∧ s )
Realiza ejercicios de los ángulos a través de las funciones y Practica diariamente las
funciones trigonométricas (Seno, Coseno, Tangente, Cotangente, Secante y
Cosecante).

Expresión simbólica: [ ( p → s ) ∧ ( q → r ) ∧ ( p ∧r )]→ ( q ∧ s )

Lenguaje natural: Si Johanna obtuvo las mejores calificaciones en la universidad
Uniminuto, en la materia de Trigonometría, entonces práctica diariamente las
funciones trigonométricas (Seno, Coseno, Tangente, Cotangente, Secante y
Cosecante) y si no realiza ejercicios de los ángulos a través de las funciones, entonces
no consigue explicarles a sus compañeros, como realizar las ecuaciones de cada
función y Johanna obtuvo las mejores calificaciones en la universidad Uniminuto, en
la materia de Trigonometría y Consigue explicarles a sus compañeros, como realizar
las ecuaciones de cada función, por lo tanto realiza ejercicios de los ángulos a través
de las funciones y Práctica diariamente las funciones trigonométricas (Seno, Coseno,
Tangente, Cotangente, Secante y Cosecante).
Simulador Lógica UNAD

[ ( p → s ) ∧ ( q → r ) ∧ ( p ∧r )]→ ( q ∧ s )

La proposición compuesta de este ejercicio es una Tautología, dado que son todas
verdaderas.
Tabla de verdad manualmente

a. Expresión simbólica: [ ( p → s ) ∧ ( q → r ) ∧ ( p ∧r )]→ ( q ∧ s )

 Conclusiones

1. Con este reto obtuve pautas para conocer las reglas de inferencia y los
razonamientos inductivos y/o deductivos, para desarrollar la tarea_2.

2. Me enseñó como realizar las preposiciones en lenguaje simbólico a lenguaje

natural y practicar los conceptos lógicos.

3. Aprender y entender las tablas de verdad.

Bibliografía
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios:
Larousse - Grupo Editorial Patria. (pp. 29-38).

 Cristihan C. G.C (Cristihan Camilo Casteblanco Gomez). (2018 Octubre 28)

Razonamiento inductivo y deductivo. Recuperado de
https://www.youtube.com/watch?v=89KwYAqyc2c

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de

grafos. Córdoba, AR: El Cid Editor. (pp. 40-49).

 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video].

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84).

 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video].