UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO

FACULTAD DE CIENCIAS FISICAS Y MATEMATICA

Escuela Profesional de Estadística
LOGICA SIMBOLICA
EJERCICIOS UNIDAD 2

DOCENTE: Adelmo Perez

CURSO: LOGICA SIMBOLICA

INTEGRANTES:

• Rey luckar Rojas Nuñez

• Sebastian Dominguez Paredes
• Armando Burgos Sandoval
• Jampier Mio More

2025
1. Mediante el método abreviado diga si las siguientes formulas son
tautológicas.

a) [(p → q) → (p → r)] → [p → (q → r)]

V F V V F V

• p= v F V V V
• q= f
• r= v V V

b) (p ∧ [(q ∧ p) → ¬r]) → (r ∨ ¬q)

V V F F

• p= v V V F
• q= v
• r= f V V F

V F

c) [p → (q ∨ ¬r)] ∧ r → (¬p ∨ ¬q)

V V F F

• p= v V V V F
• q= v
• r= v V F

d) [p ∨ (q → ¬r)] ∧ r → (p ∨ ¬q)

V F F F

• p= f F F V F
• q= v
 • r= v F F

2. Mediante el método abreviado determine si las siguientes inferencias son

válidas o invalidas.

a) Si las aguas del mar peruano se enfrían o calientan excesivamente, entonces no

se podrá pescar anchoveta ni atún. No se puede pescar anchoveta ni atún. Por
tanto, las aguas del mar peruano se han enfriado o calentado excesivamente.

Premisa 1: Si las aguas del mar peruano se enfrían o calientan excesivamente,

entonces no se podrá pescar anchoveta ni atún. (p → ¬q)

Premisa 2: No se puede pescar anchoveta ni atún. (¬q)

Conclusión: Las aguas del mar peruano se han enfriado o calentado

excesivamente. (p)

1) p → ¬q

2) ¬q
∴p

INVALIDA

b) Si la DICSCAMEC entrego autorizaciones a comerciantes y no denuncio ante

la fiscalía la comercialización ilegal de los pirotécnicos, entonces cometió
irregularidades y será declarada en reorganización por el Ministerio del Interior.
La DICSCAMEC no entregó autorizaciones a comerciantes y denunció ante la
fiscalía la comercialización ilegal de los pirotécnicos. Luego, no cometió
irregularidades y no será declarada en reorganización por el Ministerio del Interior.
Premisa 1: Si la DICSCAMEC entregó autorizaciones a comerciantes y no
denunció la comercialización ilegal, entonces cometió irregularidades y será
reorganizada. (p ∧ ¬q) → (r ∧ s)

Premisa 2: La DICSCAMEC no entregó autorizaciones a comerciantes y denunció

la comercialización ilegal. (¬p ∧ q)

Conclusión: La DICSCAMEC no cometió irregularidades y no será reorganizada.

(¬r ∧ ¬s)

1) (p ∧ ¬q) → (r ∧ s)
 2) (¬p ∧ q)

∴ (¬r ∧ ¬s)

INVALIDA

c) Dos polígonos son iguales si y sólo si tienen respectivamente iguales todos sus
lados e iguales los ángulos comprendidos entre los lados respectivamente
iguales. Dos polígonos son iguales. Luego, tienen respectivamente iguales todos
sus lados.

Premisa 1: Dos polígonos son iguales si y solo si tienen lados e ángulos iguales. (p
↔ q)

Premisa 2: Dos polígonos son iguales. (p)

Conclusión: Tienen lados iguales (p)

(2) p ↔ q

1) p

∴p

VALIDO

d) Las bacterias son organismos microscópicos y causantes de enfermedades

graves en el hombre o no son organismos microscópicos ni causantes de
enfermedades graves en el hombre. Si las bacterias tienen forma de bastoncillos,
se llaman bacilos. Luego, las bacterias son organismos microscópicos si y solo si
son causantes de enfermedades graves en el hombre.

Premisa 1: Las bacterias son organismos microscópicos y causantes de

enfermedades graves o no son organismos microscópicos ni causantes de
enfermedades graves. (p ∨ ¬p)

Premisa 2: Si las bacterias tienen forma de bastoncillos, se llaman bacilos. (q → r)

Conclusión: las bacterias son organismos microscópicos si y solo si son

causantes de enfermedades graves. (p ↔ q)

1) p ∨ ¬p)
2) q → r)
∴p↔q
INVALIDA

3. Utiliza las propiedades lógicas y demuestra mediante el método

directo justificando
cada paso:

