PENSAMIENTO LOGICO MATEMATICO

Código: 200611

Unidad 1: Tarea 1
Métodos para probar la validez de argumentos

Presentado a:
Aura Elisa Quesada Sepúlveda
Tutora.

Entregado por:
María Mercedes Rivera Salazar
C.C. 1.081.408.984

Grupo: 200611_1295

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES (ECSAH)
04 DE OCTUBRE DE 2020
LA PLATA HUILA.
Introducción.

En el presente trabajo encontramos la temática correspondiente a la unidad 1- tarea 1, el cual

corresponde a los métodos para probar la validez de argumentos, se analizan las referencias
bibliográficas dadas para dar solución a esta temática y con esto desarrollar los diferentes
ejercicios propuestos en la guía de actividades mediante la aplicación de las tablas de verdad y
las reglas de inferencia lógica, de igual manera se utiliza el simulador Lógica UNAD para
comprobar que el resultado del ejercicio sea el correcto, logrando así probar la validez de
argumentos y alcanzando los resultados de aprendizaje esperados.
Objetivos.

Objetivo general.

Indagar e identificar los métodos para probar la validez de argumentos mediante el uso de las
tablas de verdad, sus diferentes tipos de lenguaje y sus reglas de inferencia lógica.

Objetivos específicos.

 Identificar el uso de las tablas de verdad, su lenguaje natural y simbólicos, además su

importancia en el pensamiento lógico y matemático.

 Estudiar el uso de las reglas de inferencia lógica.

 Aplicar las tablas de verdad y reglas de inferencia.

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

p: El 2020 fue un año atípico para todo el mundo.

q: El COVID19 afecto gran parte de la economía.
r: El COVID19 nos hizo reinventar en muchos campos de acción.

( p ˅r )˄( p ↔ q)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

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

Rta: El 2020 fue un año atípico para todo el mundo o el Covid-19 nos hizo reinventar en muchos
campos y el 2020 fue un año atípico para todo el mundo, si y solamente si el Covid-19 afecto
gran parte de la economía.

 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 ˅r )˄ ( p↔ q )

3
2 =8
Conjunción Disyunción Bicondicional

p qq ( p( p˅q)
˄q)
V V V
V F F
F V F
F F F
p p q ( p ↔q )
V V V V V V
V F V V F F
F V V F V F
F F F F F V

( p ˅r )˄ ( p↔ q )
p q r ( p ˅r ) ( p ↔q )
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F

Rta: Teniendo en cuenta la tabla de verdad, que no es completamente verdadero o falso,

podemos determinar que se tiene una contingencia.
 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.

 vídeo donde se explica la forma como fue desarrollado el ejercicio 1 letra A.

 Link:

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

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de

inferencia.

A) Expresión simbólica

r→ s p→q p→q
r ¬q q→r
s ¬p p→r

partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

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

r→ s
r Modus Ponendo Ponens (PP)
s

p→q
¬q Modus Tollendo Tollens (TT)
¬p

p→q
q→r Silogismo Hipotético (SH)
p→r
 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),

ejemplo: p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública.

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.

Proposiciones Simples:
Primera Proposición.
r→ s
r
s
r: María matriculo 21 créditos en el semestre 2020-II
s: María tiene mucho trabajo.

Lenguaje Natural:
Si María matriculo 21 créditos en el semestre 2020-II, entonces María tiene mucho trabajo.
María matriculo 21 créditos en el semestre 2020-II por lo tanto María tiene mucho trabajo.

Segunda Proposición.
p→q
¬q
¬p
p: María matriculo 21 créditos en el semestre 2020-II.
q: María tiene mucho trabajo.
Lenguaje Natural:
Si María matriculo 21 créditos en el semestre 2020-II, entonces María tiene mucho trabajo.
María no matriculo 21 créditos en el semestre 2020-II. Por lo tanto, María no tiene mucho
trabajo.
Tercera Proposición:
p→q
q→r
p→r

p: María matriculo 21 créditos en el semestre 2020-II

q: María tiene mucho trabajo.
r: María pierde el semestre.

Lenguaje Natural:
Si María matriculo 21 créditos en el semestre 2020-II, entonces María tiene mucho trabajo. Si
María tiene mucho trabajo entonces María pierde el semestre. Si María matriculo 21 créditos en
el semestre 2020-II, entonces María pierde el semestre.

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

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al gimnasio.

a. Conclusión: Rafael tiene un cuerpo tonificado.

b. Ley de inferencia aplicada: Modus Ponendo Ponens (PP)
p→q
c. Lenguaje simbólico: p
q
Ejercicio 4: Problemas de aplicación

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

A. Expresión simbólica:
{( p →¬ r ) ˄ ( ¬ q → p ) ˄ ( p ˄¬ q ) }→( p ˄¬ r)
Premisas:
P1: p →¬ r
P2: ¬ q → p
P3: p ˄¬ q
Conclusión: p ˄¬ 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: María estudia Psicología.

q: María matriculo pensamiento lógico y matemático.
r: María se ve atareada con tantos compromisos con su Universidad.

 Lenguaje Natural:

Si María estudia psicología entonces María no se ve atareada con tantos compromisos con su
universidad. Si María no matriculo pensamiento lógico y matemático entonces María estudia
psicología. María estudia psicología o María no matriculo pensamiento lógico y matemático.
María estudia psicología o María no se ve atareada con tantos compromisos con su
universidad.
  Tabla de verdad Manual.

{( p →¬ r ) ˄ ( ¬ q → p ) ˄ ( p ˄¬ q ) }→( p ˄
p q r ¬ p ¬q ¬r p →¬ r ¬q→ p p ˄¬ q p ˄¬ r ( p →¬ r ) ˄ ( ¬q → p ) ( p →¬ r ) ˄ ( ¬q → p ) ˄ ( p ˄ ¬q )

V V V F F F F V F F F F V
V V F F F V V V F V V F V
V F V F V F F V V F F F V
V F F F V V V V V V V V V
F V V V F F V V F F V F V
F V F V F V V V F F V F V
F F V V V F V F F F F F V
F F F V V V V F F F F F V
 Tabla de Verdad Simulador Unad.

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

P1: p →¬ r
P2: ¬ q → p
P3: p ˄¬ q
P4: ¬ q=¿¬ r ……… Silogismo Hipotético entre P1 y P2
P5: p ˄¬ r ……………... Adjunción y Simplificación entre P1 y P4
Conclusiones.

Durante el desarrollo de esta actividad se fueron adquiriendo conocimientos que me permitieron

identificar y aplicar el uso de las reglas de inferencia lógica, las tablas de verdad y su lenguaje
natural y simbólico como métodos para probar la validez de argumentos y de esta manera lograr
el desarrollo de cada uno de los puntos propuestos en esta actividad y de igual manera conseguir
los resultados de aprendizaje esperados.
Referencias Bibliográficas.

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra

lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España:
Editorial Tébar Flores. Recuperado
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20 

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 28-37). 

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39