1

Tarea 1 – Métodos Para Probar La Validez De Argumentos

Henry Javier Carvajal Pabón

Marzo 2021.

Universidad Nacional a Distancia.

Ingeniería Industrial.
Pensamiento Lógico Matemático
 2

Conclusiones

La presente actividad consta de 4 ejercicios de métodos para probar la validez del

argumento con su respectiva expresión simbología, ley de la inferencia de la expresión,

lenguaje natural y tablas de verdad. Para estos ejercicios he escogido a desarrollar los

ejercicios de la letra C

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio

1: Preposiciones y tablas de verdad

C.

p: Estudiamos para el parcial

q: Nos distraemos estudiando

r: Nos dormimos estudiando

(𝒑 ∧ ~𝒒) ∨ ~𝒓

Lenguaje Natural:

Estudiamos para el parcial y no nos distraemos estudiando o no nos dormimos

estudiando.

Tabla de verdad:

Encontramos 3 premisas

23=2∗2∗2=8
 3

p q r ~𝒒 ~𝒓 (𝒑 ∧ ~𝒒) (𝒑 ∧ ~𝒒) ∨ ~𝒓

V V V F F F F
V V F F V F V
V F V V F V V
V F F V V V V
F V V F F F F
F V F F V F V
F F V V F F F
F F F V V F V
Se considera contingencia.

Conjunción

p q p∧q
V V V
V F F
F V F
F F F

Disyunción inclusiva

p q pvq
V V V
V F V
F V V
 4

F F F

Simulador lógica UNAD

Ejercicio 2: Identificación de las reglas de la inferencia lógica

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.

I.

r→s
 5

conclusión s

R/ ley de inferencia = Modus Ponendo Ponens (PP)

r = Javier juega futbol

s = Javier jugara de delantero

conclusión (s) = Javier jugara de delantero

lenguaje natural

Si Javier juega futbol entonces Javier jugara de delantero, Javier juega futbol por lo tanto

jugara de delantero.

Seria tautología.

II.

___________
 6

p∧q

R/ ley de inferencia adjunción

Preposiciones simples

p = Henry es ingeniero industrial

q = Mariana es abogada

Conclusión: p ∧ q = Henry es ingeniero industrial y mariana es abogada

III.

p→¬q si voy al cine entonces no voy de compras

q he ido de compras

__________

¬p no voy al cine

R/ Modus tollendo tollens (TT)

p = He ido al cine

q = He ido de compras

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

C. Voy a ver alumbrados o prendo velitas en mi casa. No voy a ver alumbrados.

a. Conclusión: __________(_q_)_______________________

b. Ley de inferencia aplicada: _______Sigolismo disyuntivo_________________

 7

c. Lenguaje simbólico: P 1 = (p v q)

P2 = ¬ p

Conclusión = q

Ejercicio 4: Problemas de aplicación

Expresión simbólica: {(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬ 𝑟) ∧ (𝑞 → 𝑟)} → (¬ 𝑝)

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 ∧ ¬ 𝑟

P3: 𝑞 → 𝑟

Desarrollo

P4 : 𝑝 → r SH (1,3)

P5 : ¬ 𝑟 S (2)

P6 : ¬ P MTT (4.5)

Conclusión: ¬𝑝

Preposiciones simples

p = Mariana es abogada

q = Mariana estudio derecho en la unad

r = la unad es un colegio de Colombia

 8

Expresión simbólica: {(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬ 𝑟) ∧ (𝑞 → 𝑟)} → (¬ 𝑝)

Lenguaje natural

Si Mariana es abogada entonces Mariana estudio derecho en la unad y mariana estudio

derecho en la unad sin embargo la unad no es un colegio de Colombia y si mariana estudio

derecho en la unad entonces la unad es un colegio de Colombia entonces mariana no es

abogada.

Encontramos 3 premisas 23=2∗2∗2=8

p q r ¬r ¬p 𝑝→ 𝑞 ∧ (𝑝 𝑞 {(𝑝 → 𝑞) {(𝑝 → 𝑞) ∧ (𝑞
𝑞 ¬𝑟 → →𝑟 ∧ (𝑞 ∧ ¬ ∧ ¬ 𝑟) ∧ (𝑞 →
𝑞) ∧
(𝑞 ∧
𝑟) ∧ (𝑞 → 𝑟)} → (¬ 𝑝)
¬ 𝑟) 𝑟)}
V V V F F V F F V F V

V V F V F V V V F F V

V F V F F F F F V F V

V F F V F F F F V F V

F V V F V V F F V F V

F V F V V V V V F F V

F F V F V V F F V F V

F F F V V V F F F F V
 9

Es tautologia