a)
1) (q → ¬p) ∧ (p → r)
2) r → q
3) ¬s → p
∴s

Procedimiento:

1) (q → -p) ∧ (p→ r) ................(Premisa)

2) r → q ...............(Premisa)

3) -s → p ............... (Premisa)

4) p → r ............. Simp en 1

5) -s → r ................ SH en (3) y (4)

6) -s → q ................ SH en (5) y (2)

7) q → -p ................. Simp en 1

8) -s → -p ................. SH en (6) y (7)

9) p → s ................ Contraposición en 8

10) --s ................. MT en 3,9

11) s ..................DN en 10
b)

1) p → q
2) r ∧ s
3) p ∨ ¬s
∴r∧q

Procedimiento:

1) p → q ................(Premisa)

2)r ∧ s ..................(Premisa)

3) p ∨ s .................(Premisa)

4) s...................... Simp en 2

5) --s ......................DN en 4

6) p .......................Silogismo Disyuntivo en (3) y (5)

7) q ........................MP en (1) y (6)

8) r ........................Simp en 2

9) r ∧ q.................... Conj en (7) y (8)

c)
1) (p ∧ q) → [p → (r ∧ s)]
2) (p ∧ q) ∧ t
∴r∨s

PROCEDIMIENTO

1) (p ∧ q) → [p→ (rs)].............. (Premisa)

2) (p ∧ q) t ..........................(Premisa)

3) p ∧ q .............................(Simp en 2)

4) p → (r ∧ s) ........................ (MP en 1,3)

5) p ..................(Simp en 3)

6) r ∧ s............... (MP en 4, 5)

7) r ......................(Simp en 6)

8) r ∨ s ..................(Ad en 7)
d)
1) p → (q → r)
2) r → ¬r
3) (s → p) ∧ (t → q)
∴ s → ¬t
PROCEDIMIENTO:

1) p → (q → r) ................ (Premisa)

2) r → -r ................ (Premisa)

3) (s → p) ∧ (t → q) ................ (Premisa)

4) r →-r = -r ∨ -r =-r ........... IM en (2)

5) -r ................ (De 4)

6) -q ∨ -p ................ MT en (1) y (5)

7) - (q ∧ p) ................ DM en (6)

8) s → p ................ Simp en (3)

9) t → q ................ Simp en (3)

10)-p ∨ -q ................ Conmutatividad en (6)

11)-p ................De 10 si -q es falso

12)-s ................ MT en (8) y (11)

13) -q ................ De 10 si-p falso

14) -T ................ MT en (9) y (13)

15)-s ∨ t ................ De (12) y (14)

16) s → -t ................ IM en (15)

e)
1) ¬(p ∧ q) ∨ r
2) p ∧ s
3) q
∴r∨t

PROCEDIMIENTO:

1) ¬ (p ∧ q) ∨ r ................ (Premisa)

2) p ∧ s ................ (Premisa)
3) q ................ (Premisa)

4)p ................ Simp en (2)

5)p ∧ q ................ Conj en (4) y (3)

6) --(p ∧ q) ................ (DN en 5)

7)r ................ Silogismo Disyuntivo en (1) y (6)

8)r v t ................ Ad en (7)

f)
1) ¬(p ∨ q) ∨ r
2) s → p
3) t → q
4) s ∨ t
∴r
PROCEDIMIENTO:

1)- (p ∨ q) ∨ r ................ (Premisa)

2) s → p ................ (Premisa)

3) t → q ................ (Premisa)

4)s ∨ t ................ (Premisa)

5)p v q ................ Dilema Constructivo en (2) y (3) y (4)

6) --(p ∨ q) ................DN en (5)

7) r ................ Silogismo Disyuntivo en (1) y (6)

4. Mediante la prueba condicional demuestre:

a)
1. ¬(p ∨ q) ∨ ¬r
2. s → p
3. ¬t → q
∴r→s
1) r ........................Asumimos r para probar r → s

2) ¬ (p ∨ q) ....................... De (1) por implicación)

3) ¬p ∧ ¬q .........................De (2) por Leyes de DeMorgan

4) ¬p ...............................De (3) por simplificación

5) ¬q ............................. De (3) por simplificación

6) s → p .............................(Dada)
7) ¬s............................... De (4 ) y (6) por Modus Tollens

8) ¬t → q .........................(Dada)

9) t ...................................De (5) y (8) por Modus Tollens

10) r → s .............................De (1) a (9) por prueba condicional

