TRABAJO FINAL 3

1. De los siguientes enunciados: 6. Si la proposición: "(p → ~q) ∨ (~r → s)" es falsa,

• Qué rico durazno. deducir el valor de verdad de: (~p ∧ ~q) ∨ ~p
• 7 + 15 > 50 a) V b) F c) V o F.
• x2 + y2 = 25 d) No se puede determinar.
¿Qué alternativa es correcta? e) Es V si "p" es F.
a) Una es proposición.
b) Dos son enunciados abiertos. 7. De la falsedad de la proposición:
c) Dos son expresiones no proposicionales. "(p → ~q) ∨ (~r → s)", se deduce que el valor
d) Dos son proposiciones. de verdad de los esquemas:
e) Todas son proposiciones.
I. (~p ∧ ~q) ∨ (~q)
2. Determine el valor de verdad de las siguientes II. (~r ∨ q) ↔ [(~q ∨ r) ∧ s]
proposiciones: III. (p → q) ↔ [(p ∨ q) ∧ ~q]
I. 2<2y 2∈Q Son respectivamente:
II. Si "n" divide a 12, entonces "n" divide a 4.
a) VFV b) FFF c) VVV
3 d) VVF e) FFV
III. es un número par o impar.
5
IV.Si "n" es par entonces "n + 1" es impar. 8. Si la proposición: "p → (r ∨ s)" es falsa, ¿cuántas
de las siguientes proposiciones son verdaderas?
V. 3 es racional, entonces 3 es entero.
a) FFFVF b) FFFVV c) FFVVF I. (~s ∨ t) ∨ ~p
d) FFVVV e) FVVVV II. r ↔ p
III. t → ~r
3. Sean las proposiciones:
• p(x): " x ∈ , x0 = 1 IV.(r → p) ∨ (s → t)
• q(y): $ y ∈ / y2 < 0 a) Ninguna b) Una c) Dos
• r(z): " z ∈ , z2 – 92 = (z + 3)(z – 3) d) Tres e) Cuatro
Indique el valor de verdad de:
9. Dadas las proposiciones:
p ↔ q, p → r, r ∨ q
q: "13 es un número par".
a) FFV b) FVV c) VVF
d) VVV e) FFF "~[(r ∨ q) → (r → p)]" es verdadera.
"p" y "r" cualquier valor.
4. Si la proposición: "(~p → q) ∨ ~r" es falsa.
Hallar el valor de verdad de "p", "q" y "r" en ese Hallar el valor de las siguientes proposiciones.
orden. I. (~p ∧ ~ q)
a) VVF b) FFF c) FFV II. [r ↔ (p ∧ q)] ↔ (~p ∧ q)
d) FVF e) VFV
a) VF b) VV c) FV
d) FF e) Depende de "q"
5. Si la proposición: "(p ∧ q) → (q → r)" es falsa,
hallar el valor de verdad de las siguientes fór-
mulas: 10. Los esquemas moleculares: "p → q" y "~p ∨ q".
a) Son equivalentes por teorema de De Mor-
I. ~(p ∨ r) → (p ∨ q)
gan.
II. (p ∨ ~r) → (~r ∧ q) b) Son premisas de "~q".
III. (p ∧ q) ∨ (q ∧ ~q) c) Son equivalentes por ley de implicación.
d) No son equivalentes.
a) VVF b) VFV c) VVV
e) Ambos esquemas tienen premisa existencial.
d) VFF e) FVV

