UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO

CODIGO 200611

TAREA 3

PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA PROBAR

ARGUMENTOS

TRABAJO INDIVIDUAL

VILLAVICENCIO- META

ABRIL-21_2019
INTRODUCCION

En las proposiciones categóricas utilizamos los métodos para demostrar la validez de

argumentos, mediante la aplicación correcta, los razonamientos por inducción y deducción,
así mismo generar manualmente la tabla de verdad, comprobando el resultado por medio
del simulador lógica unad y aplicar las leyes de inferencia.
OBJETIVOS

Tener la claridad y comprobar la validez de argumentos por medio de los principios de

lógica como aplicar las formulas correctas de las leyes de inferencia y los razonamientos
por inducción y deducción.
Ejercicio 1: Proposiciones categóricas

A). Establecer su estructura de acuerdo con la siguiente tabla:

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

ESTRUCTURA

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

Predicado
Todos estudiantes ganan curso

 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.

 Clasificación de q: proposición tipo o.

Algunos S no son P. Cuantificador particular y cualidad negativa.

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

las proposiciones son contrarias, de contingencia o subcontrarias.
 CO N TR A R I AS
Ap
S U B A L T E R NA
E

SUBALTERNA
I qO
S U B C O N T R A R I A S
 De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

 : Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.

a. Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a
José, él no les pagó; ahora nuevamente José le pide a Miguel que le haga un
préstamo, inmediatamente Miguel asume que no le va pagar ese dinero.
Argumentación:
El razonamiento utilizado es inductivo ya que Miquel inmediatamente asume que
José no le va a pagar el préstamo que le hizo, partiendo por las premisas lógicas
que anteriormente juan no pago el préstamo.

Ejercicio 3: Problemas de aplicación

 a. Expresión simbólica: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

Premisas:

P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)

Conclusión: ¬r

Desarrollo: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

Proposiciones simples

p: Alberto es estudiante de la UNAD

q: está cursando el segundo semestre de psicología

r: participo en las prácticas profesionales

s: asiste en los B-learning

Razonamiento en lenguaje natural

“Si participo en las prácticas profesionales entonces no está cursando el segundo semestre
de psicología no obstante Alberto es estudiante de la UNAD o también asiste en los B-
learning y está cursando el segundo semestre de psicología además Alberto es
estudiante de la UNAD. Entonces no participo en las prácticas profesionales.
 Generar la tabla de verdad manualmente:

: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

p Q r s -q -r (𝑟 → ¬𝑞) (𝒑 ∨ 𝒔) (q ∧ p) (𝒓 → ¬𝒒) ∧ (𝒑 ∨ 𝒔) (𝒓 → ¬𝒒) ∧ (𝒑 ∨ 𝒔) ∧ (𝒒 ∧ 𝒑) (𝒓 → ¬𝒒) ∧ (𝒑 ∨ 𝒔) ∧ (𝒒 ∧ 𝒑)] ¬ r

V V V V F F F V V F F V

V V V F F F F V V F F V

V V F V F V V V V V V V

V V F F F V V V V V V V

V F V V v V V V F V F V

V F V F V V V V F V F V

V F F V v V V V F V F v

V F F F V V V V F V F V

F V V V F F F V F F F V

F V V F F F F F F F F V

F V F V F V V V F V F V

F V F F F V V F F v F V

F F V V v V V V F V F V

F F V F V V V F F V F V

F F F V V V V V F V F V

F F F F V V V F F V F V

 Resultado de la tabla de verdad es tautología.

 Leyes de inferencia: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)

Conclusión: ¬r
P4: p aplicando simplificación en p3
P5: q aplicando modus tollendo tollens p3

Conclusión: ¬r

CONCLUSIONES
Se concluyó que por el trabajo desarrollado s pudo Comprender e identificar de forma
clara los métodos para demostrar la validez de argumentos, mediante la aplicación correcta
de las reglas de inferencia lógica, los razonamientos por inducción y deducción en
formulaciones de nuestra vida cotidiana.

BIBLIOGRAFIA
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61-65.)
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 78 - 99). Ediciones Elizcom, Madrid