Ejercicio 1: proposiciones y tablas de verdad

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

del ejercicio 1:
A. p: La Isla Múcura es un escenario celestial
q: Es un lugar mágico donde el tiempo parece haberse detenido
r: La Isla Múcura se encuentra ubicada en el archipiélago de San
Bernardo – Colombia

Lenguaje simbolico

(𝒑 ∧ 𝒒) ⟷ 𝒓

Lenguaje natural
La isla múcura es un escenario celestial y es un lugar mágico donde el tiempo
parece haberse detenido Si y solo si la Isla Múcura se encuentra ubicada en el
archipiélago de San
Bernardo – Colombia

Tabla de verdad manual

p q r p⋀q ( p ⋀ q )↔ r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V

Se clasifica como: tautología

Tabla de verdad simulador UNAD
Ejercicio 2: Identificación de las reglas de la inferencia lógica
Expresión simbólica
p →¬ q r ¬p → q
¬q → r s ¬p
p →r r ∧s q

Expresión simbólica

p →¬ q¬ q →r _______
p →r

Ley de inferencia de la expresión: Silogismo hipotético (SH)

Proposiciones simples:
p: David entra a la universidad de la UNAD
q: David se gasta el dinero de la matricula
r: David consigue trabajo
Lenguaje natural:
David entra a la universidad de la UNAD entonces si David no se gasta el dinero
para la matricula. David no se gasta el dinero de la matricula entonces David
consigue trabajo. Por lo tanto, David entra a la universidad de la UNAD si y solo si
David consigue trabajo
Expresión simbólica

rs ______
r∧s
Ley de inferencia de la expresión: Conjunción (CONJ)
Lenguaje natural
David entra a la universidad de la UNAD. David se gasta el dinero de la matricula
por lo tanto David entra a la universidad de la UNAD y David se gasta el dinero de
la matricula

Expresión simbólica

¬ p → q¬ p
 ______
q
Ley de inferencia de la expresión: Silogismo disyuntivo (SD)
Lenguaje natural
David no entra a la universidad de la UNAD entonces David se gasta el dinero de
la matricula. David no entra a la universidad de la UNAD por lo tanto David se
gasta el dinero de la matricula

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

Argumento: Voy a cine o voy al estadio. Si voy a cine entonces salgo con
Gabriela. Si voy al estadio entonces salgo con Sofia
Conclusión: Si voy al estadio entonces salgo con Sofia
Ley de inferencia aplicada: Dilema constructivo (DC)
Lenguaje simbólico

p ⋁ q p →r

_________
q→r
Ejercicio 4: problemas de aplicación
Expresión simbólica: [(~𝑝 → 𝑞 ) ∧ (𝑞 ⟶∼ 𝑟)] → (∼ 𝑝 ⟶ ∼ 𝑟 )
Premisas:
P1:(~𝑝 → 𝑞 )
P2:(𝑞 ⟶∼ 𝑟)
Conclusión: (∼ 𝑝 ⟶ ∼ 𝑟 )

Proposiciones simples
p: David entra a la universidad de la UNAD
q: David se gasta el dinero de la matricula
r: David consigue trabajo
Lenguaje natural
David no entra a la universidad de la UNAD entonces David se gasta el dinero de
la universidad y David se gasta el dinero de la universidad entonces David no
consigue trabajo entonces por lo tanto David no entra a la universidad entonces
David no consigue trabajo
Tabla de la verdad manual
p q r ∼p ∼q ∼r (~𝑝 → 𝑞 ) (𝑞 ⟶∼ 𝑟) (∼ 𝑝 ⟶ ∼ (~𝑝 → 𝑞 ) [(~𝑝
𝑟) ∧ (𝑞 ⟶∼ →𝑞)
𝑟)] ∧ (𝑞
⟶∼
𝑟)] →
(∼ 𝑝
⟶∼𝑟
)
V V V F F F V F V F V
V V F F F V V V V V V
V F V F V F V V V V V
V F F F V V V V V V V
F V V V F F V F F F V
F V F V F V V V V V V
F F V V V F F V F F V
F F F V V V F V V F V

Tabla de verdad simulador UNAD

Demostración de la validez del argumento mediante las leyes de inferencia:

P1:(~𝑝 → 𝑞)
P2:(𝑞 ⟶∼ 𝑟)
P3: (∼ 𝑝 ⟶ ∼ 𝑟)
P4: p ⟶∼ r……… silogismo hipotético (SH) entre P1 y P2