1
11. Indicar el valor de verdad de: 16. Se definen los operadores "#" y "q" por las si-
guientes tablas:
I. "(~p ∧ ~q) ↔ (p ∨ q)" es una contradic-
ción. p q p # q p q p q q
II. "[(p → q) ∧ (q → r)] → (p → r)" es una tauto- V V F V V F
logía. V F F V F V
III. "[p ∧ (p → q)] → (q D r)" es una contingen- F V F F V V
cia. F F V F F V
a) VVV b) VVF c) VFF
d) VFV e) FVV Simplificar: [(p # ~q) q p] ∧ (q q ~p)
a) q → p b) q D p c) p ∨ q
d) p ∧ q e) p → ~p
12. Si se define: p D q = (p ∧ ~q) ∨ (q ∧ ~p)
Simplificar: "~[(p D ~q) → ~q]" 17. Si "m" y "n" son números reales, además se de-
fine:
a) p ∧ q b) p ∨ q c) ~p ∧ q
d) ~p e) ~q 3m
+ 1; Si x es proposición verdadera
n
f(x) =
3n
– 1; Si x es proposición falsa
13. Si definimos: p @ q = p ∧ ~q m
Entonces, si "~p @ (p ∨ q)" es verdadero, deter- Hallar: M =
m
+
n
minar el valor de verdad de: n m
(p @ q) y (~p @ ~q) Sabiendo que: f(q) + f(r) = 21
a) FV b) VF c) VV Siendo q: 4 < 3 ↔ –1 = 0
d) FF e) Falta el valor de p r: – 1 < 0 → (–1)2 < 0
1 1
a) b) − 3 c)
14. Dado el siguiente enunciado: 3 7
d) 1 e) 3
~[{~([p ∨ q] ∧ p) ⇒ ~(q ∧ r)} ∨ q]
Según su tabla de verdad, podemos decir que 18. Simplificar el siguiente circuito:
dicha proposición es una: q
a) Tautología. ~p
A B
b) Contradicción. q ~p
c) Contingencia. ~q
d) Ley lógica. p
e) Equivalencia lógica. a) p ∨ q b) ~p ∨ q c) p ∧ q
d) ~p ∧ q e) ~p ∨ ~q
15. El equivalente de la proposición: "Hay que pa-
19. El circuito lógico:
gar 231 soles y ser accionistas para ingresar al
club", es: ~p ~q
~p ~q
a) No ingresar al club o pagar 231 soles y ser
accionista. A q B
r ~p
b) Pagar 231 soles o ser accionista y no ingresar s
r s t
al club. t
c) Pagar 231 soles y no ser accionista, y entrar r
al club. s r s t
t
d) Pagar 231 soles y ser accionista, o no ingre-
Es equivalente a:
sar al club.
e) No es cierto que se pague 231 soles y ser a) p b) q c) ~p
accionista, o ingrese al club. d) ~q e) p ∧ q

2
20. Si la proposición "x ∨ y" es equivalente al cir- Simplificar el siguiente circuito:
cuito: y
x q
q ~r
p p q p x
~q q
~r p q y
r y
q p ~s r s t q x
~t p x
~q p q y
p y
q
x p
x
q y
x q q
p y
x
y q
a) p ∧ q b) p ∧ q ∧ r ∧ s ∧ t
c) r ∧ s d) s ∧ t
e) p ∨ q ∨ r ∨ s ∨ t

TRABAJO FINAL N° 4

Bloque I 3. Dadas las proposiciones: q: "4 es un nú-

mero impar", "p" y "r" cualesquiera tal que
1. Para los siguientes enunciados:
"~[(r ∨ q) → (r → p)]" es verdadera; hallar el
I. Recoge ese lápiz valor de los siguientes esquemas moleculares:
II. 2 + 5 < 6 I. r → (~p ∨ ~q)
III. x – y = 5 II. [r → (p ∨ q)] ↔ (q ∧ ~p)
IV.Hace mucho frío. III. (r ∨ ~p) ∧ (q ∨ p)
¿Cuál de las alternativas siguientes es la correc- a) VVF b) FFF c) VVV
ta? d) VFV e) VFF
a) Dos son proposiciones
b) Dos son enunciados abiertos 4. Representar simbólicamente el siguiente enun-
c) Dos no son ni proposiciones ni enunciados ciado: "Si Patricia estaba enferma, entonces se
abiertos mareó" es equivalente a "Patricia no estaba en-
d) Tres son proposiciones ferma o se mareó".
e) Tres son enunciados abiertos
a) (~p ∧ q) ≡ (p ∨ q) b) (p → q) ≡ (p ∨ ~q)
c) (p → q) ≡ (p ∨ ~q) d) (p → q) ≡ p
2. Dadas las proposiciones:
e) (p → q) ≡ (~p ∨ q)
p: Marcos es comerciante.
q: Marcos es un próspero industrial. 5. Representar simbólicamente el siguiente enun-
ciado: "Si son las cinco de la tarde, entonces ya
r: Marcos es ingeniero. salió el ómnibus interprovincial, pero no salió
Simbolizar el enunciado "Si, no es el caso de Mar- el omnibus; luego no son las cinco de la tar-
cos sea un comerciante y un próspero industrial. de".
Entonces, es ingeniero o no es comerciante".
a) [(p → q) ∧ q] → p
a) ~(p ∧ q) → (r ∨ ~p) b) [(p → q) ∧ ~q] → ~p
b) (p ∨ q) → (r ∨ p) c) [(p → q) ∧ ~q] ∨ ~p
c) ~(p ∨ q) → r d) [(p → q) ∧ q] → ~p
d) ~(p ∧ q) → (p ∧ ~r) e) [(p → q) ∧ q] → ~q
e) (p ∧ q) → ~(r ∧ ~p)

