PENSAMIENTO LOGICO MATEMATICO

BORIS DAVID MENDOZA OTERO

1098645078

UNIVERSIDA NACIONAL Y A DISTANCIAS UNAD

INGENIERIA INDUSTRIAL
16-04
2020
 INTRODUCCION

Este Trabajo se realiza con el fin de desarrollar la tarea 1 del curso Pensamiento

lógico matemático basado en una guía de actividades y rubrica de evaluación

suministrada por los tutores del curso donde los principales temas a desarrollar en esta

unidad es métodos para probar validez de argumentos donde cada uno de los estudiantes

aplicaran las tablas de verdad para cada uno de los ejercicios que continuación se

desarrollara y a su vez las reglas de inferencias para comprobar su validez de los

argumentos.
 OBJETIVOS

El principal objetivo de este trabajo es que el estudiante pueda argumentar y

desempeñar con mayor brevedad una serie de proposiciones, tablas de verdad,

identificación de tablas de inferencia lógica para así mismo poder aplicar las reglas de

inferencia para el desarrollo de diferentes operaciones a realizar basado en los ejercicios

que cada uno de los estudiantes va a desarrollar en el desarrollo del curso.

 DESARROLLO DE EJERCICIOS

A continuación de desarrollaran los 4 ejercicios expuestos en la guía de actividades

seleccionando la letra c para su desarrollo.

P: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma

Q: Algunos estudiantes de la UNAD estudian Administración Financiera

R: Los estudiantes hacen uso del correo personal para entregar las actividades

(~𝑝↔𝑞) →(~𝑞∨𝑟)

1. Escriba la proposición compuesta propuesta en lenguaje natural.

No todos los estudiantes de la UNAD entregan sus actividades a través de la plataforma si

solo si algunos estudiantes de la UNAD estudian Administraciones Financiera entonces no

todos los estudiantes de la UNAD que estudian Administración Financiera excepto que los

estudiantes hacen el uso del correo personal para las entregas de las actividades.
 2. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

P Q R ~P ~Q (~p↔q) (~q˅r) (~p↔q)→(~q˅r)

v v v f f f v v
v v f f f f f v
v f v f v v v v
v f f f v v v v
f v v v f v v v
f v f v f v f f
f f v v v f v v
f f f v v f v v

Dado a los resultados se puede determinar como contingencia ya que el resultado

es combinado.

3.Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a

paso para uso del simulador lo podrá encontrar en el anexo 2(Simulador Lógica

UNAD), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y

rúbrica de evaluación -Unidad 1-Tarea 1 -Métodos para probar la validez de

argumentos.
 4. Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio

1 seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del

pc u otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de

frente y mostrar a la cámara su documento de identificación, ocultando el número del

mismo (En la imagen se debe ver claramente el nombre y apellidos del estudiante).

Deberá subir el link del vídeo a YouTube otra plataforma de vídeos y pegar el enlace

debajo de la solución del ejercicio en el documento final a entregar. El vídeo no debe

superar los 3 minutos de duración.

Explicación del ejercicio

 Ejercicio 2: Identificación de las reglas de la inferencia lógica

Solucion

¿Nombrar la ley de inferencia que representa cada expresión simbólica?

a. Modus Ponens (MPP) dice si a implica b y a es verdadera entonces b es cierta.

b. Modus Tollens (MTT) die que r implica s y s no es verdadera, entonces r no es

verdadera.

c. Simplificación (Simp.) si la conjunción de p y q es verdadera entonces q es

verdadera y p verdadera.

Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

descripción basada en un contexto, el que se solicita es un contexto académico

(puede usar las mismas proposiciones simples en cada una de las 3 expresiones

simbólicas seleccionadas)

A: Boris Estudia Ing Industrial en la UNAD

B: La UNAD es una universidad que se estudia a Distancia.

R: David le rinde más realizar los trabajos de matemáticas.

 S: las matemáticas son las materias más complejas de Ing industrial.

~S: no son las matemáticas las materias más complejas de la Ing Industrial.

P: la plataforma de la UNAD es bastante interactiva.

