Guía de actividades y rúbrica de evaluación – Tarea 1

Métodos para probar la validez de argumentos

PRESENTADO POR:
Juan Pablo Lyons Pérez

Código del estudiante:

1003501914

Grupo: 200611_688

Tutor:
Danitza María Cortes Pérez

Universidad Nacional Abierta y a Distancia

Vicerrectoría Académica y de Investigación
Curso: Pensamiento Lógico y Matemático
Código: 200611
 INTRODUCCIÓN

Cada día utilizamos en nuestro diario vivir el razonamiento

lógico, ya sea al resolver problemas, o alguna demostración
que queremos vivenciar; pero, también debemos tener en
cuenta que decimos o utilizamos expresiones afirmando algo
y nos damos cuenta de que tuvimos alguna falla lógica. Por
ende, es de vital importancia que hagamos un análisis que
valore si lo que afirmamos tiene validez o no. El presente
trabajo hace referencia a cómo podremos abordar el tema de
la lógica proposicional, atendiendo situaciones cotidianas,
donde se elaboran diferentes tipos de proposiciones,
conectores y aplicación de leyes de inferencia que nos
permitan comprobar la validez de los argumentos propuestos.

El pensamiento lógico matemático es fundamental ya que nos

ayuda a comprender el razonamiento, algunos conceptos
abstractos, y la comprensión de relaciones que nos permite
aclarar y rectificar entre diferentes conceptos y llegar a una
comprensión más profunda.
 OBJETIVOS

OBJETIVO GENERAL

Comprender la importancia de las proposiciones a través de la

lógica a través de la interpretación, demostración de los
diferentes valores de verdad o falsedad en situaciones de
contexto real.

OBJETIVOS ESPECÍFICOS

Interpretar adecuadamente las tablas de verdad y reglas de

inferencias para probar la valides de argumentos.
Reconocer la diferencia de los valores de la tabla de verdad
 Desarrollo De Los 4 Ejercicios

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:
A continuación, encontrará las proposiciones simples y el
lenguaje simbólico para el desarrollo del ejercicio 1:

(A) P: El trabajo inteligente requiere de una planeación

efectiva.
q: El trabajo necesita un equipo que utilice estrategias
innovadoras.
r: El trabajo inteligente utiliza herramientas tecnológicas
avanzadas

P → (q Ʌ r)

 Escribir la proposición compuesta del leguaje

simbólico en un lenguaje natural.

R/: El trabajo inteligente requiere de una planeación

efectiva entonces El trabajo necesita un equipo que utilice
estrategias innovadoras y El trabajo inteligente utiliza
herramientas tecnológicas avanzadas.

 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.
R/: ES una contingencia
P q r qɅr p → (q Ʌ r)
V V V V V
v V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F f F f v

 Generar la tabla de verdad a través del simulador

Lógica UNAD. El paso a paso para el uso del simulador
lo podrá encontrar en el Anexo 2 – Guía para el
desarrollo de la tarea 1 (ejercicios ejemplo), 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.

R/: Tabla Simulador

Enlace vídeo explicativo ejercicio 1:

Ejercicio 2: Aplicación de la lógica fundamental
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo
del ejercicio 2:

(A.) "'Los estudiantes están leyendo un libro' o 'los maestros

están preparando la clase', y 'los estudiantes no están
leyendo un libro' o 'los padres están en una reunión'.
Entonces 'los maestros están preparando la clase' o 'los
padres están en una reunión'."

➢ Definir cuáles son las proposiciones simples que

intervienen en el argumento.
R/
p: Los estudiantes están leyendo un libro.
q: Los maestros están preparando la clase.
r: Los padres están en una reunión.

Identificar los conectores que intervienen en el

argumento.
R/ Los conectores son: Disyunción ꓦ (O), Conjunción Ʌ (Y),
Negación ~ (NO), Condicional → (ENTONCES)

Construya el lenguaje simbólico correspondiente al

argumento.
R/ (p ꓦ q) Ʌ (~p ꓦ r) → (q ꓦ r)
Determinar si el argumento es una tautología,
contradicción o contingencia a través del simulador de
tablas de verdad de la UNAD. (Ver Anexo 2 – Guía para
el desarrollo de la tarea 1 (ejercicios ejemplo).
R/: Tautología

Ejercicio 3: Demostración de un argumento usando las

reglas de la inferencia lógica
Descripción del ejercicio:
A continuación, encontrará un argumento para el desarrollo
del ejercicio 3, usted deberá identificar e indicar las leyes de
inferencia y las premisas utilizadas en cada uno de los pasos
para la demostración del argumento.
(A) Expresión simbólica
[(p → ~q) ᴧ q] → ~p
P1 p → ~q
P2 p → ~q ᴧ q
Conclusión ~q → ~p
Ley Utilizada
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 ᴧ (q v ~p) ᴧ (q →r)] → (p ᴧ r)

Demostración
P1: p
P2: (q v ~p) Premisas dadas
P3: (q →r)
PREMISAS Ley aplicada Premisas usadas
P4: q P1, P2
P5: r Modus ponnendo
Ponnens (MPP)
P6: (p ᴧ r) P1, P5
Definir las proposiciones simples, tendrá la libertad de
definirlas bajo una descripción basada en un contexto
académico o social. Las proposiciones simples deben
contener 1. Sujeto, 2. Verbo y 3. Predicado.
R/
p: Las vacas producen leche generalmente dos veces por día.
q: La leche aporta muchos nutrientes indispensables para el
ser humano.
r: Las vacas son necesarias para la alimentación

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 (Rubrica).

R/: Lenguaje natural:

Las vacas producen leche generalmente dos veces por día y la
leche aporta muchos nutrientes indispensables para el ser
humano o las vacas no producen leche generalmente dos
veces por días y la leche aporta muchos nutrientes
indispensables para el ser humano entonces las vacas son
necesarias para la alimentación. En conclusión, las vacas
producen leche generalmente dos veces por día y las vacas
son necesarias para la alimentación.

Complete la tabla de demostración de la validez del

argumento mediante leyes de inferencia lógica. (Un
argumento será válido cuando su valor de verdad es
una tautología)
 CONCLUSIÓN

Cada acontecimiento o información que suceda en nuestro

entorno está delimitado sobre la veracidad o falsedad de ella.
En el desarrollo de esta guía se puede concluir que una
proposición posee un sentido lógico, en la que en un
momento determinado se pueda asegurar si es verdadera o
falsa. La verdad o falsedad de una proposición es lo que se
llama su valor lógico o valor de verdad. Estas expresiones de
razonamiento como las leyes científicas y las fórmulas
matemáticas hacen parte de las proposiciones ya que se
pueden comprobar.

Cada proposición se organiza además con los conectores que

intervienen en el argumento, los cuales tendrán la libertad de
definirlas bajo una descripción basada en un contexto ya sea
social y el uso de la tabla de verdad, la cual determina o
posibilita su valor de verdad de una proposición.

Las proposiciones son importantes ya que nos permiten

expresar o reorganizar afirmaciones en un argumento para
hacerlo más claro o estructurado; el argumento puede
expresarse en forma lógica, cuando la afirmación que
hacemos tenga el mismo significado de valor ya sea
verdadero o falso. De no ser así no es proposición.
 REFERANCIAS BIBLIOGRAFICAS

Pérez, A. R. (2013). Una introducción a las matemáticas

discretas y teoría de grafos. El Cid Editor. (pp. 40-49).
https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/un
ad/36562?page=59

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. Editorial Tébar Flores.
(pp. 19-28). https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?
page=20