3
6. Hallar la proposición más simple equivalente a: 12. Si: "p ♣ q" se define por la tabla:
[~(p ∨ q) ∨ ~(~p ∧ q)] ∨ (p ∧~p) p q p♣q
a) ~p b) p ∧ q c) ~p ∨ q V V V
d) ~q e) q → p V F V
F V F
7. Elabore la tabla de verdad de la siguiente propo- F F V
sición compuesta: Entonces: "(p ♣ q) ♣ q" es equivalente a:
(~p ∨ q) ↔ ~(q → p) a) p → q b) ~p c) ~q
d) ~p → ~q e) q → p
a) VVVV b) FVVV c) VFFV
d) FVVF e) FVFV
13. ¿Cuáles de las siguientes proposiciones son
equivalentes?
8. Representar simbólicamente el siguiente enun-
ciado: "No es el caso que Juan estudie y traba- I. p ∧ (q → p)
je". II. p ∧ (q → q)
a) ~(p ∨ q) b) ~p ∨ q c) p ∧ ~q III. p → p ∧ q
d) ~p ∧ q e) ~(p ∧ q) IV.(p → q) → (~q →~p)

9. Determine la validez de: a) II y III b) I y IV c) II y IV

d) I y II e) Todos
1
• a+ ≥ 0; " a > 0
a 14. El esquema proposicional:
• (a ≤ b → a < 1) ∨ a ≤ b [(p ∧ q) → r] ↔ [p → (q → r)]
• x0 =1"x∈ representa una ........................
a) VFV b) FVV c) FFV a) Tautología b) Contingencia
d) VVF e) VVV c) Equivalencia d) Contradicción
e) Implicación
10. De la falsedad de la proposición:
15. Si la proposición:
(p → ~q) ∨ (~r → s)
[(p ∧ ~q) ↔ (r → s)] → (~s → r)
Se deduce que el valor de verdad de los esque-
mas moleculares: es falsa, hallar el valor de verdad de las proposi-
ciones "p", "q", "r" y "s".
I. (~p ∧ ~q) ∨ (~q)
a) VVFF b) FFFF c) VFFF
II. (~r ∨ q) ↔ [(~q ∨ r) ∧ s] d) VFVF e) FVFV
III. (p → q) → [(p ∨ q) ∧ ~q]
Bloque II
a) VFV b) FFF c) VVV
d) FFV e) VVF 16. Si: "~r → (p ∧ q)" es falsa y "(~t → r)" es ver-
dadera. Determinar el valor de verdad de:
11. En cuáles de los siguientes casos es suficiente la [r → (p ∨ ~r)] ∨ [t ↔ ((p ∧ q) ∧ ~s)]
información para conocer el valor de verdad de a) V b) F
las proposiciones correspondientes: c) Falta conocer "s" d) V o S
I. (p ∨ q) ↔ (~p ∧ ~q); v(q) = V e) V y F
II. (p ∧ q) → (p ∨r); v(p) = V y v(r) = F
17. Si la proposición: "[p ∧ ~q] → (r → ~s)" es
III. [p ∧ (q → r)]; ∨ (p → r) = V falsa, determine la validez de:
IV.(p → q) → r; v(r) = V I. ~p → q
OBS: v(q) = V, el valor de verdad de "q" es "V" II. q → w; "w" cualquier proposición
a) 1 y 3 b) Solo 4 c) 1; 2 y 4 III. (p ∧ q) → r
d) 1; 2 y 3 e) 1 y 4 a) VVV b) VFV c) FVV
d) VVF e) FVF

