UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

Tarea 1-Mètodos para probar la validez de argumentos

Actividad Individual

Presentado por

Alba Yuly Pozo Gaviria

Tutor

Ana María Betancur

Universidad Nacional Abierta y a Distancia - UNAD

Programa de Administración

La Dorada, 2021
Ejercicio 4.

Expresión simbólica:

{[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→ s

Premises:

P1: (p ∧ r) → (p ∧ s)

P2: (p ∧ r)

Conclusion: s

1. (p ∧ r) → (p ∧ s)

2. (p ∧ r)

3. (p ∧ S) Modus pones (MP) P1 Y P2

4. P Simplificación P3

5. S Simplificación P3

Conclusión S
Proposiciones simples:

p. a Yuly le gusta bailar

r. la música que le gusta es la salsa

s. Yuly baila en la universidad

Lenguaje natural:

A Yuly le gusta bailar y la música que le gusta es la salsa. Entonces a Yuly le gusta bailar y

yuly baila en la universidad. y yuly le gusta bailar y la música que le gusta es la salsa por lo

tanto yuly baila en la universidad

 Tabla de verdad manual

p r s p∧r p∧s (p ∧ r) → (p ∧ s) {[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)}→ s

V V V v v V V

V V F v f F V

V F V f v v v

V F F f f V v

F V V f f V v

F V F f f v v

F F V f f v v

f F F f f V v
Tabla de verdad a través del simulador Lógica UNAD