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

validez de argumentos

Tutor/a: Ciro Efraín Martínez Báez

Estudiante: Laura Sharis López Gómez
Código: 1022975974
Grupo: 200611A_474

Universidad Nacional Abierta y a Distancia UNAD

Escuelas de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería de Telecomunicaciones
Curso: Pensamiento Lógico y Matemático
Bogotá, 11 de noviembre de 2018

|
 Introducción

En este documento se podrá evidenciar los conocimientos acerca clasificación de

preposiciones los cuales nos permite desarrollar un mejor pensamiento no solo
aplicado a los ejercicios propuestos si no a la vida diaria.

Objetivo

El objetivo de este documento en evidenciar el conocimiento adquirido y la

aplicación de los conocimientos en diversos ejercicios y procedimientos

|
Ejercicio 1: Proposiciones categóricas

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

ejercicio 1:
a).

p: Algunos estudiantes de lógica son mayores que los de catedra.

q: Todos los estudiantes de lógica son mayores que los de catedra.

Solución:

● Establecer su estructura de acuerdo con la siguiente tabla:

p: Algunos estudiantes de lógica son mayores que los de catedra.

ESTRUCTURA

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

Estudiantes de
Algunos lógica Son Mayores que los de
catedra

q: Todos los estudiantes de lógica son mayores que los de catedra.

ESTRUCTURA

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

Estudiantes de
Todos lógica Son Mayores que los de
catedra

|
 ● Determine el tipo de proposición (A, E, I, O).
Solución

La preposición p es una preposición I - Particular afirmativa y la preposición q

es una preposición A- Universal afirmativa.

● 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

Solución

A E
C O N T R A R I A S

SUBALTERNAS
SUBALTERNAS

SUBC O N T R A R I A S
I O

De acuerdo al esquema propuesto p es

subalterno al enunciado q. teniendo en
cuenta que I es subalterno de A

|
Ejercicio 2: Razonamiento Deductivo e Inductivo

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

ejercicio 2:

a. Según las instrucciones del recetario los cupcakes se deben hornear durante
una hora. El pastelero Juan introduce al horno los cupcakes a las diez de la
mañana, por lo tanto, los cupcakes estarán listos a las once de la mañana.

Solución

● Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es un razonamiento deductivo, ay que parte de una premisa

verdadera, indica una conclusión necesariamente verdadera.

● Argumentar la respuesta con sus propias palabras.

Lo que nos indica el razonamiento es que al meter los cupcakes durante 1 hora
al horno estos estarán en su punto, por tal motivo si el pastelero Juan pone los
cupcakes a las 10 de la mañana y teniendo en cuenta lo antes indicado los
cupcakes estarán listos a las 11 de la mañana.

|
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 3:

Expresión simbólica: [(p∧q)∧(p→r)]⟶(r∧q)

Premisas:

P1: p∧q
P2: p→r
Conclusión: r∧q

Solución

Proposiciones simples

p: Camila es afiliada a Colsubsidio

q: Estudia en la UNAD

r: Obtiene un descuento

p1: Camila es afiliada a Colsubsidio y estudia en la UNAD

p2: Si Camila es afiliada a Colsubsidio entonces Camila obtiene un descuento

Conclusión: Obtiene un descuento y estudia en la UNAD

|
Lenguaje natural

Camila es afiliada a Colsubsidio y estudia en la UNAD. Si Camila es afiliada a

Colsubsidio entonces obtiene un descuento, por tanto obtiene un descuento y
estudia en la UNAD.

● Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico

Solución

p q r [(pΛq)Λ(p→r)]→(rΛq)

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

expression is a tautology

|
 ● Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).

(pΛq)Λ(p→r [(p∧q)∧(p→r)]⟶(r∧
p q r (pΛq) (p→r) (r∧q)
) q)

V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F F V F V
F V V F F V V V
F V F F F V F V
F F V F F V F V
F F F F F V F V

|
 Conclusiones

 Mediante este documento pudimos comprender de una mejor manera la

manera de argumentar y comprobar la validez de las preposiciones.

 La lógica la podemos aplicar en cada aspecto de la vida diaria

|
 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
 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