Pensamiento lógico y matemático

Tarea 1 métodos para aprobarla validez de argumentos

Alejandra Katerine Tamayo Agudelo

Tutor: Yenny Marisol Cayachoa

Grupo: 20011_1414

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Psicología

Colombia

Tunja

01/03/2021
 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: {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)} → (𝑝 ∧ 𝑟)

Premisas:
P1:𝑝 ∨ 𝑞
P2:𝑝 → 𝑟
P3:¬𝑟 ∧ ¬𝑞

Conclusión: 𝑝 ∧ 𝑟
Corregir proposiciones simples porque el tema no es académico
P: En Colombia hay 52 millones de personas
Q: han llegado 200 mil vacunas de Pfizer
R: Está disminuyendo el coronavirus

Lenguaje natural: corregir

En Colombia hay 52 millones de personas o han llegado 200 mil vacunas de Pfizer. Si en
Colombia han 52 millones de personas entonces esta disminuyendo el coronavirus. Si no esta
disminuyendo el coronavirus y no han llegado las vacunas de Pfizer. Por lo tanto, en Colombia hay
52 millones de personas y esta disminuyendo el coronavirus.

Tabla de verdad manual:

p q r -p - - (pvq (pr (¬𝑟 ∧ (𝑝 ∧ (𝑝 ∨ 𝑞) ∧ (𝑝 (𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)} → (𝑝 ∧
q r ) ) ¬𝑞) 𝑟) → 𝑟) ¬𝑞) 𝑟)
V V V F F F V V F V V F V
V V F F F V V F F F F F V
V F V F V F V V F F V F V
V F F F V V V V V F F F V
F V V V F F V V F V V F V
F V F V F V V V F F V F V
F F V V V F V V F F F F V
F F F V V V F v V F F F V

Tabla de la verdad simulador Unad:

Tautología

Demostración de validez de argumento

P1: 𝑝 ∨ 𝑞
P2: 𝑝 → 𝑟
P3: ¬𝑟 ∧ ¬𝑞
PRIMERO DEBES SACAR SIMPLIFICACION EL p3 2 VECES Y LUEGO SI
APLICAS OTRAS LEYES
P4: p ……….modus tollendo ponens entre p1 y p2no aplica
P5: r ……….modus tollendo ponens entre p3 y p4
P6: 𝑝 ∧ 𝑟 …… Introducción de la conjunción entre p4 y p5