Trabajo individual

Tarea 3 - Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos

Laudith Noraima Ortega García

Curso: 200611

Curso Pensamiento lógico matemático

Grupo: (200611A_614)

Norbey Romero

Tutor

Periodo 16-04 administración en salud

Universidad Nacional Abierta Y A Distancia Unad

Cucutilla Norte De Santander

2019

Introducción
El propósito de este trabajo es que los estudiantes desarrollen más habilidades
para desarrollar ejercicios de Clasificación de proposiciones categóricas y
Métodos para probar validez de argumentos dando como resultados tautologías,
contradicción o contingencias y así puedan analizar muy bien cada uno de los
ejercicios al momento de hacerlos.
 Objetivos

 Analizar los ejercicios de Clasificación de proposiciones categóricas y

Métodos para probar validez de argumentos para poder desarrollarlos de
forma correcta.
 Demostrar más interés de parte de los estudiantes para poder desarrollar
los ejercicios de Clasificación de proposiciones categóricas y Métodos para
probar validez de argumentos.
 Ejercicio 1: Proposiciones categóricas
A).
p: Todos los estudiantes ganan la evaluación final de curso
q: Algunos estudiantes no ganan la evaluación final de curso

 Establecer su estructura de acuerdo con la siguiente tabla:

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Todos Estudiantes Ganan Evaluación

 Determine el tipo de proposición (A, E, I, O).

Clasificación de P: Proposición Tipo “A”
Universal afirmativa. Cuantificador universal y cualidad afirmativa.

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Algunos Estudiantes Ganan Evaluación

Clasificación de P: Proposición Tipo “E”

Universal negativa. Cuantificador universal negativo y cualidad negativa.

 De acuerdo a la determinación anterior y teniendo el siguiente esquema,

establezca si las proposiciones son contrarias, de contingencia o su contrarias.

De acuerdo al esquema propuesta p y q son contradictorios subalternos. Porque se

relaciona A con O y E.
 Ejercicio 2: Razonamiento Deductivo e Inductivo
A. La librería a la que frecuentemente va Sofía tiene el último fin de semana de cada mes
promociones; por lo que decide que a partir del próximo mes irá el último fin de semana a
comprar los libros que tanto le gustan, ahorrando así una cantidad importante de dinero.
Desarrollo
El argumento propuesto es del tipo deductivo, puesto que denota la elaboración de
inferencias, en base a premisas verdadera.
 Ejercicio 3: Problemas de aplicación
A. Expresión simbólica: [(p → ¬q) ∧ (q ∨ ¬ r) ∧ r] → ¬p
Premisas:
P1: p → ¬q
P2: q ∨ ¬r
P3: r
Conclusión: ¬p

Desarrollo:

 Razonamiento en lenguaje natural: mis equipos favoritos son la selección

Colombia, Atlético Nacional y Real Madrid ya que son los mejores equipos cuando
veo sus partidos me lleno de mucha alegría, emoción y mucha pasión, para mí
como hincha de estos grades equipos me genera mucha alegría verlos ganar y
triunfar en cada partido final que ganan pero también me genera tristeza cuando
pierden. En este momento me siento feliz porque he aprendido a ganar y a perder.

 Proposiciones simples:
p: mi equipo gana
q: me genera alegría
r: me genera tristeza

 Generar la tabla de verdad manualmente:

pqr (q∨ ¬r) ∧r →r [(p → ¬q) ∧ (q ∨ ¬ r) ∧ r] → ¬p

V V V V V
V V F V V
V F V V V
V F F V V
F V V F V
F V F F V
F F V F V
F F F F V
  Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

Leyes de inferencia: (Mediante la aplicación de las leyes de inferencia, demuestre la

validez del argumento, recuerde que para aplicar leyes de inferencia debe haber obtenido
como resultado una tautología en la tabla de verdad)
P1: P →¬ q

P2:q ∨ →¬ r

P3: r ∧¬ p

P4: q modo ponnens P2 y P3

Modo ponnens
P1: P→¬q Si gana mi equipo entonces me genera alegría
P3: r∧¬p
Si pierde mi equipo entonces me genera tristeza.
p: mi equipo gana
q: me genera alegría
P5: ¬p modo Tollens entre P1 y P4

Modo Tollens Si gana mi equipo entonces me genera alegría

P1: ¬q
Si gana mi equipo entonces me alegro.
P4: q
q: me genera alegría
q: me genera alegría
Conclusión ¬p
 Conclusiones
Este trabajo consiste en que los estudiantes puedan descubrir más habilidades
para hacer sus ejercicios y todo lo que se establezca en las guías de aprendizaje
para desarrollar.
Se analizaron los ejercicios de Clasificación de proposiciones categóricas y
Métodos para probar validez de argumentos y se desarrollaron de forma correcta.

Demostró mucho interés de parte de los estudiantes en el desarrollo los ejercicios

de Clasificación de proposiciones categóricas y Métodos para probar validez de
argumentos.
 Bibliografía
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=72&docID=4569631&tm=1529336365580
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10473069