VERDAD FORMAL

1. Si la proposición formal p  q es falsa lógicamente, luego la proposición siempre verdadera no es:

A) p  q
B) p  q
C) p  q
D) q  p
E) q  p

2. Cuál de los razonamientos no es una formula proposicional tautológica

A) Si p  q y p, luego q
B) Si p  q y q, luego p
C) Si p  q y p, luego q
D) Si p  q y q, luego p
E) Si p  q y q. luego p

3. La función de la verdad principal de la función proposicional:

[(p/q)  p], es:
(1) 1111
(2) 0000
(3) 1000
(4) 1100
(5) 1001
Son ciertas:
A) Sólo 1
B) Sólo 2
C) Sólo 3
D) Sólo 4
E) Sólo 5

4. La negación de la formula proposicional p  q es verdadera, luego p y q valen respectivamente:

A) 10
B) 01
C) 00
D) T.A
E) N.A

5. Sean las proposiciones:

p: Moyobamba es la capital del departamento San Martin.
q: Juliaca es una ciudad cuzqueña.
r: La pampilla se encuentra en el departamento de Piura.
Y, dadas ñas siguientes formulas:
I) (p  q)  (r  p)
II) p  [(q ↔ r)  p]
III) p  [q  (-r | p)]
Cuáles de ellas son verdaderas:
A) Sólo I
B) Sólo II
C) Sólo III
D) I y II
E) Todas

6. Si en el siguiente esquema molecular:

(p  q)  (r  s) es falso; la función de verdad de cada una de las variables, es respectivamente:
A) 1001
B) 0110
 C) 1110
D) 0001
E) 1010

7. Sean las variables p, q, r; definidas por

p= La lógica no es una ciencia factual.
q= La lógica formal estudia la validez de los razonamientos.
r= La matemática es una ciencia factual.
Luego los esquemas siguientes:
1) (p → )  (p  r)
2) q/ [p  (q  r)]
3) (p  q)  [r  (s → r)]
Tienen como valores de verdad:
A) 1, 1, 0
B) 0, 1, 0
C) 0, 0, 0
D) 1, 0, 1
E) 1, 1, 1

8. Dadas las siguientes esquemas formales:

1) (p  r)  (s  q)
2) q / [(p  s) ⊻ r)]
3) (p  q)  [r ⊻ (s  t)]
Cuáles de ellos tienen matriz principal tautológica:
A) Sólo 1 y 2
B) Sólo 1 y 3
C) Sólo 2 y 3
D) TODOS
E) Ninguno

9. Si: (p @ q) = 0011

La fórmula: [(p @ q) @ (p  q)] equivale a:
A) p  q
B) p  q
C) p  q
D) p
E) p  q

10. Dado que la estructura: “P es verdadero siempre que Q sea falsa”, es falsa. Luego, son verdaderas:
I) P es falsa y Q es verdadera
II) Si P es falsa, Q es falsa
III) Q es verdadera si P es verdadera
Son ciertas:
A) Sólo I
B) Sólo II
C) II y III
D) I y III
E) Ninguna.

EQUIVALENCIAS LOGICAS

1. Dada la proposición: “No se da el caso que estudiamos y no aprobemos”, es equivalente

lógicamente a la siguiente proposición:
(A) Aprobamos y no estudiamos
(B) Estudiamos o aprobamos
 (C) Estudiamos o no aprobamos
(D) Aprobamos o no estudiamos
(E) Estudiamos y aprobamos.

2. La proposición equivalente de la siguiente proposición: “José Luis ingresara a la universidad, si

estudia arduamente”, es:
(A) No es cierto que José Luis estudia arduamente y también ingresar a la universidad
(B) Es falso que José Luis ingresará a la universidad o no estudie arduamente
(C) Es mentira que José Luis estudia arduamente y no ingresa a la universidad
(D) Es incorrecto que José Luis no estudie arduamente y no ingresara a la universidad
(E) N.A

3. Dada la proposición: “Si sales el sábado, comerás cebiche”, es equivalente lógicamente a la

siguiente proposición:
(A) Es mentira que sales el sales el sábado y comes cebiche
(B) Comes cebiche solo si sales el sábado
(C) Solo si comes cebiche, sales el sábado
(D) Porque comes cebiche, sales el sábado
(E) Sales el sábado y comes cebiche

4. La fórmula proposicional: a ↔ (b  a), es equivalente a:

(1) a  b
(2) a  b
(3) a  b
(4) a  b
(5) b  a
Son ciertas:
A) 2 y 5
B) 1, 3 y 5
C) Solo 3
D) Solo 5
E) N.A

5. Hallar la proposición equivalente de la siguiente proposición: Eduardo será ingeniero cuando y solo
cuando reciba su título”
(1) Es mentira que Eduardo no será ingeniero o solo no recibirá su titulo
(2) Eduardo no recibirá su título si y solo si es ingeniero
(3) Eduardo no será ingeniero siempre y cuando no reciba su titulo
(4) O Eduardo no recibirá su título o será ingeniero.
(5) Es falso que Eduardo será ingeniero si y solo si reciba su titulo
No son ciertas:
A) 1, 5
B) 1, 3 y 4
C) 3 y 4
D) 2 y 5
E) Todas

6. La fórmula proposicional:
[(A  B  C)  (A  B  C)]  A
Se reduce equivalentemente:
A) (B  C)  A
B) A  B
C) 0
D) A  A
E) N.A
7. La dual de la proposición: “El primogénito de Ernesto es varón o mujer”, equivale a:
1) El primogénito de Ernesto es varón siempre que y sólo cuando sea mujer
2) El primogénito de Ernesto no fue mujer
3) Si y sólo el primogénito de Ernesto sea mujer, entonces también es varón
4) Que el primogénito de Ernesto sea mujer es suficiente y necesario para que sea varón
5) Que el primogénito de Ernesto no sea varón es igual a que sea mujer.
Son ciertas:
A) 1, 3 y 4
B) 2, 3 y 4
C) 3, 4 y 5
D) 1, 3 y 5
E) N.A

8. La proposición: “Juan llego tarde al colegio, igualmente llegó tarde a su casa pues no tomó el
ómnibus; no obstante, llegará tarde al colegio si y solo si llega tarde a su casa. A menos que Juan
no llegó temprano a su colegio”, equivale:
A) Juan llegó tarde al colegio y a su casa
B) Es mentira que Juan llego tarde a su casa
C) Juan llega tarde a su casa tarde vez que no tome el ómnibus
D) Es mentira que Juan llegó tempano a su colegio
E) Juan llega tarde al colegio pero no a su casa.

9. La proposición: “Las falacias son razonamientos incorrectos y psicológicamente persuasivas”,

equivale a:
A) “Es imposible que, si las falacias son psicológicamente persuasivas, sean razonamientos
correctos”
B) “Si las falacias son psicológicamente persuasivas, entonces no son razonamientos incorrectos”
C) “Es imposible que, si las falacias son razonamientos correctos, no sean persuasivas”
D) “Si las falacias no son psicológicamente persuasivas, entonces son razonamientos incorrectos”
E) Las falacias son razonamientos correctos e incorrectos.

10. Dada la proposición: “Teniendo en cuanta que Pedro es industrial, bien se ce que es financistas”,
Su equivalente por transposición es:
A) Es falso, que, sólo si Pedro es industrial, bien se ve que es financista
B) Pedro es industrial lo cual es condición suficiente para que sea financista.
C) No es cierto que Pedro es industrial peor no financista
D) Si Pedro no es financista obviamente que Pedro no es industrial
E) Es falso que, Pedro es financista es porque es industrial.