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

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

Todos estudiantes ganan curso

ESTRUCTURA

 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

p
S U BAA L T E R NA E
 CO NTRADICTORIAS
CONTRADICTORIAS SUBALTER
NA

 I qO
SUBCONTRARIAS
 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 → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ] → ¬r
 Premisas:

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

Conclusión: ¬r

Desarrollo: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→ ¬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 → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→ ¬r

p Q r s -q -r ( r →¬ q )( p∨ s ) ( q ∧ p ) ( r →¬ q ) ∧ ( p ∨ s()r →¬ q ) ∧ ( p ∨ s ) ∧((rq→¬
∧ p )q ) ∧ ( p ∨ s ) ∧ ( 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 → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→ ¬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