4
18. Si: "(r → s)" es F, determinar el valor de verdad 23. ¿Qué conectivo lógico debe aparecer en el cua-
de las siguientes proposiciones: dro indicado, de modo que se cumpla:

I. (~r ∨ ~s) ↔ (s ∨ r) p (p ∧ q) ≡ ~p ∨ q?
II. ~r ↔ ~s a) ∨ b) ∧ c) →
d) ↔ e) D
III. (~r ∧ s) ↔ (r → s)
a) FFV b) FVV c) VFV 24. Simplificar:
d) VFF e) FVF
[{[(p → q) ∨ q] ∨ [~(~p ∨ q) ∧ ~q]} ∧
{q ∨ (p ∧ ~q)}] ∧ ~(p → q)
19. Si la proposición: "[(p ∨ t) → (p ∧ q)]" es falsa,
a) p ∧ q b) p ∧ ~q c) ~p ∧ q
dar el valor de las siguientes proposiciones:
d) p ∨ q e) ~ p ∧ ~q
I. [(~p ∧ ~t) ∧ (q → r)]
25. Simplificar: (p → q) ↔ (q → p)
II. [(p ∨ t) ↔ (~p ∨ ~q)]
a) p → q b) p ↔ q c) p D q
III. [(p ∨ t) D (p ∧ q)] d) ~p D q e) q → p
a) VVV b) FVV c) FVF
26. Utilizando las leyes lógicas, simplifique:
d) VFV e) VFF
[(p → q) → (p ∧ q)] ∨ (p ∧ r)
20. De la falsedad de: "[(p → ~q) ∨ (~r → ~s)]"; a) p → r b) q → r c) q → p
hallar el valor de verdad de las siguientes pro- d) p e) p → q
posiciones:
27. Usando las leyes del álgebra proposicional sim-
I. ~(~q ∨ ~s) → ~p
plificar:
II. ~(~r ∧ s) → (~p → q) ~{[(~p ∧ q) → (r ∧ ~r)] ∧ (~q)}
III. p → ~[q → ~(s → r)] a) ~q b) q ∧ r c) q
d) ~r e) p ∧ ~r
a) FVV b) FVF c) VFV
d) VVF e) VVV
28. La proposición: "(p ∧ q) D (p ∨ q)", es equiva-
lente a:
21. Si la proposición: "(q → p) → (r ∨ p)]" es falsa,
a) p ∧ q b) p D q c) p → q
obtener el valor de verdad de las proposiciones:
d) p ↔ q e) ~p ∧ ~q
I. (p ∧ s) → (t ↔ u)
II. (r ↔ p) → (w ∧ q) 29. Se define el operador lógico (*):

III. (s ∨ ~s) → (p ∧ r) p * q ≡ (p ∧ q) → q

donde: "s", "t", "u", "w", son proposiciones ar- Al simplificar: "(p * q) * q" se obtiene:
bitrarias. a) Tautología b) Contradicción
a) VFF b) VVV c) VVF c) Contingencia d) p
d) VFF e) FVF e) q

22. Hallar los valores de verdad de: "p", "q", "r"; si: 30. Se definen las operaciones lógicas:
"[(~p ∨ q) ∨ (r → q)] ∧ [(~p ∨ q) → (q ∧ ~p)]" "p * q ≡ ~p → ~q; p # q ≡ ~p ∧ q"
es falsa.
simplificar: [~p * q] # [~q # p]
a) VVV b) FFF c) VFV
d) FVV e) VVF a) p → q b) q → p c) p ∧ q
d) p ∨ q e) p ↔ q