Tarea 1 Métodos para probar la validez de argumentos

Actividad Individual

María fernanda medina morales

CC.: 1006658621

Tutor: Xesley Pinilla Sandoval

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios -ECACEN

Programa de Administración De Empresas
Sede acacias- meta, 2022
Introducción

 En esta actividad se desarrollan temáticas de proposiciones compuestas o leyes de

inferencia y tabla de verdad que permiten resolver operaciones básicas, analizar
información y hacer uso del pensamiento reflectivo

pensamiento lógico, nos permite

analizar y entender manera
práctica cualquier tipo de
situación
que se presente.
La aplicabilidad del pensamiento
lógico, es algo realmente
cotidiano y presente en la
realidad de
todo ser humano, es la capacidad
que tenemos de asociar,
comparar, imaginar y razonar al
enfrentarnos y afrontar
situaciones y condiciones o
acontecimientos que provocan
una reacción,
es decir, casi todo lo que implica
estar despierto y en actividad ya
que implica un estado de
conciencia.
Objetivos

General
 Conocer los métodos utilizados de las proposiciones compuestas y la tabla de
verdad

Específicos
 Analizar cada uno de los temas a desarrollar

 Identificar cada uno de los símbolos lógicos como (conjuntivos, disyuntivos,

negación etc.)
 Universidad Nacional Abierta y a Distancia Vicerrectoría Académica y de
Investigación Curso: Pensamiento Lógico y Matemático Código: 200611

Guía de actividades y rúbrica de evaluación – Tarea 1 Métodos para probar la validez

de argumentos

Ejercicio 1: Proposiciones y tablas de verdad

B.

p: La casa de papel es la mejor serie de Netflix

q: Stranger Things es una serie de Netflix

r: La casa de papel es una de las series más vistas del mundo

( pVq)→( q ⋀ r )

Proposición en un lenguaje natural.

Si La casa de papel es la mejor serie de Netflix O Stranger Things es una serie de Netflix,
entonces Stranger Things no es una serie de Netflix Y La casa de papel es una de las series
más vistas del mundo.

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 -q
v v v f v f f
v v f f v f f
v f v v v v v
v f f v v f f
f v v f v f f
f v f f v f f
f f v v f v v
f f f v f f v
Generar la tabla de verdad a través del simulador Lógica UNAD.

Es una CONTINGENCIA ya que se obtuvieron valores verdaderos y falsos en la columna

final

 Link del video: https://www.youtube.com/watch?v=8eHN4ILb3KA

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

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

p⋀ q
------
p
SIMPLIFICACION: si la conjunción de p y -q es cierta, entonces p es verdad o bien -q
también es verdad
s →t
t
--------
s
MODUS TOLLENDO TOLLENS (M.T.T): Si s →t es verdadero, pero negamos a t,
entonces s también debe ser falso.
r →s
r
--------
s
MODUS PONENDO PONENS (M.P.P): Si -r implica s, si –r es verdad, entonces s también
es verdad

Definir las proposiciones simples y Construir el lenguaje natural de cada ley de

Inferencia expresada en lenguaje simbólico.

SIMPLIFICACION

p⋀ q
------
p
p: estudio administración de empresas
q: estudio ingeniería civil
Estudio administración de empresas y no estudio ingeniería civil

Por lo tanto, estudio administración de empresas

MODUS TOLLENDO TOLLENS (M.T.T)

s →t
t
--------
 s

s: estudio de forma virtual

t: trabajo durante la semana
Si estudio de forma virtual, entonces trabajo durante la semana

No trabajo durante la semana

Por lo tanto, no estudio de forma virtual.

MODUS PONENDO PONENS (M.P.P):

r →s
r
--------
s

r: estudio en la UNAD

s: estudio en la universidad católica

Si no estudio en la UNAD, entonces estudio en la universidad católica

No estudio en la UNAD

Por lo tanto, estudio en la universidad católica

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

B. Si un administrador de empresas liderara organizaciones que contribuyen a la

construcción del progreso económico, entonces un administrador de empresas ayuda a la
economía de un país. Un administrador de empresas no ayuda en la economía de un país.

a. Lenguaje simbólico:

p: un administrador de empresas liderara organizaciones que contribuyen a la construcción

del progreso económico
q: un administrador de empresas ayuda a la economía de un país

p→q
q
--------
p

b. Ley de inferencia aplicada: MODUS TOLLENDO TOLLENS (M.T.T)

c. Conclusión: un administrador de empresas no liderara organizaciones que contribuyen a

la construcción del progreso económico

Ejercicio 4: Problemas de aplicación

Definir las proposiciones simples

p: Ingreso a la UNAD

r: estudio administración de empresas

q: estudio de forma virtual

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Si ingreso a la UNAD entonces estudio de forma virtual. Si estudio administración de

empresa entonces ingreso a la UNAD. Ingreso a la UNAD y estudio administración de
empresas. Por lo tanto estudio administración de empresas y estudio de forma virtual.

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

 p q r
v v v v v v v v v
v v f f v v f f v
v f v v v f f f v
v f f f v f f f v
f v v v f f f v v
f v f v f f f f v
f f v v v f f f v
f f f v v f 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 → r ) ⋀ ( q → p ) ⋀ ( p ⋀ q ) }→(q ⋀ r )

P1: p →r

P2: q → p

P3: p ⋀ q

P4: q por simplificación en P3

P5: r por modus ponendo ponnens (MPP) entre P1 y P5

P6: q ⋀ r por conjunción entre P4 y P5

conclusiones

 En esta actividad adquirimos conocimientos de leyes de inferencia y razonamiento

deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos
propuestos en esta actividad

 Podemos concluir también que para resolver las temáticas correspondientes sobre
los topis de razonamiento las podemos demostrar con tablas de verdad y reglas de
inferencia.
 Referencias bibliográficas

 Nieto, S., & Ramos, H. (2016). Construcción de funciones booleanas extendidas a

partir de tablas de verdad utilizando el programa Mathematica. In Actas del XVIII
Simposio Internacional de Informática Educativa (SIIE 2016) (pp. 97-102).

 GONZÁLEZ, G. A. (2012). Lógica matemática. UNAD. Medellín.

 Giraldo Jiménez, G. A. (2015). GD Matemáticas discretas.