PENSAMIENTYO LOGICO MATEMATICO 200611C

TAREA 1: Métodos para probar la validez de argumentos

JUAN SEBASTIAN CANO MIRANDA

200611C_954

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería ECBTI
Ingeniería Industrial
2021
 Ejercicio 1: Proposiciones y tablas de verdad
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio
1:

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

➢ Lenguaje simbólico
(𝒑 ∧ 𝒒) → (𝒑 → 𝒓)

➢ Lenguaje Natural
Si el alcalde de Cali acordó pacíficamente desbloquear las vías y los manifestantes
firmaron el acuerdo entonces si el alcalde de Cali acordó pacíficamente desbloquear
las vías, los manifestantes desbloquearan las vías con respecto a la movilización

𝒑 𝒒 𝒓 𝒑∧𝒒 𝒑→𝒓 (𝒑 ∧ 𝒒) → (𝒑
→ 𝒓)

V V
V F
F V
V V
F F
V F
F V
F F
F V
V F
V F
V V
F F
F F
F F
V F
F F
V V
V V
V V
V V
F F
V V
V V

➢ Se clasifica como: Contingencia.

➢ Tabla de verdad Simulador UNAD