Q: los grupos de cada curso con de 5 estudiantes.

Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.

Si Boris estudia Ing Industrial en la UNAD entonces la UNAD es una universidad

que se estudia a distancia.

Si Boris estudia Ing Industrial en la UNAD

Conclusión

La UNAD es una universidad a Distancia

 Si David le rinde mas realizar los trabajos de matematicas entonces las matematicas

son las materias mas complejas de Ing industrial

No son las matemáticas las materias más complejas de Ing Industrial.

conclusión;

David no le rinde realizar los trabajos de matemáticas.

Si la plataforma de la UNAD es interactiva y los grupos de cada curso son de 5

estudiantes

Conclusión

La plataforma de la UNAD si es interactiva.

 Ejercicio 3: Aplicación de las reglas de la inferencia lógica

Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para

realizar los circuitos. Camilo no utiliza simuladores para realizar los circuitos.

Conclusión: Camilo no utiliza simuladores para realizar los circuitos

ley de inferencia aplicada: Modus Tollens (MTT)

lenguaje simbólico:

r: Camilo estudia ingeniería electrónica

s: camilo utiliza simuladores para realizar circuitos

~r: camilo no utiliza simuladores para realizar ejercicios

Ejercicio 4: Problemas de aplicación

 Expresión simbólica: { ( p ∧¬ q ) ∧( r → q) ∧( r ˅ ¬q) } →( p ∧¬r )

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: David le rinde más realizar los trabajos de matemáticas.

Q: las matemáticas son las materias más complejas de Ing industrial.

R: David utiliza geogebra para los trabajos de matemáticas

¬Q: no son las matemáticas las materias más complejas de Ing industrial.

¬R: David no utiliza geogebra para los trabajos de matemáticas

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

{ ( p ∧¬ q ) ∧( r → q)∧(r ˅ ¬q) } →( p ∧¬r )

Si David le rinde más realizar los trabajos de matemáticas y no son las

matemáticas las materias más complejas de Ing industrial. Sin embargo, David utiliza

geogebra para los trabajos de matemáticas entonces las matemáticas son las materias

más complejas de Ing industrial. Del mismo modo David utiliza geogebra para los

trabajos de matemáticas a menos que no son las matemáticas las materias más

complejas de Ing industrial. Ya que David le rinde más realizar los trabajos de

matemáticas a pesar que David no utiliza geogebra para los trabajos de matemáticas.

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

∧
‫ ר ݌‬൓‫ ר ݍ‬ሺ‫ ݎ‬՜ ‫ݍ‬ሻ‫ ר‬ሺ‫᦭ ݎ‬൓‫ ݍ‬ሻ ՜ ሺ‫ ר ݌‬൓‫ݎ‬ሻ
p q r ¬q ¬r (p ¬q)
v f f v v v v v v v v
v f v v f v f v f f v
v v f f v f v f v f v
v v v f f f v v f f v
f f f v v f v v f f v
f f v v f f f v f f v
f v f f v f v f f f v
f v v f f f v v f f v
Generar la tabla de verdad a través del simulador Lógica UNAD
Demostración de la validez del argumento mediante las leyes de la inferencia lógica

{ ( p ∧¬ q ) ∧( r → q)∧(r ˅ ¬q) } →( p ∧¬r )

P4: ¬r Simplificacion (en la premisa 3)

P5: p modus ponendo ponens (en la premisa 4 y 2)

P:6 q modus ponendo ponens (en la premisa 5 y 1)

 Conclusiones

Después de desarrollar los 4 ejercicios cada estudiante logro implementar la

creación de tablas de verdad, Proposiciones simples, proposiciones complejas, ley de

inferencia, también había la posibilidad no solo de crear tablas de verdad si no de

verificarlas por medio de una herramienta suministrada por la UNAD para verificar si el

desarrollo de la misma se encontraba igual, se incluirá también la interactividad en el

foro por cada uno s los estudiantes y el tutor para así lograr llegar al desarrollo del

trabajo 1 del curso pensamiento lógico matemático.