Universidad Nacional Abierta y a Distancia

Luis Merlano Mestre

Pensamiento Lógico Matemático

Tutor:

Yader Blandón

Código:

1143370076

Unidad 2 – Tarea 2

Cartagena de Indias

Fecha:

06/11/2019
Introducción

A continuación en este trabajo nos encontraremos con una serie de ejercicios

escogidos, que fueron realizados de tal manera que se encontraron los resultados
obtenidos.
Podemos observar que dentro del presente taller, se encuentran temas como
Proposiciones Categóricas, Razonamiento Deductivo e Inductivo y Problemas de
Aplicación, que al ser unos temas extenso dentro de la lógica matemática, se pudo
realizar con esfuerzo los ejercicios planteados.
Objetivos

 Resolver problemas matemáticos mediante diferentes estrategias,

procedimientos y recursos, desde la intuición hasta los algoritmos.
 Adquirir hábitos racionales de trabajo, tanto individual como en equipo, y elaborar
estrategias para analizar situaciones, recoger datos, organizarlos, tratarlos
y resolver problemas.
 Identificar y dar ejemplos de razonamiento inductivo.
 Fijar esquemas de razonamiento a través del ejercicio de actividades lógico-
formales.
 Usar los símbolos básicos empleados en lógica.
 Interpretar expresiones lógicas sencillas.
Ejercicio 1: Proposiciones categóricas
Proposiciones categóricas:
P: Todos los esposos son fieles.
Q: Algunos esposos son fieles.

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

Cuantificador Término Sujeto Cualidad o Término

Cúpula Predicado
P Todos Esposos Son Fieles
Q Algunos Esposos Son Fieles

A: Universal Afirmativa
E: Universal Negativa
I: Particular Afirmativa
O: Particular Negativa
A: Todo S son P +
E: todo S no es P -
I: Algunos S son P +
O: Algunos S no son P -
Ejercicio 2: Razonamiento Deductivo e Inductivo

Argumento
Manejar vehículo es una actividad riesgosa, para ello se debe tener en cuenta
algunas normas, entre ellas, no utilizar el celular o distraerse con los pasajeros, por
lo tanto, la atención siempre debe estar en la vía y respetando los límites de
velocidad.
Desarrollo
Argumentación: El razonamiento utilizado es el razonamiento deductivo puesto que
argumenta un razonamiento correcto en la práctica de manejar vehículo, ya que
sabemos que conducir es un riesgo si no se toman en cuenta cada norma de
seguridad.

Ejercicio 3 – Problemas de aplicación

Expresión simbólica: [(𝑟→¬𝑞) ∧(¬𝑞→𝑠) ∧(𝑝∧¬𝑠)]→¬𝑟
Premisas:
P1: 𝑟→¬𝑞
P2: ¬𝑞→𝑠
P3: 𝑝∧¬𝑠

1.

r: José practica futbol

¬q: José no practica futbol

¬q: José no practica futbol

S: en la escuela José practica futbol

p: Juan estudia futbol, y

¬s: en la escuela José no practica futbol
¬ r: Hacer deporte no es bueno

2.
r -> ¬ q
Carlos participa, entonces José no lo hace.
¬ q -> s
Si José no participa, entonces Miguel sí.
P˄¬s
Miguel es actor, pero José no lo es.

3.
4.
[(𝑟 → 𝑞]˄(¬𝑞 → 𝑠)˄(𝑝˄ → ¬𝑠)] = 2

P Q R S ((R → ¬Q)˄(¬Q → S))˄(P˄¬S) → ¬R

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

Resultado Tautología

5.
[(𝑟 → 1𝑞)˄(1𝑞 → 𝑠)˄(𝑝˄ → 𝑠) → ¬r
p1: r¬9
P2: ¬q → s
P3: p˄¬s
P4: ¬r
P5: p˄¬q
P6: (p ∨ q)
P7: q → ¬p
P8: r → ¬p
P9: r
Conclusión
Podemos concluir que, en la lógica matemática, una regla de inferencia, o regla de
transformación es una forma lógica que consiste en una función que toma premisas,
analiza su sintaxis, y devuelve una conclusión.
La utilización del pensamiento lógico matemático, nos brinda la oportunidad de
analizar muy bien cada ejerció propuesto, nos da la oportunidad de realizar
preposiciones evaluando su valor en tablas de verdad determinado si las
conclusiones sean hechas correctamente a partir de las proposiciones compuestas.
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&doc
ID=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&doc
ID=3199701&tm=1529336485971

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

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