UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

TAREA 3 – CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS

POR:
YIZETH MOLINA RODRIGUEZ
NÚMERO DE GRUPO: 200611_1214

TUTOR: YENNY MARISOL CAYACHOA

CIENCIAS SOCIALES ARTES Y HUMANIDADES

PSICOLOGIA
TUNJA
NOVIEMBRE 2018
 INTRODUCCIÓN

Este trabajo se realiza con la finalidad de que el estudiante identifica en 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
situaciones específicas del mundo real.
 OBJETIVOSOBJETIVO GENERAL
 Fortalecer los conceptos y temas adquiridos en las unidades de lógica matemática.

OBJETIVOS ESPECIFICOS
Dar uso a las formas básicas de las tablas de verdad.
 Demostrar la validez o no validez de situaciones problemáticas por medio de los
principios de lógica.
Demostrar la validez o no validez de situaciones problemáticas por medio de las leyes
de inferencia lógica.
 Analizar y plantear una solución a la guía de actividades.
 TAREA 3 – CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA PROBAR
VALIDEZ DE ARGUMENTOS

Ejercicio 1: Proposiciones categóricas

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

d. p: Todos los lunes llueve en Bogotá.

q: Todos los lunes no llueve en Bogotá.

A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los
siguientes ítems:

1. Establecer su estructura de acuerdo con la siguiente tabla:

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

De acuerdo a la determinación anterior y teniendo el siguiente esquema, establezca si las
proposiciones son contrarias, de contingencia o subcontrarías. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.

SOLUCIÓN:

1. Establecer su estructura:

p: Todos los lunes llueve en Bogotá.

S P
q: Todos los lunes no llueve en Bogotá.

ESTRUCTURA
Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado
p: Todos lunes llueve Bogotá
q: Todos Lunes No llueve Bogotá

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

 p q -
+
Universales

Particulares

La Clasificación de p: Proposición tipo “A”, positiva

La Clasificación de q: Proposición tipo “E”, negativa
De acuerdo al esquema propuesto p y q son CONTRARIAS.

Ejercicio 2: Razonamiento Deductivo e Inductivo

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

d. Newton en sus observaciones notó que una manzana cae verticalmente hacia la Tierra en
una trayectoria rectilínea, mientras que la Luna describe una órbita casi circular, que es una
trayectoria cerrada también está cayendo, la diferencia es que la Luna tiene un movimiento de
caída permanente, mientras que la manzana choca con la superficie de la Tierra. Una misma
causa produce, por tanto, estos dos movimientos, la aceleración debido a la gravedad.
A partir de estas experiencias Newton pudo enunciar la Ley de Gravitación Universal, a partir de
la cual unificó las causas de los movimientos que ocurren en la superficie exterior y en la
superficie de la tierra.

SOLUCIÓN
Argumentación: El razonamiento utilizado es INDUCTIVO, ya que Newton por medio de la
observación de los movimientos planetarios y de ver que las manzanas caían del árbol de su
casa, dedujo que había una fuerza responsable de ello, sometiendo su razonamiento a diversas
pruebas y fue así como estableció la Ley de Gravitación Universal.
Ejercicio 3: Problemas de aplicación

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

argumento para el desarrollo del ejercicio

d. Expresión simbólica: [(𝒑→𝒒)∧(𝒓→𝒔)∧(𝒑∧𝒕)]→𝒒

Premisas:
P1: 𝒑→𝒒
P2:(𝒓→𝒔)
P3: 𝒑∧𝒕
Conclusión 𝒒
A partir de la expresión simbólica seleccionada, el estudiante deberá:

1. 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.
2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
3. Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador TRUTH,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso).
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
5. Demostración de la validez del argumento mediante las leyes de la inferencia lógica

SOLUCIÓN:
1. Proposiciones simples
p: Debo obtener buenas calificaciones
q: Podre pertenecer a la liga de patinaje
r: Participar en el torneo nacional
s: Ganar una medalla
t: Familia muy orgullosa

2. Razonamiento en lenguaje natural:

Debo obtener buenas calificaciones, entonces así podre pertenecer a la liga de patinaje,
y participare en el torneo nacional, entonces podre ganar una medalla, y si obtengo
buenas calificaciones, y mi familia se sentirá muy orgullosa, entonces perteneceré a la
liga de patinaje.
3. Tabla de verdad con el simulador Truth Table

4. Tabla de verdad manualmente en Excel

p q r s t (p → q) (r → s) (p ^ t) (p → q)^ (r → s) {(p → q)^ (r → s)}^(p ^ t) [(p → q)^ (r → s)^(p ^ t)]→ q

1 V V V V V V V V V V V
2 V V V V F V V F V F V
3 V V V F V V F V F F V
4 V V V F F V F F F F V
5 V V F V V V V V V V V
6 V V F V F V V F V F V
7 V V F F V V V V V V V
8 V V F F F V V F V F V
9 V F V V V F V V F F V
10 V F V V F F V F F F V
11 V F V F V F F V F F V
12 V F V F F F F F F F V
13 V F F V V F V V F F V
14 V F F V F F V F F F V
15 V F F F V F V V F F V
16 V F F F F F V F F F V
17 F V V V V V V F V F V
18 F V V V F V V F V F V
19 F V V F V V F F F F V
20 F V V F F V F F F F V
21 F V F V V V V F V F V
22 F V F V F V V F V F V
23 F V F F V V V F V F V
24 F V F F F V V F V F V
25 F F V V V V V F V F V
26 F F V V F V V F V F V
27 F F V F V V F F F F V
28 F F V F F V F F F F V
29 F F F V V V V F V F V
30 F F F V F V V F V F V
31 F F F F V V V F V F V
32 F F F F F V V F V F V
 5. Validez del argumento mediante las leyes de la inferencia lógica.
Premisas
P1: 𝒑→𝒒
P2: 𝒓→𝒔
P3: 𝒑∧𝒕
𝒒
5. p S en 3
6. r S en 2
7. t S en 1 y 3
8. q LC en 1 y 5 CONCLUSIÓN
 CONCLUSIONES
Reforzamos los conocimientos adquiridos en la anterior unidad al dar usode las formas
básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para
demostrar la validez o no validez de las situaciones problemáticas propuestas.

 Analizamos en grupo la situación problémica sugerida en la guía pormedio de las
inferencias lógicas y las leyes de inferencia planteando una solución.
 REFERENCIAS BIBLIOGRÁFICAS
Proposiciones categóricas
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
Leyes de Inferencia
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

Tipos de Razonamiento
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
 
OVI Unidad 3 - Uso de las Leyes de Inferencia en la demostración de la validez de un
argumento
Este Objeto Virtual de Información, titulado Leyes de Inferencia, tiene como objetivo, orientar
al estudiante acerca de uno de los métodos para demostrar la validez de un argumento. El OVI
igualmente, servirá como documento de consulta para realizar una de las actividades
propuestas en la Guía Integrada de Actividades del curso.
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869
Recursos educativos adicionales para el curso
Los recursos educativos adicionales, sirven de apoyo para ampliar información relacionada con
el tema de la unidad y puede ser consultada cuando así lo requiera, especialmente, para
complementar información que le permita desarrollar los diferentes ejercicios propuestos para
esta unidad.
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas universitarias.
México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069