b)
1. ¬(r ∨ s) ∨ t
2. p → ¬t
3. ¬p → s
∴r→q
1)r ................ Asumimos r para probar r → q
2) ¬(r ∨ s) ................ De 1, por implicación
3) ¬s ................ De (2) por Ley de Simplificación
4) ¬p → s................ (Dada)
5) p ............... De (3 )y (4) por Modus Tollens
6) p → ¬t ................ (Dada)
7)¬t ................ De (5) y (6) por Modus Ponens
8) ¬(r ∨ s) ∨ t ............ (Dada)
9) t ................ De (2) y (8) por Silogismo Disyuntivo
10)r → q ................ De (1) a (9) por prueba condicional

c)
1. ¬r ∨ s
2. ¬q → ¬s
3. r ∨ (s ∧ t)
∴ ¬q → (t ∧ s)

1) ¬q ................ Asumimos ¬q para probar ¬q → (t ∧ s)

2) ¬s ................ De (1) y (2), por Modus Tollens
3) ¬r ∨ s ................ (Dada)
4) ¬r ................ De (2) y (3), por Silogismo Disyuntivo
5) r ∨ (s ∧ t) ................ (Dada)
6) s ∧ t ................ De (4) y (5) por Silogismo Disyuntivo
7) t ................ De (6) por Simplificación
8) s ................ De (6,) por Simplificación
9) t ∧ s ................ De (7) y (8) por Conjunción
10) ¬q → (t ∧ s) ...........De (1) a (9), por prueba condicional

d)
1. (r ∧ s) → t
2. ¬p ∨ ¬t
3. p ∧ q
∴ r → ¬s

1) r ................ Asumimos r para probar r → ¬s

2) (r ∧ s) → t ................ (Dada)
3)¬p ∨ ¬t ................ (Dada)
4)p ∧ q ................ (Dada)
5) p ................ De (4) por Simplificación
6) ¬¬t ................ De (3) y (5), por Silogismo Disyuntivo
7) t ................ De 6, por Doble Negación
8) r → (r ∧ s) .......... Por implicación
9) r ∧ s ................ De (1) y (8), por Modus Ponens
10) s ................ De (9), por Simplificación
11) (r ∧ s) → t ....... (Dada)
12) t ................ De (1) y (11), por Modus Ponens
13)r → ¬s ................ De (1) a (12), por prueba condicional

5. Aplicando el método de reducción al absurdo demuestre:

a)
1. p → (q ∨ r)
2. q → ¬p
3. s → ¬r
∴ ¬(p ∧ s)

b)
1. ¬s → q
2. s → ¬r
3. q → t
∴ ¬r ∨ t
c)
1. r → ¬z
2. ¬p ∨ ¬s
3. ¬s → r
4. ¬(t ∨ r)
∴ ¬p
d)
1. ¬s → r
2. (t ∨ s) → r
3. z ∨ ¬s
4. ¬t
∴ ¬(t ∨ s)

6. Determina la validez de:

Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el
coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de
Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen.
El reloj está adelantado. Por tanto, Andrés estaba en el edificio en el momento del
crimen.

p: El reloj está adelantado

q: Juan llegó antes de las diez

r: Juan vio partir el coche de Andrés

s: Andrés dice la verdad

t: Andrés estaba en el edificio en el momento del crimen

1) p → (q ∧ r)
2) s → ¬r
3) s∨t
4) p
∴t

El argumento es válido, porque la conclusión se deduce necesariamente de las

premisas mediante reglas válidas de inferencia (modus ponens, modus tollens,
silogismo disyuntivo).

7. Dar una demostración formal completa de los siguientes razonamientos:

a) Demostrar: y + 8 < 12
(1) x + 8 = 12 ∨ x 6 = 4
(2) x = 4 ∧ y < x
(3) x + 8 = 12 ∧ y < x
∴ y + 8 < 12
Demostración:

De la premisa (3):

x + 8 = 12 y y<x

Entonces: x = 4 (porque 4+8=12)

y<x=y<4

Sumando 8 a ambos lados:

y+8<4+8 Rightarrow y + 8 < 12

Por que y + 8 < 12

b) Demostrar: x < 4 ∧ y < 6
(1) x + 2 < 6
(2) y < 6 ∨ x + y 6 = 10
(3) x + y < 10 ∧ x + 2 < 6
∴x<4∧y<6

De la premisa (3):

x + y < 10 y x + 2 < 6

Entonces: x < 4

Y de x + y < 10- y < 10 - x

Como x < 4 entonces | 0 - x > 6

y < 10 - x -> y < 6

Por lo demuestra que x < 4 y < 6