Proposiciones categóricas y razonaminetos lógicos.

Tutor: Juan Pablo Obando

Estudiante: Jaqueline Benavides Melo.

Código: 1.004.572.623

Grupo: 200611_267

Universidad Nacional Abierta y a Distancia UNAD

Pasto, junio 2020

 Introducción

En esta unidad se desarrollara y dará a conocer sobre las temáticas de las

preposiciones categóricas, leyes de inferencia y razonamientos deductivos e inductivos,

también se usara para el apoyo de este trabajo el uso de los enlaces de las lecturas expuestas

en el entorno de conocimiento.

A cada ejercicio y problema se da su respectiva solución, como por ejemplo al

lenguaje simbólico dar un lenguaje natural igualmente se puede evidenciar el desarrollo de

tablas de verdad por medio del simulador lógica UNAD y tablas de verdad de forma

manual, también la estructura de las proposiciones categóricas y el tipo de proposición.

 Objetivos

Objetivo general

 Conocer los temas y métodos utilizados en esta unidad para aprender más sobre las

proposiciones categóricas, las leyes de inferencia y el razonamiento deductivo e

inductivo.

Objetivos específicos

 Analizar cada uno de los temas y ejercicios a desarrollar.

 Desarrollar los puntos propuestos siguiendo los ejemplos y anexos, también

analizando los enlaces expuestos en el entorno de conocimiento.

 Interpretar cada ejercicio para dar una buena solución.

 Identificar cada una de las proposiciones categóricas, las leyes de inferencia y tipos

de razonamientos, para dar solución a los ejercicios planteados.

 Q
Ejercicio 1: Proposiciones SUBALTERNAS
categóricas

Descripción del ejercicio

C).

p: Algunos médicos son cirujanos.

q: Todos los médicos son cirujanos.

ESTRUCTURA

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

P: Algunos Médicos Son Cirujanos

Q: Todos Médicos Son Cirujanos

 Clasificación de p: Proposición tipo I

Particular afirmativa (Algunos S son P) Cuantificador particular y cualidad

afirmativa.
 Clasificación de q: Proposición tipo A

Universal afirmativa (Todo S es P) Cuantificador universal y cualidad afirmativa.

A E
C O N TCROANDTIRC AT D
SUBALTERNAS O IRCI TAOS R I A S

CONTRARIAS
 P SUBCONTRARIAS O
I

De acuerdo al esquema, p y q son proposiciones subalternas entre I – A.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:

C. El Everest es la montaña más alta del mundo. Por tanto, toda otra montaña del
mundo es más baja que el Everest.

 Identificar si el razonamiento es deductivo o inductivo.

Razonamiento Deductivo.

 Argumentar la respuesta con sus propias palabras.

El razonamiento utilizado es deductivo, ya que, a partir de los hechos y estudios

conocidos sobre las montañas más altas del mundo, tenemos el Everest como la
 montaña más alta del mundo, por tal motivo se deduce que las otras montañas del

mundo son más bajas que el Everest.

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

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

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

 proposiciones simples:

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

p: Entrego mis aportes significativos a tiempo

q: Soy disciplinada en mis estudios

r: Resuelvo mis inquietudes del tema con mi tutor

s: En las noches veo videotutoriales del tema

 lenguaje natural:

Si entrego mis aportes significativos a tiempo entonces soy disciplinada en mis estudios,

y si soy disciplinada en mis estudios entonces no resuelvo mis inquietudes del tema con
 mi tutor, y entrego mis aportes significativos a tiempo y en las noches veo video-

tutoriales del tema, entonces no resuelvo mis inquietudes del tema con mi tutor.

 Tabla de verdad con el simulador Lógica UNAD

 Tabla de verdad manualmente

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

v v v v f v f F v f v
v v v f f v f F f f v
v v f v v v v V v v v
v v f f v v v V f f v
v f v v f f v F v f v
v f v f f f v F f f v
v f f v v f f F v f v
v f f f v f f F f f v
f v v v f f f F f f v
f v v f f f f F f f v
f v f v v f v F f f v
f v f f v f v F f f v
f f v v f v v V f f v
f f v f f v v V f f v
f f f v v v f F f f v
f f f f v v f F f f v
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

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

P4: p. Regla I simplificación, en p3.

P5: q. Modus Ponendo Ponens, en p1 y p4.

P6: r. Modus Ponendo Ponens, en p2 y p5.

Conclusión
 En este trabajo adquiri algunos conocimientos sobre las preposiciones categoricas,

razonamientos y leyes de inferencia, llegando al desarrollo de cada uno de los ejercicios

planteados dentro de esta actividad.

Puedo concluir que para resolver algunos ejercicos se hizo el uso lecturas

interpretacion e investigacion sobre los temas propuestos para obtener una mejor solucion a

los problemas y ejercicios planteados en esta actividad.

Referencias Bibliográficas
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

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

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

Ediciones Elizcom, Madrid (pp. 78 - 99) Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?

ppg=81&docID=3199701&tm=1529336485971