UNIVERSIDAD NACIONAL

DE TRUJILLO

Asignatura: Desarrollo del Pensamiento Lógico Matemático (DPLM)

Área: Ciencias Básicas y Tecnológicas (ACBYT)

PRÁCTICA N° 02

1. Determine si la fórmula: ~[~𝑝 ∆ ~(𝑞 ∨ 𝑝)] ∨ [~𝑝 ∧ ~(~𝑝 ⟷ ~𝑞)] , es una tautología,
contingencia o contradicción.
2. Dar dos ejemplos de tautologías y contradicciones con:
a) Dos variables proposicionales
b) Tres variables proposicionales

3. Hallar, si existen, dos fórmulas contingentes (o satisfacibles) F y G tales que:

a) F  G sea una tautología
b) F  G sea una tautología
c) F  G sea una contradicción
d) F  G sea contradicción

4. Si (𝐹 ∧ 𝐺) es una tautología, ¿son F y G, necesariamente tautologías?; lo mismo para (𝐹 ∨ 𝐺),

(𝐹 → 𝐺), (𝐹 ↔ 𝐺) y (𝐹 ⊕ 𝐺).
5. Hallar una fórmula 𝐹 con variables proposicionales 𝑝, 𝑞 y 𝑟 cuya matriz final de su tabla de
verdad sea 11000101.
6. Si se sabe que la expresión:
~{(𝑝 ∆ 𝑞) → [(𝑝 → 𝑟) ∨ (~𝑞 ∨ 𝑠]}
es verdadera, hallar el valor de verdad de:
a) ~[(𝑟 → 𝑥) ∧ ~(𝑝 ∧ 𝑞 ∧ 𝑠)]
b) ~{~[~(𝑞 → 𝑝) → (𝑠 ∧ 𝑤)]}
c) (~𝑞 ∧ 𝑠) → ~(𝑝 → 𝑟)

7. Dados los siguientes esquemas FALSOS:

𝐴 = [𝑞 ⨁(𝑝 ∧ 𝑞)] ⊕ (𝑞 ∨ 𝑝) , 𝐵 = [𝑝 ↔ (𝑝 ∨ 𝑞)],
determine los valores de verdad de los esquemas:
(~𝑝 ↔ 𝑞) ↔ (𝑞 ∧ ~𝑝) , (𝑝 ∧ ~𝑞) ⊕ (𝑞 ∨ ~𝑝) , [𝑝 ∧ (~𝑞 ∨ 𝑝)] → (𝑝 ∧ 𝑞)

8. Dada la fórmula tautológica [~(𝑝@𝑞) ↔ ~(𝑝 ← 𝑞)] , determine la matriz principal de

{[(𝑝@𝑞) → ~𝑞]@~𝑞}.
9. De la proposición FALSA: “En ℝ , (𝑥 + 1)(𝑥 + 1) = (𝑥 + 1)2 aunque (𝑥 + 1) = (𝑥 + 1)0
siempre que (𝑥 + 1)0 =1”, con los valores de verdad de sus proposiciones simples, determine
cuáles de los valores de verdad de las siguientes proposiciones compuestas son falsos.
a) ~(~𝑝 ∨ ~𝑞) ⟶ 𝑠
b) 𝑟 ⟵ ~𝑡
c) (𝑠 ← 𝑠) ≡ ~(𝑝 → ~𝑞)
d) 𝑟 ↓ (𝑝 ↓ 𝑞)
e) ~{~[~(~𝑝 ⟵ 𝑞) ⟶ 𝑟] ⟶ 𝑠} ⟶ 𝑡
10. Formalizar las siguientes proposiciones:
a) Miguel ingresará a la UNT, siempre que y sólo cuando Manuel, Juan además Raúl no sean
postulantes.
b) O bien los animales son vertebrados o bien son invertebrados, pero no es el caso que sean
invertebrados a la vez vertebrados.
c) Es absurdo que el Sol gire alrededor de la Tierra incluso que no sea planeta salvo que la ley de
la gravedad no se cumpla también no sea cierto la ley del electromagnetismo.
d) Si cumples las tareas y además eres disciplinado obviamente serás premiado o destacado en
tus estudios. Pero si practicas deporte al igual que te distraes en consecuencia vivirás sano
pero contento. Si cumples las tareas también eres disciplinado, excepto que practicas deporte
así como te distraes. Luego, serás premiado o destacado en los estudios a menos que vivirás
sano de la misma manera contento.
e) De ser la Lógica ciencia exacta y formal, obviamente contribuirá al desarrollo de las ciencias
en general. Si la Lógica contribuye al desarrollo de las ciencias en general luego el
conocimiento histórico no se puede formalizar entonces la Lógica no contribuye al desarrollo
de las ciencias en general.
f) Las formas en que se presenta la energía pueden ser: mecánica y eléctrica; al igual que calórica
y luminosa porque es válido el principio de conservación de la materia y la teoría cinética de
la materia.
g) El precio de venta de cualquier artículo está determinado por el costo del conjunto de
operaciones que demanda su producción, y venta, más la ganancia del capitalista. Un menor
costo de estos términos provocará por tanto un menor precio final del producto. También
para todo esto influirá decisivamente el grado de mecanización así como el conjunto de
métodos que se utilicen en su realización.

