PENSAMIENTO LÓGICO Y MATEMÁTICO

Métodos para probar la validez de argumentos Código

200611A _954

Presentado por:
Lizeth Maritza Vargas
Reyes

Tutora
Ana María Betancur Chaverra

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnología E ingeniería (ECBTI)
Ingeniería de alimentos
CEAD La Dorada
22/09/2021
 La actividad consiste en:
La presente tarea consta de 4 ejercicios; cada estudiante debe seleccionar una letra:
A, B, C, D o E, así en cada ejercicio el estudiante seleccionará y desarrollará lo
solicitado en la descripción del ejercicio. Además, anunciará la letra seleccionada en
el foro correspondiente, de tal forma que no coincida con la selección de otro
compañero.

C
p: El alcalde de Cali acuerda pacíficamente desbloquear vías.
q: Los Manifestantes firmaron el acuerdo.
r: Los manifestantes desbloquean las vías con respeto a la movilización.
(p𝖠 q)→(p→r)

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
➢ Escriba la proposición compuesta propuesta en lenguaje natural.
El alcalde de Cali acuerda pacíficamente desbloquear vías, y los manifestantes firmaron
el acuerdo, entonces el alcalde de cali acuerda pacíficamente desbloquear vías Entonces
los manifestantes desbloquean loas vías respeto a la movilización.
➢ 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.

Como tiene 3 proposiciones (p,q,r) entonces se realiza la siguiente formula: 23=8 filas
p q r p^ p→ (p^q) →(p→r)
q r
V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F V V
F V F F V V
F F V F V V
F F F F V V
CONCLUSION: Es una contingencia por que el resultado contiene combinación entre
falsa y verdaderas.

➢ 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.

Se puede deducir que el simulador arrojo el mismo resultado al de la tabla de verdad

elaborado a mano.

Video explicando la actividad: https://youtu.be/eETrlOc08k0