Pensamiento Lógico Matemático

Tarea 4
Sustentación unidades 1, 2 o 3

Estudiante
Fabián Andrés Ordoñez Buitrón
Grupo No 150001_334

Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Santiago De Cali, Valle Del Cauca.
Abril 21 2019
 CONTENIDO

GENERAL INDICE

Pág.

ÍNDICE GENERAL II
INTRODUCCIÓN III
OBJETIVOS IV

Ejercicio 1 unidad 4 Fabián Andrés Ordoñez Buitrón...................................................... 5

Ejercicio 2 unidad 3 Fabián Andrés Ordoñez Buitrón...................................................... 6

Ejercicio 3 unidad 3 Fabián Andrés Ordoñez Buitrón...................................................... 7

CONCLUSIONES............................................................................................................ 13

BIBLIOGRAFIA................................................................................................................ 14
 INTRODUCCIÓN

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
a una conclusión que puede identificarse como verdadera o no. Este puede convertirse
en inductivo o deductivo donde la conclusión presenta un grado de probabilidad
determinado por su validez.

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

desarrolladas a lo largo del curso de pensamiento lógico y matemático, entre las cuales
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
como el Truth Table. La demostración de la validez o no validez de un planteamiento por
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 problémicas.
 OBJETIVOS

OBJETIVO 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 problémicas por medio de los

principios de lógica.

• Demostrar la validez o no validez de situaciones problémicas por medio de las

leyes de inferencia lógica.

• Analizar y plantear una solución grupal a la situación problémica sugerida en la

guía
Ejercicio 1: Aplicación de la Teoría de Conjuntos

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

Conocimiento (Unidad 2), la siguiente referencia:

 Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México: Larousse - Grupo Editorial
Patria.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán ser
analizadas por el estudiante para el desarrollo del ejercicio 1.

A. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a ingresar
a la Universidad Nacional Abierta y a Distancia para ciertos programas de Ingeniería:

 50 prefieren Industrial.
 47 prefieren Sistemas.
 35 prefieren Electrónica.
 16 prefieren Sistemas y Electrónica.
 11 prefieren Industrial y Sistemas.
 15 prefieren Industrial y Electrónica.
 9 prefieren las tres.

De acuerdo con lo anterior, responder las siguientes preguntas:

• ¿Cuántos aspirantes fueron encuestados?

• ¿Cuántos aspirantes prefieren únicamente Industrial?

• ¿Cuántos aspirantes no prefieren Electrónica?

• ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no Sistemas?

• ¿Cuántos aspirantes prefieren Industrial o Sistemas?

• ¿Cuántos aspirantes fueron encuestados?

R/ la suma de todos los subconjuntos da como resultado un conjunto universal de 81

personas

• ¿Cuántos aspirantes prefieren únicamente Industrial?

 R/

33 aspirantes prefieren solo industrial

• ¿Cuántos aspirantes no prefieren Electrónica?

R/

33+2+11=46, 46 personas no prefieren electrónica

• ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no Sistemas?

R/

33+6+13=52, cincuenta y dos personas prefieren industrial o electrónica, pero no sistemas

• ¿Cuántos aspirantes prefieren Industrial o Sistemas?

R/

33+2+11+6+7+9=68, sesenta y ocho aspirantes prefieren industrial o sistemas

Ejercicio 2: Métodos para probar la validez de un argumento

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

Conocimiento (Unidad 3), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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

a. Expresión simbólica:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
 Premisas:
P1:[ 𝑝 → (𝑞 → 𝑟)]
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

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

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

p: Fabian es estudiante de medicina

q: Fabian estudia en una universidad privada

r: Fabian le falta poco para graduarse

s: Fabian es un estudiante responsable

 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:
R/ si Fabián es estudiante de medicina entonces Fabián estudia en una universidad privada,
entonces a Fabián le falta poco para graduarse; Fabián le falta poco para graduarse y es
estudiante de medicina; Fabián es un estudiante responsable o Fabián estudia en una
universidad privada; si Fabián no estudia en una universidad privada, en conclusión Fabián
es un estudiante responsable y estudia en una universidad privada, por lo tanto Fabián le
falta poco por graduarse
  Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

p q r s ((p→(q→r))∧(r∧p)∧(s∨q)∧~q)→s∧(q→r)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel
o foto del desarrollo manual).
proposiciones simples neg CONECTORES LÓGICOS
p q r s ¬q (q→r) [p→(q→r)] (r∧p) (s∨q) {[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q} {[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→s {[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)
v v v v f V V V V F V V
v v v f f V V V V F V V
v v f v f F F F V F V V
v v f f f F F F V F V V
v f v v V V V F V V V V
v f v f v V V F F F V V
v f f v V V V F V F V V
v f f f v V V F F F V V
f v v v f V V V V F V V
f v v f f V V V V F V V
f v f v f F V F V F V V
f v f f f F V F V F V V
f f v v v V V F V F V V
f f v f v V V F F F V V
f f f v v V V F V F V V
f f f f v V V F F F V V
 RELIZADO EN EXCELL Y PEGADA COMO IMAGEN

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Premisas

Premisas:
P1: p → (q → r)]
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

P5: p→r aplicamos la regla de inferencia de la demostración por casos

en 1

P6: p→q

P7: rΛp aplicamos la regla de simplificación en 2

∴p

P8: rΛp

∴r

P9: qVs aplicamos ley conmutativa en 3

P10: p → ¬q aplicamos ley distributiva en 4 y 5

P11: r → ¬q

P12: s Λ r aplicamos la regla de inferencia en la conclusión

P13: s Λ q
Respuesta: comprobamos que el argumento es válido ya que aplicamos las leyes de inferencia a
todas las premisas hemos podido demostrar que la conclusión es valida

CONCLUSIONES

• Reforzamos los conocimientos adquiridos en la anterior

unidad al dar uso de 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 problémicas propuestas.

• Analizamos en grupo la situación problémica sugerida en la

guía por medio de las inferencias lógicas y las leyes de inferencia
planteando una solución.
 BIBLIOGRAFIA

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61-65.)

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Simulador Lógica UNAD

https://www.youtube.com/watch?v=n00R0Z5dc08

https://www.youtube.com/watch?v=s7_mWDTgYy4

https://www.youtube.com/watch?v=OuHYh1Xw5no&t=844s