Javier Fernando Ramirez Lopez - 000817067

TALLER SEGUNDO CORTE LOGICA MATEMATICA

Debera ser entregado en pdf y subido al aula en las fechas y horarios establecidos. NO se reciben fuera del
tiempo estipulado.

Realizar la tabla de cada uno de los enunciados y proceda a realizar la equivalencia correspondiente.
Compruebe el resultado comparando los resultados con la tabla respectiva.

1. [(p v q ) v r ] <-> [p v (q v r)]

p q r Pvq [(p v q ) v r (q v r) [p v (q v r)] [(p v q ) v r ] <-> [p v (q v r)]

1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 1
1 0 1 1 1 1 1 1
1 0 0 1 1 0 1 1
0 1 1 1 1 1 1 1
0 1 0 1 1 1 1 1
0 0 1 0 1 1 1 1
0 0 0 0 0 0 0 1

Simplifica: [(p v q) v r] <-> [p v (q v r)]

Leyes Aplicadas
• [(p v r) v r → p v (q v r)] ^ [p v (q v r) → (p v q) v r]
Ley de la Bicondicional
• (p v r) v r) → [(p v (q v r) ^ (p v q) v r] Ley de la Condicional
• ~ (p v r) v r) v [(p v (q v r) ^ (p v q) v r] Ley de Morgan
• (~p ^ ~r) v r) v [(p v (q v r) ^ (p v q) v r] Ley de Absorción
• ~ r v [(p v (q v r) ^ (p v q) v r] Ley Asociativa
• ~ r v [q v (p v r)]

EQUIVALENCIA
P Q R ~r pvr q v (p v r) ~ r v [q v (p v r)
1 1 1 0 1 1 1
1 1 0 1 1 1 1
1 0 1 0 1 1 1
1 0 0 1 1 1 1
0 1 1 0 1 1 1
0 1 0 1 0 1 1
0 0 1 0 1 1 1
0 0 0 1 0 0 1
2 ~(p^q) <-> (~p v ~q)

p q p^q ~ (p^q) ~p ~q (~p v ~q) ~ (p^q) <-> (~p v ~q)

1 1 1 0 0 0 0 1
1 0 0 1 0 1 1 1
0 1 0 1 1 0 1 1
0 0 0 1 1 1 1 1

Simplifica ~(p^q) <-> (~p v ~q)

Leyes Aplicadas
Ley de Morgan
• (~p v ~q) <-> (~p v ~q) Ley de la Bicondicional
• (~p v ~q) ^ (~p v ~q) v (p v q) Ley Distributiva Inversa
• [~p ^ (~p v ~q)] v (p v q) Ley de Absorción
• ~p v (p v q)

EQUIVALENCIA
P Q ~p pvq ~p v (p v q)
1 1 0 1 1
1 0 0 1 1
0 1 1 1 1
0 0 1 0 1
3[(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

P Q R ¬𝒑 (¬𝒑 ∧ 𝒓) (𝒑 → 𝒒)] [(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

1 1 1 0 0 1 0
1 1 0 0 0 1 0
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 1 1 1 1
0 1 0 1 0 1 0
0 0 1 1 1 1 1
0 0 0 1 0 1 0

Simplifica [(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

Leyes Aplicadas
• [(¬𝒑 ∧ 𝒓) ∧ (~p v q)] Ley de la Condicional

EQUIVALENCIA
P Q R ¬p ¬𝒑 ∧ 𝒓 ~p v q [(¬𝒑 ∧ 𝒓) ∧ (~p v q)]
1 1 1 0 0 1 0
1 1 0 0 0 1 0
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 1 1 1 1
0 1 0 1 0 1 0
0 0 1 1 1 1 1
0 0 0 1 0 1 0
4 [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

P Q R 𝒑∧𝒒 𝒑→𝒓 [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] 𝒓∧𝒒 [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 0 0 1
1 0 0 0 0 0 0 1
0 1 1 0 1 0 1 1
0 1 0 0 1 0 0 1
0 0 1 0 1 0 0 1
0 0 0 0 1 0 0 1

Simplifica [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Leyes Aplicadas
Ley de la Condicional
• ~ [(𝒑 ∧ 𝒒) ∧ (~ 𝒑 v 𝒓)] v (𝒓 ∧ 𝒒) Ley de Morgan
• (~𝒑 ∧ ~𝒒) ∧ (𝒑 v ~𝒓)] v (𝒓 ∧ 𝒒) Ley Distributiva Inversa
• [¬𝒑 v (~𝒒 v ~𝒓)] v (𝒓 ∧ 𝒒)

EQUIVALENCIA

P Q R ¬𝒑 ~𝒒 ~𝒓 (~𝒒 v ~𝒓) [¬𝒑 v (~𝒒 v ~𝒓) (𝒓 ∧ 𝒒) [¬𝒑 ∧ (~𝒒 v ~𝒓)] v (𝒓 ∧ 𝒒)

1 1 1 0 0 0 0 1 1 1
1 1 0 0 0 1 1 1 0 1
1 0 1 0 1 0 1 1 0 1
1 0 0 0 1 1 1 1 0 1
0 1 1 1 0 0 0 0 1 1
0 1 0 1 0 1 1 1 0 1
0 0 1 1 1 0 1 1 0 1
0 0 0 1 1 1 1 1 0 1
5 (𝒑 ∧ 𝒒) → (𝒑 → 𝒓)

P Q R 𝒑∧𝒒 𝒑→𝒓 (𝒑 ∧ 𝒒) → (𝒑 → 𝒓)
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 1
1 0 0 0 0 1
0 1 1 0 1 1
0 1 0 0 1 1
0 0 1 0 1 1
0 1 0 0 1 1

Simplifica (𝒑 ∧ 𝒒) → (𝒑 → 𝒓)
Leyes Aplicadas
Ley de la Condicional
• ~ (p ∧ q) v (~p v r) Ley de Morgan
• ~p v ~q v (~p v r) Ley Asociativa
• ¬q v [¬p v (~p v r)]

EQUIVALENCIA
P Q R ¬q ¬p (~p v r) [¬p v (~p v r)] ¬q v [¬p v (~p v r)]
1 1 1 0 0 1 1 1
1 1 0 0 0 0 0 0
1 0 1 1 0 1 1 1
1 0 0 1 0 0 0 1
0 1 1 0 1 1 1 1
0 1 0 0 1 1 1 1
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1
 6 [(𝒑 ∨ 𝒒) ↔ 𝒓]

P Q R 𝒑∨𝒒 [(𝒑 ∨ 𝒒) ↔ 𝒓]
1 1 1 1 1
1 1 0 1 0
1 0 1 1 1
1 0 0 1 0
0 1 1 1 1
0 1 0 1 0
0 0 1 0 1
0 0 0 0 1
Leyes Aplicadas
Simplifica [(𝒑 ∨ 𝒒) ↔ 𝒓] Ley de la Bicondicional
• [(p v q) ∧ r] v [ ¬ (𝒑 ∨ 𝒒) ∧ ¬r] Ley de Morgan
• [(p v q) ∧ r] v [ (¬𝒑 ∧ ¬𝒒) ∧ ¬r] Ley de Distribución
• [(p ∧ r) v (q ∧ r)] v [ (¬𝒑 ∧ ¬𝒒) ∧ ¬r] Ley Asociativa
• [(p∧ r) v (q ∧ r)] v [¬p ∧ (¬q ∧ ¬r)] Ley De Absorción
• ¬p v (¬q ∧ ¬r)

EQUIVALENCIA

P Q R ¬p ¬q ¬r ¬q ∧ ¬r ¬p v (¬q ∧ ¬r)
1 1 1 0 0 0 0 0
1 1 0 0 0 1 0 0
1 0 1 0 1 0 0 0
1 0 0 0 1 1 1 1
0 1 1 1 0 0 0 1
0 1 0 1 0 1 0 1
0 0 1 1 1 0 0 1
0 0 0 1 1 1 1 1
 7 [ (p →r) ∧ (∼r ∧ q)]→ ∼p

P Q R p →r ∼r ∼p (∼r ∧ q) [ (p →r) ∧ (∼r ∧ q)] [ (p →r) ∧ (∼r ∧ q)]→ ∼p

1 1 1 1 0 0 0 0 1
1 1 0 0 1 0 1 0 1
1 0 1 1 0 0 0 0 1
1 0 0 0 1 0 0 0 1
0 1 1 1 0 1 0 0 1
0 1 0 1 1 1 1 1 1
0 0 1 1 0 1 0 0 1
0 0 0 1 1 1 0 0 1

Simplifica [ (p →r) ∧ (∼r ∧ q)]→ ∼p

• ¬ [(¬p v r) ∧ (∼r ∧ q)] v ∼p Leyes Aplicadas

• [(p ∧ r) v (r v ¬q)] v ∼p Ley de la Condicional
• [ ¬ (p → ¬r) v (r v ¬q)] v ¬p Ley de Morgan
Ley de la Condicional #3
• [ (¬p → ¬r) v (r v ¬q)] v ¬p
Ley De Absorción Parcial
• [(¬ (¬p) v r) v (r v ¬q)] v ¬p
• [ (p v r) v (r v ¬q)] v ¬p
• [(p v r) v ¬q] v ¬p

EQUIVALENCIA
P Q R ¬p ¬q pvr (p v r) v ¬q [(p v r) v ¬q] v ¬p
1 1 1 0 0 1 1 1
1 1 0 0 0 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 1 1
0 1 1 1 0 1 1 1
0 1 0 1 0 0 0 1
0 0 1 1 1 1 1 1
0 0 0 1 1 0 1 1
 8[(p v q) ∧ (p →r) ∧ ∼q] → r

P Q R pvq p →r ∼q (p v q) ∧ (p →r) [(p v q) ∧ (p →r) ∧ ∼q] [(p v q) ∧ (p →r) ∧ ∼q] → r

1 1 1 1 1 0 1 0 1
1 1 0 1 0 0 0 0 1
1 0 1 1 1 1 1 1 1
1 0 0 1 0 1 0 0 1
0 1 1 1 1 0 1 0 1
0 1 0 1 1 0 1 0 1
0 0 1 0 1 1 0 0 1
0 0 0 0 1 1 0 0 1

Leyes Aplicadas
Simplifica [(p v q) ∧ (p →r) ∧ ∼q] → r Ley de la Condicional
Ley de Morgan
• ∼ [(p v q) ∧ (∼p v r) ∧ ∼q] v r Ley Distributiva
• [∼ (p v q) v ∼ (∼p v r) v ∼q] v r Ley Asociativa x2
• [(∼p ∧ ∼q) v (p ∧ ∼r) v ∼q] v r Ley Conmutativa
• [∼p ∧ (∼q v ∼r) v ∼q] v r Ley Distributiva Inversa
• [∼p ∧ ∼r v (∼q v ∼q)] v r Ley de Absorción Parcial x2
• [∼p ∧ (∼r v ∼q)] v r
• (∼p ∧ ∼r) v (∼p ∧ ∼q) v r
• [(∼p ∧ ∼r) v ∼p] v r
• (∼p v ∼r) v r

EQUIVALENCIA
P Q R ∼p ∼r (∼p v ∼r) final
1 1 1 0 0 0 1
1 1 0 0 1 1 1
1 0 1 0 0 0 1
1 0 0 0 1 1 1
0 1 1 1 0 1 1
0 1 0 1 1 1 1
0 0 1 1 0 1 1
0 0 0 1 1 1 1
 9{[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)} → s

P R S p∧ p∧ [(p ∧ r) → (p ∧ {[(p ∧ r) → (p ∧ s)] ∧ (p ∧ {[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)} →

r s s)] r)} s
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 1 0 1
1 0 0 0 0 1 0 1
0 1 1 0 0 1 0 1
0 1 0 0 0 1 0 1
0 0 1 0 0 1 0 1
0 0 0 0 0 1 0 1

Simplifica {[(p ∧ r) → (p ∧ s)] ∧ (p ∧ r)} → s Leyes Aplicadas

Ley de la Condicional
• {∼ [(p ∧ r) v (p ∧ s)] ∧ (p ∧ r)} → s Ley de Morgan
• ∼ {∼ [(p ∧ r) v (p ∧ s)] ∧ (p ∧ r)} v s Ley Distributiva a la Inversa
• { [(p ∧ r) v (p ∧ s)] v ∼(p ∧ r)} v s
• { [(p ∧ r) v (p ∧ s)] v (∼p v ∼r)} v s
• { [p ∧ (r v s)] v (∼p v ∼r)} v s

EQUIVALENCIA
P R S ∼p ∼r ∼p v ∼r rvs p ∧ (r v s) [p ∧ (r v s)] v (∼p v ∼r) final
1 1 1 0 0 0 1 1 1 1
1 1 0 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1 1 1
1 0 0 0 1 1 0 0 1 1
0 1 1 1 0 1 1 0 1 1
0 1 0 1 0 1 1 0 1 1
0 0 1 1 1 1 1 0 1 1
0 0 0 1 1 1 0 0 1 1
 10 [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

P Q R pvq p→ q→ r ∼q r∧p (p v q) ∧ (q→ r) ∧ {[(p v q) ∧ (p → r)]∧ {[(p v q) ∧ (p → r) ∧

r (p → r) ∼q [(q→ r) ∧ ∼q]} (q→ r) ∧ ∼q]} → (r ∧
p)
1 1 1 1 1 1 0 1 1 0 0 1
1 1 0 1 0 0 0 0 0 0 0 1
1 0 1 1 1 1 1 1 1 1 1 1
1 0 0 1 0 1 1 0 0 1 0 1
0 1 1 1 1 1 0 0 1 0 0 1
0 1 0 1 1 0 0 0 1 0 0 1
0 0 1 0 1 1 1 0 0 1 0 1
0 0 0 0 1 1 1 0 0 1 0 1

Simplifica [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

• [(p v q) ∧ (∼p v r) ∧ (∼q v r) ∧ ∼q] → (r ∧ p)

• ∼ [(p v q) ∧ (∼p v r) ∧ (∼q v r) ∧ ∼q] v (r ∧ p) Leyes Aplicadas
Ley de la Condicional
• [∼ (p v q) v ∼ (∼p v r) v ∼ (∼q v r) v ∼q] v (r ∧ p)
Ley de Morgan
• {[(∼p ∧ ∼q) v (p ∧ ∼r)] v [(q ∧ ∼r) v ∼q]} v (r ∧ p) Ley Distributiva a la Inversa
• {[∼p ∧ (∼q v ∼r)] v [(q ∧ ∼r) v ∼q]} v (r ∧ p) Ley Condicional #3
• [∼p ∧ (∼q v ∼r) v (∼q v ∼r)] v (r ∧ p) Ley Distributiva
• ∼p ∧ (∼q v ∼r) v (r ∧ p)
• ∼p ∧ (∼q v ∼r) v ∼ (r → ∼p)
• ∼p ∧ (∼q v ∼r) v (∼r → p)
• ∼p ∧ (∼q v ∼r) v (∼ (∼r) v p)
• ∼p ∧ (∼q v ∼r) v (r v p)
• (∼p ∧ ∼q) v (∼p ∧ ∼r) v (r v p)

EQUIVALENCIA
P Q R ∼p ∼q ∼r ∼p ∧ ∼q ∼p ∧∼r rvp (∼p ∧ ∼q) v (∼p ∧ ∼r) final
1 1 1 0 0 0 0 0 1 0 1
1 1 0 0 0 1 0 0 1 0 1
1 0 1 0 1 0 0 0 1 0 1
1 0 0 0 1 1 0 0 1 0 1
0 1 1 1 0 0 0 0 1 0 1
0 1 0 1 0 1 0 0 1 0 1
0 0 1 1 1 0 1 0 0 1 1
0 0 0 1 1 1 1 1 0 1 1
De acuerdo con las siguientes proposiciones simples, proceda a realizar la tabla de verdad correspondiente, a
partir del lenguaje simbolico, ademas de escribir en lenguaje natural la frase correspondiente.

Ejemplo:

Proposiciones simples
p: Gabriel García Márquez escribió 100 años de soledad
q: Gabriel García Márquez nació en Aracataca
r: Gabriel García Márquez ganó el premio nobel a la poesía

➢ Lenguaje simbólico
(𝒑 → 𝒒) ∧ (∼ 𝒒 → ∼ 𝒓)

➢ Lenguaje Natural

Si Gabriel García Márquez escribió 100 años de soledad entonces Gabriel García Márquez nació en Aracataca y
si Gabriel García Márquez no nació en Aracataca entonces Gabriel García Márquez no ganó el premio nobel a
la poesía.
 11Proposiciones simples:
p: Carolina estudia ingeniería de sistemas en la UNIMINUTO
q: Carolina aprobó el curso de LOGICA MATEMATICA
r: Carolina está matriculada en el periodo 2021-60.

[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬p

➢ Lenguaje Natural

Si Carolina estudia ingeniería de sistemas en la UNIMINUTO entonces no aprobó el curso de lógica matemáticas.
Carolina aprobó el curso de LOGICA MATEMATICA o Carolina no está matriculada en el periodo 2021-60. Carolina esta
Matriculada en el periodo entonces 2021-60. Entonces ella no estudia ingeniería de sistemas en la UNIMINUTO.

P Q R ¬p ¬𝑞 ¬𝑟 𝑝 → ¬𝑞 𝑞 ∨ ¬𝑟 [(𝑝 → ¬𝑞) ∧ [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬p

(𝑞 ∨ ¬𝑟) ¬𝑟) ∧ 𝑟]
1 1 1 0 0 0 0 1 0 0 1
1 1 0 0 0 1 0 1 0 0 1
1 0 1 0 1 0 1 0 0 0 1
1 0 0 0 1 1 1 1 1 0 1
0 1 1 1 0 0 1 1 1 1 1
0 1 0 1 0 1 1 1 1 0 1
0 0 1 1 1 0 1 0 0 0 1
0 0 0 1 1 1 1 1 1 0 1

12Proposiciones simples:

p: El virus del COVID 19 se dispersa en las aglomeraciones

q: Los contagios aumentan en las reuniones de personas
r: Una persona se puede contagiar al entrar en contacto con un sólo contagiado.

[(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

➢ Lenguaje Natural

El virus del COVID -19 no se dispersa en las aglomeraciones y Una persona se puede contagiar al entrar
en contacto con un solo contagiado. Si el virus del COVID 19 se dispersa en las aglomeraciones
entonces Los contagios aumentan en las reuniones de personas.

P Q R ¬𝒑 (¬𝒑 ∧ 𝒓) 𝒑→𝒒 [(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]

1 1 1 0 0 1 0
1 1 0 0 0 1 0
1 0 1 0 0 0 0
1 0 0 0 0 0 0
0 1 1 1 1 1 1
0 1 0 1 0 1 0
0 0 1 1 1 1 1
0 0 0 1 0 1 0
 13Proposiciones simples:
P: Meliodas es el hijo mayor del Rey Demonio
Q: Elizabeth es un miembro del Clan de las Diosas
R: Zeldris confía en que él es más que suficiente para lidiar con los Siete Pecados Capitales
S: más fuerte de Los 10 Mandamientos

{[(P→Q) ^ S] →(R <->S)}

➢ Language Natural

Si Melodías es el hijo mayor del Rey Demonio entonces Elizabeth es un miembro del clan de las Diosas. Meliodas
es el más fuerte de los 10 mandamientos entonces Zeldris confía en que él es más que suficiente para lidiar con
los Siete Pecados Capitales si y solo si es el mas fuerte de los 10 Mandamientos.

P Q S R P→Q (P→Q) ^ S R <->S {[(P→Q) ^ S] →(R <->S)}

1 1 1 1 1 1 1 1
1 1 1 0 1 1 0 0
1 1 0 1 1 0 0 1
1 1 0 0 1 0 1 1
1 0 1 1 0 0 1 1
1 0 1 0 0 0 0 1
1 0 0 1 0 0 0 1
1 0 0 0 0 0 1 1
0 1 1 1 1 1 1 1
0 1 1 0 1 1 0 0
0 1 0 1 1 0 0 1
0 1 0 0 1 0 1 1
0 0 1 1 1 1 1 1
0 0 1 0 1 1 0 0
0 0 0 1 1 0 0 1
0 0 0 0 1 0 1 1
14Escriba en forma simbólica los siguientes enunciados
a) Si las exportaciones disminuyen entonces bajarán las utilidades de la empresa
p: Las Exportaciones Disminuyen
s: Bajan las Utilidades de La Empresa

(P→S)

b) Con los nuevos impuestos, los precios son altos si y sólo sí las ventas no aumentan

r: Los Precios son Altos

n: Las Ventas no Aumentan

(R<->N)

c) Puedes conseguir un sobresaliente en esta asignatura si, y s´olo si, haces todos los ejercicios de este libro
o tu calificaci´on en el examen final es de sobresaliente

x: Puedes conseguir un sobresaliente en esta asignatura

k: haces todos los ejercicios de este libro
t: tu calificación en el examen final es de sobresaliente

[(X <-> K) v T]

d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa

p: Aumenta la Demanda
s: Aumenta la Oferta
l: Viceversa

[(P → S) ^ L]

e) Si la contaminación aumenta entonces existirá restricción vehicular adicional

e: Contaminación Aumentan
g: Existirá Restricción Vehicular Adicional

(E → G)

15 O Juan tiene mayoría o Pedro tiene mayoría. Si Juan tiene mayoría, entonces Pedro será el tesorero.
Si Pedro tiene mayoría, entonces Juan será el tesorero.

p: Juan Tiene Mayoría

s: Pedro Tiene Mayoria
r: Pedro Sera el Tesorero
t: Juan Sera el Tesorero

{[v (P v S)]^ [(P→R) ^ (S→T)]}

 16 la cámara fue adquirida legalmente por el vendedor o la cámara es mercancía robada. Si la cámara
fue adquirida legalmente por el vendedor, entonces es mi cámara. Si la cámara es mercancía robada,
entonces Tomás es su propietario legal.

k: la cámara fue adquirida legalmente por el vendedor

m: la cámara es mercancía robada
t: Es mi cámara
h: Tomas es su propietario legal

(k v m) ^ [(k → t) ^ (m → h)]

17 Este número o es un número positivo o es un número negativo. Si es un número positivo, es mayor

que cero. Si es un numero negativo, es menor que cero.

k: Este Numero
s: Es un Numero Positivo
t: Es un Numero Negativo
p: Es Mayor que Cero
r: Es Menor que Cero

{(K v S v T) ^ [(S→ P) ^ (T → R)]}

18 La planta es una planta verde o es una planta no verde. Si es una planta verde, entonces fabrica su
propio elemento. Si es una planta no verde, entonces depende de las materias de otras plantas para su
alimento".

z: La planta es una planta verde

f: Es una Planta no Verde
s: Fabrica su Propio Elemento
k: Depende de las Materias de Otras Plantas Para su Alimento.

{(Z v F) ^ [(Z → S) ^ (F → K)]}

19. Si Sandra es inteligente y estudia mucho, sacara buenas calificaciones y aprobara el curso. Si
Sandra estudia mucho pero no es inteligente, sus esfuerzos serán apreciados y si sus esfuerzos
son apreciados, aprobara el curso. Si Sandra es inteligente, entonces estudia mucho. Luego,
Sandra aprobara el curso.

p: Sandra Es Inteligente
q: Sandra Estudia Mucho
l: Sacara Buenas Calificaciones
n: Aprobara el Curso
z: Sus esfuerzos serán apreciados
d:

{[(p ∧ q) → (l ∧ n) ∧ (q ∧ ~p) → z ∧ (z → n) ∧ (p → q)] → n}

20. Si la inflación continua, entonces las tasas de interés permanecerán altas. Si la inflación
continua, entonces si las tasas de interés permanecen altas, descenderá la actividad comercial. Si
las tasas de interés permanecen altas, entonces si l actividad comercial decrece, el desempleo
aumenta, Así, si el desempleo aumenta, continuara la inflación.

q: La inflación continua
p: Las tasas de interés permanecerán altas
o: Descenderá la actividad comercial
r: l actividad comercial decrece
t: El desempleo aumenta

{[(q → p) ^ (q → (p → o) ^ (p → (r → t)] <-> (t → q)}

21 “Cuando sea que un hombre transfiere su derecho, o renuncia a él; lo hace ya sea en
consideración de algún derecho recíprocamente transferido a sí mismo, o por algún otro bien que
espera a cambio. Pues es un acto voluntario y de los actos voluntarios de todo hombre, el objeto
es un bien para sí.”

w: Cuando sea que un hombre transfiere su derecho

p: Renuncia a él
l: Lo hace ya sea en consideración de algún derecho recíprocamente transferido a sí mismo
s: Pues es un acto voluntario
r: De los actos voluntarios de todo hombre
j: El objeto es un bien para sí
y: Por algún otro bien que espera a cambio

{[(w v p) ^ (l v y) ^ (s ^ r)] v j}
 22“Todo estado es una comunidad de algún tipo, y toda comunidad es establecida con
mira a un bien; pues la humanidad siempre actúa para obtener aquello que creen bueno.
Pero, si todas las comunidades buscan lo bueno, el estado o comunidad política, que es el
más alto de todos, y que incorpora al resto, busca el bien en mayor grado que cualquier
otro y el bien más alto.”

e: Todo estado es una comunidad de algún tipo

u: Toda comunidad es establecida con mira a un bien
h: La humanidad siempre actúa para obtener aquello que creen bueno
k: Todas las comunidades buscan lo bueno
p: El estado o comunidad política
d: Que es el más alto de todos
z: Que incorpora al resto
x: Busca el bien en mayor grado que cualquier otro
s: El bien más alto

{(e ^ u) ^ h) ^ [k v (p ^ d) ^ z] → (x ^ s)]}
Haciendo uso de las leyes de inferencia y a partir del lenguaje natural, realizar la expresion simbolica, las
premisas y la conclusion del ejercicio.

Ejemplo

Lenguaje Natural:
Si Javier estudia ingeniería de sistemas en UMD entonces Javier no aprobó el curso de cálculo diferencial.
Javier aprobó el curso de cálculo diferencial o Javier no está matriculada en el periodo 2021-60. Javier está
matriculada en el periodo 2021-60. Por lo tanto, Javier no estudia ingeniería de sistemas en UMD.

Proposiciones simples:
p: Javier estudia ingeniería de sistemas en UMD
q: Javier aprobó el curso de cálculo diferencial
r: Javier está matriculada en el periodo 2021-60

Expresión simbólica:
[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

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

Conclusión: ¬p
23“Tenemos libre albedrío sólo si somos enteramente la causa de que seamos la clase de
personas que somos. Pero no somos enteramente la causa de la clase de personas que somos.
Por lo tanto, no tenemos libre albedrío.”

p: Tenemos libre albedrío

d: Somos enteramente la causa de que seamos la clase de personas que somos

[(p → d) ∧ ¬d] → ¬p

Premisas
P1: p → d
P2: ¬d

Conclusión: ¬p

24 Si hoy debo ir al trabajo entonces tendré que trabajar muy duro o me echarán de la empresa. No es cierto que
hoy no tenga que ir al trabajo. No me echarán de la empresa. Por lo tanto, tendré que trabajar muy duro.

q: Hoy debo ir al trabajo

l: Tendré que trabajar muy duro
t: Me echarán de la empresa
r: No es cierto que hoy no tenga que ir al trabajo

[(q →l) v t) ∧ (r ∧ ¬t)] → t

Premisas
P1: (q →l) v t)
P2: (r ∧ ¬t)

Conclusión: t
25 Si ingreso a la universidad, entonces tendré mucho que leer y si tengo muchos amigos, entonces saldré a
rumbear los fines de semana. Si consigo novia, saldré a rumbear los fines de semana. Si salgo a rumbear los
fines de semana, tendré bajo rendimiento académico. No tendré mucho que leer o no tendré bajo rendimiento
académico. Por lo tanto, si ingreso a la universidad, entonces ni conseguiré novia ni tendré muchos amigos

t: Ingresó a la universidad
p: Tendré mucho que leer
k: Tengo muchos amigos,
c: Salir a rumbear los fines de semana
z: Consigo novia
y: Tendré bajo rendimiento académico

{[(t → p) ∧ (k → c)] ∧ (z → c) ∧ [(c → y) ∧ (¬p v ¬y)]} → [t → (¬z ∧¬k)]

Premisas:
P1: (t → p) ∧ (k → c)
P2: z → c
P3: (c → y) ∧ (¬p v ¬y)

Conclusión: t → (¬z ∧¬k)

26 Si estudias con dedicación, juicio y cuidado, entonces aprenderás y tendrás recompensas. Estudias con
dedicación o juicio y aprendes. Por lo tanto, tendrás recompensas.

g: Estudias con dedicación

l: Aprenderás
j: Tendrás recompensas
t: Juicio
c: Cuidado

[g ∧ (t ∧ c) → (l ∧ j) ∧ (g v t) ∧ l] → j

Premisas:

P1: g ∧ (t ∧ c) → (l ∧ j)
P2: (g v t) ∧ l

Conclusión: j