Tarea 3 – clasificación de proposiciones categóricas y métodos para probar

validez de argumentos

Cristian Camilo Rubio

Estudiante

Guillermo Manjarres
Tutor

Universidad Nacional Abierta y a Distancia

CEAD Ibagué
2020
 Introducción.

El razonamiento lógico es un proceso en el cual se desarrollan diversos métodos y

principios enmarcados en la validez de algunas proposiciones que llevan a una
conclusión y pueden ser identificadas como verdaderas o falsas, igualmente puede
convertirse en un inductivo o deductivo donde la conclusión presenta un grado de
probabilidad determinado.
En el presente trabajo desarrollamos y repasamos conceptos y temáticas que
llevamos a lo largo del curso, entre las que se aplica la transición, el lenguaje natural,
lenguaje simbólico, la identificación de premisas simples y la creación de tablas de
verdad.
La demostración de validez por medio de las leyes de inferencia y las formas de
razonamiento deductivo e inductivo fueron fundamentales para proponer las soluciones
en las distintas problemáticas
Objetivos

Objetivo general
Fortalecer los temas adquiridos en las unidades anteriores y conocer la
función de las leyes de inferencia y su apropiación en cuanto al desarrollo
de los ejercicios.

Objetivos específicos.

 Definir la estructura para las proposiciones categóricas.

 Demostrar la validez o invalidez de las situaciones problemáticas por medio
de los principios de lógica y leyes de inferencia
 Dar uso a las formas básicas de las tablas de verdad y del simulador.
 Ejercicio 1. Proposiciones categóricas.

Proposiciones categóricas:

p: Ningún ser humano vive en la luna

q: Algunos seres humanos viven en la luna

Definición de la estructura de la proposición categórica.

Cuantificador Termino sujeto Cualidad o cúpula Predicado

Ningún Humano Vive Luna

Determinar el tipo de proposición (A, E, I, O)

Clasificación de p: proposición tipo E, Universal negativo.

Definición de la estructura de proposición categórica.

Cuantificador Termino sujeto Cualidad o cúpula Predicado

Algunos Humanos Viven Luna

Determinar el tipo de proposición (A, E, I, O)

Clasificación de q: Proposición tipo I, Particular afirmativo.

Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.

De acuerdo al esquema propuesto por p y q son Contradictorias

Ejercicio 2.

Razonamiento deductivo e inductivo.

1. Según los datos vistos en Investing.com el precio del Bitcoin durante el

año 2017 se valorizó durante cada uno los 12 meses del año. Esto llevó a que
personas particulares invirtieran en Bitcoin, dada su tendencia alcista, para
obtener ganancias

2. Identificar si el razonamiento es deductivo o inductivo.

El razonamiento utilizado es deductivo.

Ya que a partir de que el precio del bitcoin se valorizo durante todo el año, se
deduce la tendencia alcista, por lo tanto las personas particulares invirtieron en
bitcoin para obtener ganancias.
 Ejercicio 3: Problemas de aplicación:

Expresión Simbólica: [(p∨q) ∧ (s⟶∼r) ∧(r) ∧ (∼s⟶∼q)] ⟶ (p)

P1: (p∨q)

P2: (s⟶∼r)

P3: (r)

P4: (∼s⟶∼q)

Conclusión: (p)

Desarrollo proposiciones simples:

p: Voy a los entrenamientos de futbol

q: alcanzo la titularidad

r: logro ser banca

s: me esfuerzo en los entrenamientos

Razonamiento en lenguaje natural:

Si voy a los entrenamientos de futbol o alcanzo mi titularidad. Si me esfuerzo en

los entrenamientos entonces no logro ser banca. Si logro ser banca. Si no me esfuerzo
en los entrenamientos entonces no alcanzo la titularidad. Por lo tanto voy a los
entrenamientos de futbol
Generar tabla de verdad manualmente:

Resultado de la tabla de verdad: Tautología

Generar tabla con el simulador de lógica Unad.

Leyes de inferencia:

P1: (p∨q)

P2: (s⟶∼r)

P3: (r)

P4: (∼s⟶∼q)

Conclusión: (p)

P5: ∼s (de P2 Y P3 Por modus Tollens)

P6: ∼q (de P4 y P5 Por modus ponens)

P7: P (de P1 y P6 por Disyunción)

 Conclusión

Reforzamos los conocimientos adquiridos en las unidades anteriores, teniendo en

cuenta los principios de lógica y los razonamientos para demostrar validez de acuerdo a
las proposiciones de igual manera dimos uso a la herramienta del simulador de lógica y
desarrollamos tablas manualmente.

Hicimos análisis de las proposiciones y su problemática, se hizo su desarrollo de

manera correcta por medio de las leyes de inferencia y la función que cumple cada una
de ellas.
 Bibliografías

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://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4569631&ppg=72

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4569631&ppg=91

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4569631&ppg=91