Nombre: Deisy Ruiz Bermúdez

CC.: 1023953739
Curso: Pensamiento lógico matemático
Tutor: Luis Eduardo Benjumea
Grupo: 251

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias sociales artes y humanidades
Programa Psicología
2019
Introducción
En este trabajo se verá desarrollado en tres diferentes ejercicios la practica

de las lecturas previamente realizadas de las Proposiciones categóricas y

razonamientos lógicos

Objetivo
Poner en práctica lo comprendido sobre proposiciones categóricas y
razonamientos logicos mediante ejercicios prácticos.
Tener claro los conceptos básicos para la correcta resolución de problemas
Ejercicio 1: Proposiciones categóricas

e).

p: Todos los abogados son muy profesionales

q: Algunos abogados no son muy profesionales

Estructura enunciado p

ESTRUCTURA

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

Todos abogados son Muy profesionales

Estructura enunciado q

ESTRUCTURA

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

Algunos abogados No son Muy profesionales

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

P: Universal afirmativa (proposiciones A) Todos los S son P

Q: Cuantificador particular y cuantificador negativo (proposiciones O) Algunos S no son P

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

esquema, establezca si las proposiciones son contrarias, de
 contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.

Todos los
abogados son
muy profesionales

Algunos abogados
no son muy
profesionales

Las proposiciones son contradictorias

Ejercicio 2: Razonamiento Deductivo e Inductivo

e. Los estudiantes de las universidades que son a Distancia, utilizan

los medios informáticos para estudiar, Claudia es estudiante de
Pensamiento Lógico Matemático de la UNAD. Claudia muy
seguramente utiliza los medios informáticos para estudiar.
  Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.

Es deductivo ya que se basa en el conocimiento de que los estudiantes

de la universidad a distancia utilizan los medios informáticos y Claudia
al estudiar en la UNAD que es una universidad a distancia
probablemente utilice los medios informáticos

Ejercicio 3: Problemas de aplicación

e. Expresión simbólica: [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)

Premisas:
P1: (𝑝 ⟶ 𝑞)
P2: (∼ 𝑟 ⟶ 𝑠)
P3: (𝑝 ∨∼ 𝑟)

Conclusión: (𝑞 ∨ 𝑠)
 Definir las proposiciones simples, tendrá la libertad de definirla bajo
una descripción basada en un contexto, el que se solicita es un
contexto académico,

p: pedro estudia artes

q: asiste a las prácticas

r:estudia todos los días

s:pierde el semestre
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural

Pedro estudia artes por lo tanto asiste a las practicas

Pero no sucede que estudia todos los días en consecuencia
pierde el semestre
A la vez pedro estudia artes o no estudia todos los días
Entonces asiste a las prácticas o pierde el semestre

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

partir del lenguaje simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje
simbólico

p q r s (p→q) ¬r (¬r→s) (p→q)ʌ(¬r→s) ¬r (p∨¬r) (p→q)Ʌ(¬r→s)ʌ(p∨¬r) (q∨s) ((p→q)Ʌ(¬r→s)Ʌ(p∨(¬r))→(q∨)

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

Tautologia
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

P1: (𝑝 ⟶ 𝑞)
P2: (∼ 𝑟 ⟶ 𝑠)
 P3: (𝑝 ∨∼ 𝑟)
P4: q v s Se aplica ley de dilema constructivo a la P1, P2 y P3

Conclusión: (𝑞 ∨ 𝑠)

Conclusión
Se pudo poner en practica las proposiciones categóricas, las tablas
de la verdad, las leyes de inferencia y razonamiento deductivo e
inductivo gracias a los ejercicios.

Referencias

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