Separata Lógica

Simplificar las siguientes fórmulas lógicas: V. “Quisiera ser millonario”

1. ~ (q v ~r) → (p v ~ p) VI. ¡Qué sorpresa!
VII. Si: 2x3 = 7 entonces 12 : 4 = 3
2. [~p  q]  [~q  ~p] a)1 b)2 c)3 d)4 e)5

3. [~(p  q)  (~p  q)]  (~p  q) 2) Si la proposición compuesta:

( p  q ) → ( r v s ) es falsa
4. [(p ~q)  ~p ] q Indique las proposiciones que son
verdaderas.
5. ~{[(~p)  (~q)]  ~q ]} a) p y r b) p y q c) r y s
d) q y s e) p y s
6. ( p  ~p)  [p  (q  p)]
3) Si la proposición (p v ~r) ↔ (s → w) es
7. [~ (p  q)  ~ (q  p)]  (p  q) verdadera y (~w) → (~s) es falsa, hallar el
valor de verdad de las proposiciones.
8. {[(p  q)  ~q]  ~q} I. ( p  q ) v ( r v s )
II. ( s ↔ ~w ) → ( r  ~p )
9. ~ [(p  p)  p] III. [ t → ( w v ~p) ]  ~ ( p → r)
a) VVV b) FFF c) VVF
10. [(p  ~q)  q]  p d) VFF e) FFV
4) Simplifique: ~ ( q v ~r) → ( p v ~ p)
11. ~ [~ (p  q)  ~q]  q a) p b) q c) p  q
d) F e) V
12. [(~p  q)  (r  ~r)]  ~q
5) El contrarrecíproco de la siguiente
13. [(p  q)  (p  ~q)]  (~p  ~q) proposición: “si x es un cuadrilátero,
entonces no es un triángulo y tiene 4 lados”
14. [(~p  q)  (r  ~r)]  ~q es:
a) Si x es un triángulo y no tiene 4 lados,
15. [(p p)  q]  [~q  (r  q)]  [p  (p  ~q)] entonces no es un cuadrilátero.
b) Si x no es un triángulo o no tiene 4 lados,
16. [~(p  q)  (~p  q)]  (~p  q) entonces es un cuadrilátero.
c) Si x no es un triángulo o tiene 4 lados,
17. [( p  ~ q )  ~p ]  q entonces es un cuadrilátero.
d) Si x no es un triángulo o no tiene 4 lados,
18. [( p Λ q )  ~r] v [ p  ( q  ~r)] entonces no es un cuadrilátero.
e) Si x es un triángulo o no tiene 4 lados,
entonces no es un cuadrilátero.
PROBLEMAS RESUMEN CURSO
1) De las expresiones siguientes, indicar 6) Si las proposiciones:
cuántas son proposiciones: a) ~ p v q
I. Piura es una ciudad hermosa b) r → q
II. 3 es divisor de 12 Son ambas falsas; entonces en relación con
III. ¿Qué fecha es hoy? las proposiciones:
IV. La semana tiene 5 días y el año 14 I. p es verdadera
meses II. p  ~r es falsa

IV Página 1 BIM
Prof. Juan Carlos Cantoral Vilchez
 Separata Lógica