11. Escriba textos que realicen una traducción correcta de cada una de las siguientes fórmulas
proposicionales:
a) 𝑝 ↔ (𝑞 ∧ ~𝑟 ∧ 𝑝)
b) ~[(𝑝 → 𝑞) ∨ ~(𝑞 → ~𝑟)] ← (~𝑝 ∧ ~𝑟)
c) (𝑝 ∧ 𝑞) → ~(𝑟 ∨ 𝑠) ∧ (𝑡 ∧ ~𝑢 → 𝑣) ∨ (𝑝 ∧ 𝑞) ∨ ~(𝑟 ∨ 𝑠) ∨ (𝑤 ∧ 𝑣)
d) [(𝑝 ↔ 𝑞) ∧ ~(𝑞 → 𝑟)] → ~(𝑝 △ 𝑟)
e) ~[~(𝑝 ↓ 𝑞) → (~𝑝 ↓ ~𝑞)] / (~𝑞 ∨ 𝑟)
f) ~{~[(𝑝 → 𝑟) ∨ 𝑝] △ ~[(𝑝 ∨ 𝑞) ∧ 𝑟]}

12. Evalúe por la tabla de valores los siguientes enunciados:

a) ~(𝑟 ⟶ 𝑞) ⟶ [(𝑝 ∨ 𝑟) ∨ (𝑝 ⟷ 𝑞)]
b) [~(𝑝 ⟶ 𝑟) ∧ (𝑝 ⟶ 𝑟)] ⟶ (𝑞 ∨ ~𝑟)
c) (𝑝 → 𝑟) → [(𝑞 → 𝑟) ∨ (~𝑞 ↔ 𝑟)]
d) (~𝑟 ∧ ~𝑞) ↔ [(𝑝 ∨ ~𝑟) ∧ (𝑝 ∧ ~𝑞)]
e) [(𝑞 ∨ 𝑝) ∧ (𝑟 → ~𝑝)] → (~𝑞 ∧ 𝑝)
f) [~(𝑝 ∧ 𝑞) → 𝑟] ↔ [~𝑝 → (𝑞 ∧ ~𝑟)]
g) {[(𝑞 → 𝑟) ∧ (𝑝 → 𝑟)] ∧ (𝑞 ∨ 𝑝)} → 𝑟

13. Determinar si la proposición “Juan es maquinista, si es mecánico o es dueño de una tienda

automotriz” es equivalente a la disyunción de las siguientes proposiciones:
P = “O Juan es maquinista, o es dueño de una tienda automotriz a la vez que es maquinista”
Q = “Juan, ni es mecánico ni es dueño de una tienda automotriz; sin embargo, es maquinista
si es mecánico”