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: 𝑝 ∧ 𝑟

P: En Colombia hay 52 millones de personas

Q: han llegado 200 mil vacunas de Pfizer
R: Está disminuyendo el coronavirus

Lenguaje natural: 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 -q -r (pvq (pr) (¬𝑟 ∧ ¬𝑞) (𝑝 ∧ 𝑟) (𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) (𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)

)
V V V F F F V V F V V F
V V F F F V V F F F F F

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

F F F V V V F v V F F F

Tabla de la verdad simulador Unad:

Tautología

Demostración de validez de argumento

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

P4: p ……….modus tollendo ponens entre p1 y p2

P5: r ……….modus tollendo ponens entre p3 y p4
P6: 𝑝 ∧ 𝑟 …… Introducción de la conjunción entre p4 y p5