Práctica Dirigida 01

I. SIMBOLIZAR LAS SIGUIENTES PROPOSICIONES LÓGICAS:

1. Las computadoras trabajan más rápido que los hombres.

2. No tengo un auto azul.
3. Si cantamos entonces necesitamos viajar.
4. Leeré este libro si solo si tiene pocas hojas.
5. No es cierto que si no tomamos café implica que no es de día.
6. La tierra gira alrededor del sol ó no se da que la luna es un planeta.
7. Si trabajara los fines de semana y durmiera menos entonces no perdería el
vuelo.
8. Es falso que vivo en Loja, pero visitaré a mi familia en Cuenca.
9. Ana es profesora o es estudiante, pero no puede ser ambas cosas a la vez
10 Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como
una regadera y dejaría que me internaran en un psiquiátrico.
11. Si no apruebas o no resuelves este problema, entonces es falso que, hayas
estudiado o domines la deducción lógica. Pero no dominas la deducción lógica
aunque has estudiado.
II. EJERCICIOS DE APLICACIÓN.

1. La proposición: [r ⋀ ~ (p ⇒ q)] ⋀ ~[ p⋀~ (s→q)] es verdadera. Los valores

de
verdad de las proposiciones p, q, r y s son respectivamente:
B) E) FFVF
A) VFVF C) VFFV D) VFFF
VFVV
2. Si la proposición: [(~p ∨q) ⇒ (q ⇔r)] ∨ (q ∧s) es falsa, siendo p una proposición
verdadera, determine los valores de verdad de q, r, s en ese orden.
E)
A) VVV B) VFV C) VFF D) FFV
FFF
3. Si la proposición: (~p ⇒ q) ∨ (r ⇒ ~s) ≡ F. Determine el valor de verdad de las
siguientes proposiciones.
I. (~p ∧ ~q) ∨ ~q
II. (~r ∨ q) ⇔ [(~q ∨ r) ∧ s]
III. (p ⇒ q) ⇒ [(p ∨ q) ∧ ~q]
E)
A) VVV B) VVF C) VFF D) FVV
FFF
4. Si p y q son proposiciones falsa y verdadera respectivamente , halle el valor
de verdad de las siguientes proposiciones:
a. p V ( p → q ) c) p Λ ( p→ q )
b. ( p V q ) → p d) (p V q ) ↔ [ p Λ ( p→ q ) ]

5. a) Si la proposición p → (p V q ) es falso ,determine el valor de verdad de :

˜(p V q )
 b) Si la proposición ( p Λ q ) → ( q→r ) , es falsa determine el valor de : p V r
III. CONSTRUYE LA TABLA DE VERDAD PARA CADA UNA DE LOS SIGUIENTES
ESQUEMAS MOLECULARES, Y DETERMINA SI ES: TAUTOLOGÍA
CONTRADICCIÓN
O CONTINGENCIA.
1. 𝑞 ∨ (𝑟 ∧ 𝑠)
2. (𝑝 ∧ 𝑞) ↔ ~(~𝑝 ∨ ~𝑞)
3. (𝑝 ∧ 𝑞) ∧ (𝑝 ∧ ~ 𝑞)
4. (𝑝 ∧ 𝑞) ↔ (𝑞 ∧ 𝑝)
5. ~ [~ (𝑝 ∧ 𝑞) → ~ 𝑞] ∨ 𝑝
6. [(𝑝 → 𝑞) ∨ ~ 𝑝] ∧ (~ 𝑞 → 𝑝)
7. [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ ~ 𝑞)] ∨ (~ 𝑝 ∨ ~𝑞)
8. [(𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞)] → [(𝑝 → 𝑞) ∧ (𝑞 → 𝑝)]
9. ~{~ [(𝑝 → 𝑞) ∨ (~𝑝 ∧ 𝑟)] ∧ ~ (~𝑟 → 𝑞)} Δ 𝑟
10. {[𝑝 → (𝑞 → 𝑟)] ∧ [𝑞 Δ (𝑝 → 𝑟)]} ↔ [(𝑝 ∨ 𝑞) → 𝑟 ]
 UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
(Universidad del Perú, Decana de América)
ESCUELA DE ESTUDIOS GENERALES
ÁREA DE HUMANIDADES, CIENCIAS SOCIALES Y JURÍDICAS
CURSO: Matemática Aplicada a las Ciencias Sociales y Humanas.
SEMESTRE: 2020-I
TEMA: Proposiciones equivalentes, leyes lógicas, cuantificadores, inferencia
lógica.
Práctica Dirigida 02
1. Simplificar las siguientes esquemas proposicionales aplicando las leyes :
i) ~ (~p ∨ ii) ~ (p ∨ ~q) ∧ ~q
~q)

2. Demuestre por tablas de verdad las siguientes leyes :

i) [ (p ∨ q) ∧ q ] → ii) ~(p ∧ q) ↔ ~p ∨ ~q iii) ~(p ∨ q) ↔ ~p ∧
q ~q

3. Evalúe cada proposición en los ejercicios 1 – 6 con los valores de