III. q es verdadera b) Pedro irá a ver la Copa América o no
¿Cuáles son correctas? estudiará Ingeniería.
a) Solo I b) Solo II c) I y II c) Pedro no irá a ver la Copa América o no
d) II y III e) I, II y III estudiará Ingeniería.
d) Pedro irá a ver la Copa América o
7) Indique la secuencia correcta luego de estudiará Ingeniería.
determinar si las proposiciones son e) Pedro irá a ver la Copa América y
verdaderas (F) o falsas (F) estudiará Ingeniería
I. ( p  ~ q) es lógicamente equivalente a ~
(~ p v q ) 11) Si se sabe que:
II. ( ~ p  r ) → q equivale lógicamente a p p~r es falsa
v~rvq r→q es verdadera
III. p → q equivale a ~ p  q qvs es falsa
Determine los valores de verdad de: p, q, r y
a) VVV b) VVF c) FFV s
d) FVF e) VFV a) VVVV b) VVFF c) VFVF
d) FVFF e) FFFF
8) Si: p ↓ q se define como ~q  ~p, entonces
el equivalente de p ↔ q es: 12) Si la proposición “no es cierto que,
I. ( ~ p ↓ q ) v ( q ↓ p) estudiemos y no aprobemos”, es verdadera,
II. ( ~ p ↓ q ) v ( ~q ↓ p) entonces podemos afirmar que:
III. ( ~ p ↓ ~q ) v ( p ↓ q) a) Aprobamos y no estudiamos
b) Estudiamos y aprobamos
a) Solo I b) Solo II c) Solo III c) Estudiamos y no aprobamos
d) I y II e) II y III d) Aprobamos o no estudiamos
e) Estudiamos y aprobamos

9) Determine el valor de verdad ( V: verdadero, F: 13) La proposición “viajas a Lima a menos que no
falso) de cada una de las siguientes vayas a Huancayo” es falsa si:
proposiciones y señale la alternativa que a) No viajas ni a Lima ni a Huancayo
presente la secuencia correcta. b) Viajas a Lima y a Huancayo
c) Viajas a Lima y no a Huancayo
I. Si 8 es un número par, entonces 32 es d) No viajas a Lima y sí a Huancayo
un número par. e) No se puede precisar
3
II. Es cierto que, |√4| = 8 si y solo si
2 + 3 = 2 (3 ) – 1 14) Si: p: “Miguel es bueno” y q: “Miguel es alto”
III. No es cierto que los triángulos tengan la representación simbólica de la proposición
cuatro vértices. compuesta “No es verdad que Miguel no es
a) VVV b) VVF c) FFF bueno o que no es alto” es:
d) FFV e) FVV a) ~ ( p v q) b) ~ p v ~ q
c) p v ~q d) ~ ( ~ p v ~ q)
10) La negación de la proposición “Pedro no irá a e) p ↔ ~ q
ver la Copa América y no estudiará
Ingeniería” es:
a) Pedro no irá a ver la Copa América y 15) Simbolizar correctamente: “No estudié para
estudiará Ingeniería. el examen del CEPU, porque revisé mi

IV Página 2 BIM
Prof. Juan Carlos Cantoral Vilchez
 Separata Lógica
whatsapp, ya que llegaron muchos mensajes” hallar el valor de verdad de:
a) p → ( ~ q → r) b) ~ p → ( q  r) ( ~ r v ~ p ) → ( p  ~q )
c) p → ( q → ~ r ) d) r → ( q → ~ p ) a) V b) F c) V o F
e) p → ( ~q Δ ~ r d) Falta conocer el valor de q
16) Analice el valor de verdad de las e) Falta conocer el valor de r
proposiciones:
21) Se define un nuevo conectivo “  “ tal que:
I. Si todas las aves vuelan, entonces pq=~pq
algunas aves vuelan. ¿ En qué caso resulta verdadera “p  q” ?
II. Si todas las aves vuelan, entonces la a) VV b) FF c) VF
luna es un planeta. d) FV e) No se puede
III. Si llueve entonces 3 < 5 determinar
a) Las tres son verdaderas
b) Solo I y III son verdaderas 22) Se define un nuevo conectivo “” tal que
c) Solo I y III son verdaderas pq=pv~q
d) Solo I y II son verdaderas ¿Cuál de las fórmulas siguientes es
e) Solo I es verdadera equivalente a:
p(p→q)?
17) Si la proposición “9 es primo” se representa I.- ~ p v ( q ↔ p)
por “p” y “64 es cuadrado perfecto” se II.- ( p → ~q ) ↔ ~ p
representa por “q”, expresar la III.- p
representación:
~(pv~q) a) I b) II c) III
a) No es cierto que 9 es primo o 64 no es d) I o II e) II o III
cuadrado perfecto.
b) 9 no es primo o 64 no es cuadrado 23) Si la proposición “p” es falsa y “q” es
perfecto. verdadera en la fórmula proposicional
c) 9 no es primo y 84 es cuadrado perfecto (~ p Δ ~ r ) → (~ r v ~q )
d) 9 es cuadrado perfecto y 64 es cuadrado ¿Para qué valores de “r” es falsa dicha
perfecto fórmula?
e) Hay 2 respuestas correctas a) V b) F c) V o F
d) Ninguno
18) Si: ( p → ~ q) v r es falsa, los valores de e) La fórmula no puede ser falsa
verdad de p, q y r, respectivamente, son:
a) VFF b) FVF c) FFV 24) Simplificar:
d) VFV e) VVF ~ [~ (~p v ~q ) → ~p]  ( q  p )

