ESTUDIOS

GENERALES
LETRAS

CURSO: Lógica
CÓDIGO: FIL 105
PROFESOR: María Luisa Castillo
HORARIO: 0208
SEMESTRE: 2021-2

ALUMNO(A):

PRÁCTICA CALIFICADA N° 3

Puntaje Nota
I II III
Máximo
Obtenido
6
6
6
6
8
8
20

INDICACIONES:
● La fecha límite para entregar la práctica calificada vía PAIDEIA será hasta el
lunes 08 de noviembre a las 10:00 a.m.
● La redacción y ortografía se toman en cuenta para la calificación de la prueba.

I. Implicación y equivalencia (6 puntos)

Elija solo UNO de los siguientes ejercicios

Dadas las siguientes fórmulas:

A. ( p →r ) ˄ ( q → p ) . → .q → r

B. q ˄ r .→ . [ ( p → r ) ˄ q ]

1
 1. Determinar si B está implicado por A.

A→B

1) F {[(p → r) ʌ (q → p) .→. q → r] → {q ʌ ~r .→. [(p → r) ʌ ~q]}

5) V [(p → r) ʌ (q → p) .→. q → r
2) F q ʌ ~ r .→. [(p → r) ʌ ~ q]
3) V q ʌ ~r
10) F (p → r) ʌ ~q
Vq
4) V ~ r
Fr

7) F (p → r) ʌ (q → p) 6) V q → r

8)F p → r 9) F q → p Fq Vr
Vp Vq x x
Fr Fp
R1
10) Fp→r 11) F ~q
Vp Vq
Fr
x
R2

No. B no está implicado por A debido a que aún existen ramas abiertas, lo que
facilita el encuentro con algún posible estado de falsedad en la fbf, por lo que, así
como tendremos Verdaderos, también Falsos. La fórmula sería, en vez de válida (o
aceptar su tautología, pues debe resultar esta última para determinar si es válida o
no), contingente.

R1) Vp; Vq; Fr

R2) Fp; Vq; Fr

En aquellos estados, se presentarán falsos. Por lo que la estructura en la tabla de

verdad sería:

2
  VFVV/VFVV

2. Determinar si hay equivalencia entre A y B.

Validez

Elija uno de los dos argumentos siguientes y determina su validez. Para ello: 1)
elabore la lista de proposiciones simples, 2) elabore la estructura formal, 3) elabore
la simbolización y 4) determina su validez mediante diagramas semánticos. (6
puntos)
2.1
No es el caso que o bien Isabel ha obtenido el financiamiento para la redacción de su
tesis o bien tendrá que obtener un trabajo de medio tiempo. No obstante, Isabel tendrá
asegurado su presupuesto del año cuando y solo cuando obtenga el premio de
investigación de la facultad. Sin embargo, si Isabel gana el premio de investigación de
la facultad, ella tendrá el financiamiento para la redacción de su tesis a menos que
obtenga un trabajo part time. Por ello, Isabel concluirá con tranquilidad la redacción de
su tesis si ella logra conseguir el premio de investigación de la facultad.

2.2

George está en un viaje de negocios en Trujillo puesto que o bien no necesita ampliar su
cartera de clientes o bien no consiguió obtener el premio al mejor vendedor el año
pasado. No obstante, George compró unos boletos a Chiclayo a pesar que no está de
viaje de negocios en Trujillo. Sin embargo, George se encuentra en Trujillo en un viaje
de negocios a menos que el gobierno dicte restricciones de movimiento para las
personas. Por todo lo anterior, George necesita ampliar su cartera de clientes.

Proposiciones:

p: George está en un viaje de negocios en Trujillo.

q: George necesita ampliar su cartera de clientes.
r: George consiguió obtener el premio al mejor vendedor el año pasado.
s: George compró unos boletos a Chiclayo.
t: El gobierno dicte restricciones de movimiento para las personas.

Estructura:

p puesto que o bien no q o bien no r. No obstante, s a pesar que no p. Sin embargo, p a

menos que t. Por todo lo anterior, q.

Simbolización:

{[(~q v ~r) → p .ʌ. s ʌ ~p] ʌ (p v t)} → q

3
Validez:

1) F ({[(~q v ~r) → p .ʌ. s ʌ ~p] ʌ (p v t)} → q)

2) V {[(~q v ~r) → p .ʌ. s ʌ ~p] ʌ (p v t)
Fq
3) V [(~q v ~r) → p .ʌ. s ʌ ~p]
6) Vpvt
7) V (~q v ~r) → p
4) V s ʌ ~p
Vs
5) V ~p
Fp

Vp Vt

X 8) F ~q v ~r Vp
9) F ~q
10) F ~r X
Vq
Vr

 El argumento es válido debido a que, como se puede observar, se cerraron todas las
ramas pendientes. Demostrando, así como su validez, su tautología (en sus 32 estados
del mundo que derivan de las proposiciones p, q, r, s y t). ESTAMOS ACEPTANDO
EL CONDICIONAL VÁLIDO.

TAUTOLOGÍA
 VVVVVVVVVVVVVVVV/VVVVVVVVVVVVVVVV

4
III. Derivaciones (8 puntos)

Desarrolle las siguientes derivaciones (en máximo 20 pasos):

3.1
1. ( w ↔ t)∧ p
2. q → t
3. p ∨q Negació n resuelta:
4. ( u → r ) → w ∴ ( ( t → r ) ∨ ( p → u ) )  (~t ʌ ~r) ʌ (~p ʌ u)
5. ~p (1) Simplificación
6. q (3, 5) Silogismo Disyuntivo
7. ~t (2, 6) M.P.P.
8. (~w ↔ ~t) (1) Simplificación
9. ~w (7, 8) Eliminación del bicondicional
10. ~ (u → r) (4, 9) M.T.T.
11. u ʌ ~r (10) Internar el condicional
12. u (11) Simplificación
13. ~r (11) Simplificación
14. ~t ʌ ~r (7, 13) Conjunción
15. ~p ʌ u (5, 12) Conjunción
16. (~t ʌ ~r) ʌ (~p ʌ u) (14, 15) Conjunción  Hallar la negación
resuelta.

3.2
1. ( p → q)∧ (r → t )
2. q ∨ s
3. t → s
4. ( u →u)∨u ∴ ( q → w ) ∧u
5. (r → t) (1) Simplificación
6. r ʌ t (5) Internar el condicional
7. t (6) Simplificación
8. s (3, 7) M.P.P.
9. q (2, 8) Silogismo disyuntivo
10. ( u v u ) v u (4) Definición del condicional
11. u (10) Idempotencia
12. q v w (9) Adición
13. q → w (12) Definición del condicional
14. ( q → w ) ʌ u (11, 13) Conjunción

5
6