verdad.
p = F, q = V, r= F.
a. p ∨ q Verdadero
b. ~p ∨ ~q
c. ~p ∨ q
d. ~p ∨ ~ (q ^ r) Verdadero
e. ~ (p ∨ q) ^ (~p ∨ r)
f. (p ∨ ~r) ^ ~ ((q ∨ r) ∨ ~ (r ∨ p))
4. Establecer las siguientes equivalencias simplificando las
proposiciones del lado izquierda

a. (p∧q)→p↔V
b. ~(~(p∨q)→∼p)↔F
c. (q→p)∧(∼p→q)∧(q→q)↔p
d. ∼(p∧q)↔(p∧∼q)∨(∼p∧q)∨(∼p∧∼q)
e. [(p→ p) ∨ q] ∧ [~q ∨ (r ∧ q)] ∧ [p → (p ∨ ~q)]
f. [~(p ∨ q) ∨ (~p ∧ q)] → (~p ∧ q)
g. [(p🡺 ~q) 🡺 ~p ] 🡺 q
 h. [(p ˄ q) 🡺 ~r] v [p 🡺 (q🡺 ~r)]
i. ~{[(~p) ∨ (~q)] ∨ ~q ]}
j. [~p ∨ q] ∨ [~q ∨ ~p]

k. ( p ∨ ~p) ∧ [p ∧ (q ∨ p)] I) [~ (p → q) → ~ (q → p)] ∧ (p ∨ q)

5. La proposición (p ∨ q) → (∼ p ∧ q) es equivalente a:
a) b) e) p ∧
c) q d) ∼q
p ∼p q
6. Indica si son equivalentes. Comprueba con tablas de verdad:
a) ((p ⇔ q) ⇔ r) ≡ (p ⇔ (q ⇔ r))
b) (p ∧ (q ∨ r)) ≡ ((p ∧ q) ∨ (p ∧ r))
c) (p ⇒ q) ⇔ (~q ⇒ ~p)
CUANTIFICADORES.
1. Negar las siguientes proposiciones cuantificadas. Luego,
simbolizar la proposición y la negación de dicha proposición.

a. Todos los números naturales son pares.

b. Existe un número par que no es múltiplo de 4.

2. Simbolizar mediante cuantificadores:

a) Existe un número entero mayor a todos los otros.

b) Todas las personas aman.
c) Hay músicos excelentes y mediocres.
d) El producto de dos números reales cualesquiera es siempre nulo.
e) Si hay autos nacionales, no habrá importados.
f) Algunos aviones navegan y no vuelan.
3. Exprese las siguientes proposiciones utilizando predicados y
cuantificadores. Simbolizar.
a) Algunas películas son románticas.
b) Algunas películas no son románticas.
c) Ninguna película es romántica.
e) Todas las películas son románticas.
4. Determinar el valor de verdad de las siguientes proposiciones

INFERENCIA LÓGICA.
Determinar la validez de las siguientes proposiciones utilizando las
reglas de inferencia.
 1. Si me gusta el inglés, entonces estudiaré. Estudio o desapruebo el
curso; en consecuencia, si desapruebo el curso, entonces no me
gusta el inglés.
2. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien
en el Universidad. Si no saca buena nota, no lo pasa bien en la
Universidad. Así pues, Guillermo obtiene buenas notas.
3. Traducir en forma simbólica y comprobar que es una tautología.
Si trabajo no puedo estudiar. Estudio o paso matemáticas, pero
trabajé. Por lo tanto, pasé matemáticas.
4. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no
realizaré mis sueños. He aceptado el trabajo y he dejado de pintar.
Por lo tanto, no realizaré mis sueños.
5. Todo número entero o es primo o es compuesto.
Si es compuesto, es un producto de factores primos, y si es un
producto de factores primos, entonces es divisible por ellos.

6. Pero si un número entero es primo, no es compuesto, aunque es

divisible por sí mismo y por la unidad, y consiguientemente, también
divisible por números primos.
Por tanto, todo número entero es divisible por números primos.
7. Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida
está llena de frustraciones y no es un camino de rosas.Si se es feliz, no
se puede tener todo.
Por consiguiente, la vida está llena de frustraciones.
8. La vida no tiene cosas así de fuertes o yo te puedo contar cómo es una
llama por dentro. Si yo te puedo contar cómo es una llama por dentro,
entonces pienso entregarte mi tiempo y pienso entregarte mi fe. No es
cierto que piense entregarte mi tiempo y piense entregarte mi fe. Por lo
tanto, la vida no tiene cosas así de fuertes.
9. Aprobaré lógica, si Dios quiere. Aprobaré lógica si y sólo si estudio y
hago todos los ejercicios. Sin embargo, no he hecho los ejercicios, así
que Dios no quiere que apruebe lógica.
10. Si el euro está fuerte, el petróleo está barato pero las exportaciones
resultan caras. Si Europa se endeuda o la economía no crece, el
petróleo no estará barato. La economía crece si y sólo si ni las
exportaciones resultan caras ni la Inflación aumenta. Por tanto, si la
inflación aumenta, el euro no está fuerte
11. Habrá inflación, a menos que se moderen los precios y los salarios.
Siempre que se moderan los salarios, pero no los precios, si el Gobierno
no interviene ocurre que el consumo interno disminuye y la economía se
ralentiza