19) Si: p↔~q es falsa a) p → q b) p v q c) p  q

q Δ r es verdadera d) q → p e) p ↔ q
r  t es verdadera 25) En las siguientes proposiciones:
Deducir los valores de verdad de p, q, r y t I.- ∀ n ∈ N, 2n + 1 es impar
a) FFVV b) FVFV c) II.- ∃ x ∈ H / 6x – 1 > 53; H = { 2 ; 4 ; 6 ; 8
VFVF }
d) FFFV e) VVVF III.- ∀ x ∈ Z , |x| ≥ 0
¿Cuántas son verdaderas?
20) Si se conoce que: ( q  ~ r) → p es falsa, a) 0 b) 1 c) 2

IV Página 3 BIM
Prof. Juan Carlos Cantoral Vilchez
 Separata Lógica
d) 3 e) No son proposiciones U = { 3, 4; 5; 6; 7 }
¿Cuál es su negación?
26) Considerar las funciones proposicionales
siguientes: a) ∀ x ∈ U, x + 4 ≯ 6 v x+4≮6
P(x) : x es un número racional b) ∃ x ∈ U, x + 4 ≤ 6  x+4≱6
Q(x) : x es un divisor de 21 c) ∃ x ∈ U, x + 4 ≤ 6 v x+4≥6
R(x) : x es número primo d) ∃ x ∈ U, x + 4 ≤ 6  x+4≥6
Hallar el valor de verdad de: e) ∀ x ∈ U, x + 4 ≤ 6  x+4≥6
[ ~ P(4) → Q(9)] v R(7)
a) V b) F c) V o F
d) Es una fórmula mal planteada
e) No son funciones proposicionales

27) Considerando A = { 1 ; 3 ; 5 ; 7 } determine

el valor de verdad de las proposiciones
siguientes:
I. ∀ x ∈ A, x + 1 = 8 ↔ x – 1 = 6
II. ∃ x ∈ A / x + 7 < 12 v x>5
III. ∀ x ∈ A, x > 1 → x < 7
a) VVV b) VVF c) VFF
d) FFF e) VFV

28) Considerando las proposiciones siguientes:

p : ∀ x ∈ R, x2 – 10x + 28 > 0
q : ∃ x ∈ Q, 3x2 – 15 = 0
1 1
r : ∃ x ∈ N, (9𝑥 )252 = 3 . (27𝑥 )273
Hallar el valor de verdad de:
[ p  (~ q v r ) ] → (~ r Δ q )

a) V b) F c) V o F
d) Son fórmulas mal planteadas
e) No son proposiciones

29) En base a las funciones proposicionales

siguientes:
P(x) : x es un número racional
Q(x) : x es divisible por 3
x +1
R(x) : es un número entero
x−1
Hallar el valor de verdad de:
[ P(√2) v ~ Q(13)] → ~ R(3)
a) V b) F c) V o F
d) Es una fórmula mal planteada
e) No son funciones proposicionales

30) Dada la proposición:

q: ∀ x ∈ U, x + 4 > 6 v x + 4 < 6;
IV Página 4 BIM
Prof. Juan Carlos Cantoral Vilchez