Pensamiento Lógico Matemático.

Tarea 3

Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos

Presentado:

Geovanny Andrés Ureña Rodríguez

c.c: 1004903958

Tutor:

Nevardo Alonso Ayala

Grupo:

200611_384

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias básicas tecnología e ingeniería - ECBTI

Cúcuta
 Abril 2020

INTRODUCCION.

El razonamiento lógico es un proceso mental en el cual interviene la aplicación

de formas, métodos y principios enmarcados en la validez de algunas premisas
que llevan una conclusión que puede ser identificada como verdadera o no.
Esto puede convertirse en inductivo o deducible donde la conclusión presenta
un grado de probabilidad determinada por su validez.

En el siguiente trabajo se muestra una serie de conceptos y temáticas

desarrolladas a lo largo del curso del pensamiento lógico matemático, entre las
que se aplica la transición del lenguaje natural al lenguaje simbólico, la
identificación de las premisas simples, la elaboración de las tablas de verdad,
el uso de software simulador.

La de mostración de la validez o no, la validez de un planeamiento por el

medio de las leyes de inferencia y las formas de razonamiento (inductivo y
deductivo) para proponer una formalización y resolución a las situaciones
problemáticas.
Objetivos Generales

 Fortalecer los principios y temas adquiridos en las unidades de lógica

matemática.

Objetivos específicos.

 Dar uso a las formas básicas de las tablas de verdad.

 Demostrar la validez o la invalidez de las situaciones problemáticas en el

medio de los principios de la lógica.

 Demostrar la validez o la invalidez de las situaciones problemáticas por

medio de las leyes de la indiferencia lógica.

 Analizar y plantear una situación grupal a la problemática sugerida en la

guía.
Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1:

b).

p: Ningún ser humano vive en la luna

q: Algunos seres humanos viven en la luna

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA
cuantificador Termino sujeto Calidad o cúpula Termino predicado

Ningún Ser Humano vive En la Luna

ESTRUCTURA
cuantificador Termino sujeto Calidad o cúpula Termino predicado

Algunos Seres Humanos viven En la Luna

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

p: Ningún ser humano vive en la luna Proposición tipo “E”

q: Algunos seres humanos viven en la luna Proposición tipo “I”

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

esquema, establezca si las proposiciones son contrarias, de
contingencia o sub contrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.
 De acuerdo al esquema p y q son contradictorias

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo

del ejercicio 2:

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

A partir del razonamiento que haya seleccionado, deberá dar respuesta a

los siguientes ítems:

 Identificar si el razonamiento es deductivo o inductivo.

Inductivo

 Argumentar la respuesta con sus propias palabras.

Porque va de lo particular a lo general

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en

el Entorno de Conocimiento (Unidad 3), la siguiente referencia:

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

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

Premisas:
P1: ( p ∨q)
P2: ( s ⟶∼ r)
P3: (r )
P4: (∼ s ⟶∼ q)

Conclusión: ( p)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples.

Proposiciones simples

P= salir a la calle

q= salir a la universidad

s= llevar el tapabocas puesto

r= nos podemos contagiar del virus

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.
salimos a la calle o a la universidad y llevamos el tapabocas puesto entonces
no es cierto que nos podemos contagiar del virus y si nos contagiamos del
virus y no llevamos tapabocas puesto entonces no podemos salir a la
universidad por lo tanto no podemos salir a la calle.

 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)∧(s ⟶ ∼r )∧(r )∧(∼ s ⟶ ∼q)]⟶(p)

p q s r ∼r ∼s ∼q ( p ∨q) ( s ⟶∼ r) (r ) (∼ s ⟶∼ q) ( p ∨q) ∧(s ⟶ ∼r ) (r )∧(∼ s ⟶ ∼ q) [( p ∨q)∧(s ⟶ ∼[(r p)∧(r
∨q)∧(s
)∧(∼⟶
s⟶∼r∼)∧(r
q)] )∧
v v v v f f f v f v v f v f v
v v v f v f f v v f v v f f v
v v f v f v f v v v f v f f v
v v f f v v f v v f f v f f v
v f v v f f v v f v v f v f v
v f v f v f v v v f v v f f v
v f f v f v v v v v v v v v v
v f f f v v v v v f v v f f v
f v v v f f f v f v v f v f v
f v v f v f f v v f v v f f v
f v f v f v f v v v f v f f v
f v f f v v f v v f f v f f v
f f v v f f v f f v v f v f v
f f v f v f v f v f v f f f v
f f f v f v v f v v v f v f v
f f f f v v v f v f v f f f v
TAUTOLOGIA
 CONCLUSION

 Reforzamos los conocimientos adquiridos en el anterior Unidad a dar Uso

a las formas básicas de las tablas de verdad, los principios de Lógica y
los razonamientos lógicos para demostrar la validez de las situaciones o
problemáticas propuestas.

 Analizamos en grupo la situación problemática sugerida en la guía pro

medio de la inferencia lógica y las leyes de inferencia planteado una
solución.
 BIBLIOGRAFIAS

 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

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

 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

 Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869