1
Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos
Oscar Orlando Arias Ayala
CC:14´801.528
Pensamiento Lógico y Matemático 200611
Grupo 1910
Director-Tutor
Carlos Holmes Varela Marmolejo
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
2
Introducción
En el presente taller se busca la apropiación y ejecución de conocimientos para dar validez a los
argumentos por medio de lenguajes simbólicos y naturales.
Objetivos
General
Desarrollar métodos para probar validez de argumento +
Específicos
Aplicar leyes de inferencia y tablas de verdad
Adquirir conocimientos para ejecución de tarea 2
3
Ejercicio 1: Proposiciones y tablas de verdad
Descripción del ejercicio: A continuación, encontrará las proposiciones simples para el desarrollo
del ejercicio 1:
A. p: La mayor problemática social es la falta de educación
q: La educación debe asumir pertinencia en sus modelos.
r: El modelo educativo actual retrasa el desarrollo generando desigualdades en la sociedad.
𝑝 → (q v 𝑟)
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
4
➢ Escribir la proposición compuesta propuesta en un lenguaje natural.
𝑝 → (q v 𝑟)
Si p entonces q O r
SI La mayor problemática social es la falta de educación entonces La educación debe asumir
pertinencia en sus modelos. o El modelo educativo actual retrasa el desarrollo generando
desigualdades en la sociedad.
➢ 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.
Numero de proposiciones = 3 ( p , q , r) – 2
3
=8
p q r (q v 𝑟) 𝑝 → (q v 𝑟)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V V
5
F V F V V
F F V V V
F F F F V
R// el resultado obtenido de la expresión 𝑝 → (q v 𝑟) es una CONTINGENCIA
➢ 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 6 - Simulador Lógica UNAD, ubicado en el entorno de
aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad 2- Tarea 2 -
Métodos para probar la validez de argumentos.
6
➢ Realizar un vídeo de 5 minutos máximo:
1. El estudiante hace su presentación personal básica en inglés (Nombre, edad, ciudad donde vive
y programa en donde que está matriculado) y explica de forma detallada cómo realizó el ejercicio
1 de su letra escogida (en español).
2. El estudiante debe aparecer en la grabación de frente y sin ningún filtro. Luego explica en
pantalla compartida cómo realizó el ejercicio.
3. Para la realización del vídeo puede usar la cámara de un celular, la cámara de una computadora
u otra alternativa que se le facilite. Deberá subir el vídeo a una plataforma de videos (por ejemplo:
YouTube, Loom, etc).
4. Por último, debe copiar el enlace del video en el documento de la actividad
1. Debe compartir el vídeo de forma pública (sin ninguna restricción) o debe hacer el vídeo de
forma privada con los permisos de visión al tutor encargado.
R/ PTE
7
Ejercicio 2: Aplicación de las reglas de inferencia lógica
Espacio para solución del ejercicio 2
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
A. Si Camila es una líder ambiental entonces gana un premio internacional a jóvenes
ambientalistas. Camila es una líder ambiental.
a. Lenguaje simbólico: p→q
⸫q
b. Ley de inferencia aplicada: Ponendo Ponens
c. Conclusión: Camila es una líder ambiental
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
Espacio para solución del ejercicio 3
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→r) ᴧ (p v s) ᴧ~s]→ (p v t)
8
9
P1: p→q
P2: q→r
P3: p v s
P4: ~ s
Conclusión: p v t
Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P5: p→ r SIGLOGISMO HIPOTETICO (S H) P1, P2
P6: p TOLENDO PONENS (T P) P3, P4
P7: p v t LEY DE ADICION (L A)
10
Ejercicio 4: Problemas de aplicación.
Espacio para solución del ejercicio 4
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) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)
Premisas:
P1: (p → q)
P2: (p ∨ ~r)
P3: r
Conclusión: q ᴧ r
Conclusiones
Todos los trabajos académicos deben tener una o más conclusiones, eso no puede faltar. Se trata
de presentar en unas ideas cortas lo que se ha expresado a lo largo del trabajo. Una clave a la hora
de hacer una conclusión sería: ¿qué quiero que retenga la persona que lea el trabajo? Otro aspecto
importante es que debe haber una armonía entre la introducción (en la que se plantea lo que va a
hacer en el trabajo y lo que se ha desarrollado en el contenido. No puede haber divorcio entre
estas partes.
11
En las conclusiones no hay que agregar datos ni citas bibliográficas, lo único que va es el
resumen condensado de lo que hemos hecho a lo largo del trabajo. ¿Cuántas conclusiones debe
llevar un trabajo? Si el trabajo es muy largo, de 200 o 300 páginas, serán de 10 a 15 conclusiones.
Si el trabajo es corto, dos o tres conclusiones son suficientes.
En el aspecto formal, las conclusiones ni se numeran ni llevan viñetas. Solo se separan por
el punto aparte y por el tabulado de la primera línea, como en estos párrafos.
Referencias Bibliográficas
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El
Cid Editor. (pp. 40-49). [Link]
page=59