aaaa

3. Principio del Tercio Excluido: (Aristóteles 384 a.C.)

El cálculo proposicional estudia la estructura de las
proposiciones e inferencias; para ello dispone de un
procedimiento que permite hallar la verdad o falsedad de la
función, dependiendo de los valores que independientemente
tomen cada uno de sus variables componentes.
“Un enunciado es verdadero o falso, no cabe una
tercera posibilidad”
Esto significa que una proposición lógica es de carácter
bivalente; solo puede ser verdadera o falsa.

Este método o procedimiento mecánico se denomina Ejemplo : El número 7 es un número impar o no es impar.
TABLAS DE VERDAD. Cada variable que represente a una
proposición verdadera (V) le daremos el valor 1 y a cada
variable falsa (F) se le asignará el valor O. II. REGLA DE LOS CONECTORES LÓGICOS

Cada conector lógico posee convencionalmente ciertas

reglas, las cuales son derivadas principalmente de tres 1. EL NEGADOR
principios lógicos o fórmulas tautológicas denominadas: “Si una proposición es verdadera, su negación será falsa
“LEYES DEL PENSAMIENTO” y viceversa”

Este material está elaborado exclusivamente por Docentes del CEPUNS

I. LAS TRES LEYES DEL PENSAMIENTO
A A A -A

V F 1 0
1. Principio de Identidad: (Parménides 515 a.C.)
F V 0 1

“Si un enunciado es verdadero entonces es verdadero”

2. EL CONJUNTOR
Esto significa que toda proposición se implica así
misma: P → P
A  B A x B
Ejemplo : Si América es continente entonces América
es un continente V V V 1 1 1
V F F 1 0 0
2. Principio de no contradicción: (Platón 428 a.C.) F F V 0 0 1
F F F 0 0 0
“Es imposible que un enunciado sea verdadero y falso
a la vez”
“Una proposición conjuntiva es verdadera cuando todos
sus componentes son verdaderos. Es falsa cuando por lo
Esto significa que no puede ser cierto que una proposición menos uno de sus componentes es falso”
se acepte simultáneamente con su contrario :  (p   p)

Ejemplo : No es el caso que un hombre sea mortal y al 3. EL DISYUNTOR DÉBIL

mismo tiempo no lo sea.

1
APTITUD MATEMÁTICA CEPUNS - INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
A  B A + B “Una proposición Bicondicional es verdadera cuando todo
sus componentes son iguales. Es falsa si sus
V V V 1 1 1 componentes tienen valores diferentes”.
V V F 1 1 0 III. TABLAS DE VERDAD
F V V 0 1 1 Es una gráfica que sirve para analizar esquemas
moleculares, estos esquemas dependen de los valores de
F F F 0 0 0
las proposiciones componentes y la correcta aplicación de
las reglas veritativas correspondientes a sus conectores.
Dichos esquemas pueden ser:
“Una proposición disyuntiva es falsa cuando todos sus
componentes son falsos. Es verdadera cuando por lo 1. TAUTOLOGICOS .- Si su matriz principal está
menos uno de sus componentes es verdadero” conformado solo de valores verdaderos. Ejemplo
B (A  B) → (A  B)
A
4. EL DISYUNTOR FUERTE
1 1 1 1 1
A v B A  B
1 0 0 1 1
V F V 1 0 1
0 1 0 1 1
V V F 1 1 0
0 0 0 1 0
F V V 0 1 1

F F F 0 0 0
Matriz principal
2. CONTRADICTORIOS .- Si en su matriz principal
“Una fórmula Bidisyuntiva es verdadera cuando sus todo los valores son falsos. ejemplo :
componentes tienen valores diferentes. Es falso si sus
componentes tienen valores iguales”.

Este material está elaborado exclusivamente por Docentes del CEPUNS

A B (A  B)  (-  -B)
A
5. EL CONDICIONAL
1 1 1 0 0
A → B A  B
1 0 1 0 0
V V V 1 1 1
0 1 1 0 0
V F F 1 0 0
0 0 0 0 1
F V V 0 1 1

F V F 0 1 0
Matriz principal
“Una proposición condicional solo es falsa cuando el
antecedente es verdadero y el consecuente falso. En los 3. CONTINGENTES.- Si en su matriz principal aparece por
demás casos la proposición será verdadera”. lo menos un valor verdadero y un falso. ejemplo:

6. EL BICONDICIONAL A B (A  B)  (A  B)

A  B A  B 1 1 1 1 1

V V V 1 1 1 1 0 1 0 0

V F F 1 0 0 0 1 1 0 0

F F V 0 0 1 0 0 0 1 0

F V F 0 1 0 
Matriz principal

2
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
NOTA: Una fórmula proposicional será valida si es 6. Si el siguiente esquema es falso
Tautológica y se dirá que es falsa en toda interpretación si [(q → p)  ( s  r )]  ( p  r ) , hallar los valores de
es contradictoria.
p,q y r y s respectivamente.
a) VVVV b) FFFV
c) FVVV d) VVFV
e) FVFV
1. Un esquema molecular resulta contingente cuando su
matriz principal está formada: 7. Un esquema molecular es tautología cuando su matriz
a) Sólo por valores verdaderos. está constituida:
b) Sólo por valores falsos. a) Por valores falsos
c) Con valores falsos y verdaderos. b) Por valores posibles
d) Únicamente con valores no falsos. c) Por valores verdaderos
e) Únicamente con valores no verdaderos. d) Por valores falsos y verdaderos
e) Por valores necesarios y falsos
2. La expresión: “Ni Sofía juega ni maría baila”, tiene como
valores en su matriz principal: 8. Si la proposición:
[ ( p → q) q] → [( p  q) → r ] es falsa.
a) FFFV b) VFVF c) VVVV Determine el valor de verdad de las siguientes
d) FFFF e) VVFF proposiciones:
1)
[ ( p → q )  q ]  [( p  q )  r ]
3. Sean las proposiciones:
I. ( p  q)  ( q  p ) 2)
( p  q) → (r  q)
II. “No es admisible que Javier se bañe y no se bañe” 3)
[( p  r )  q ]  r
III.  ( p  q)  ( q → p )   ( q  p ) 4)
[( p → q )  (r  p )]
Es verdad que: 5)
( p  q)  ( p  r )
a) I no es una contradicción. a) VVVVV b) FFVVF
b) II no es una tautología.

Este material está elaborado exclusivamente por Docentes del CEPUNS

c) III no es una tautología. c) VVFVVV d) VVVFV
d) I y II son consistente. e) VVVFF
e) II y III son tautologías.
9. Si la proposición:
4. De la falsedad de :
( p → q )  ( r → s ) ,hallar los (r  q ) → ( r → p ) Sea falsa.
valores veritativos de p,q,r y s Hallar los valores de :
a) VVVV b) FFFF 1)
( p → q)  (r  q)
c) FVVV d) VVFV
2)
[q  ( p  r )]  [ p  (r  s )]
e) VFFF [( p  q) → ( p  r )]  r
3)
pq = F q→t = F 4)
[( p → q)  ( p  r )]  ( p  r )
5. Si ¿Cuáles de las siguientes
proposiciones compuestas tienen el valor verdadero: 5)
[( p  q )  ( p → r )] → ( p  r ) V
1)
( p  t)  s Son ciertas:

2)
p( q p)   [ p  (q  t )] a) VVVVV b) FFVVF
c) VVVFF d) VVFFV
3)
[ p  (q  t )]  [( p → q ) (q  t )]
e) VVFFV
4)
[ ( p  q)  ( p  s )]  q
5)
( p → t )  ( p  q) p( x) : x 3 = 27; q( x) : x 2 = 9; r ( x) : x  10
10. Si
Son ciertas: Hallar el valor de verdad de :
a) 1,3 y 5 b) 2 y 4
1)
[ p (1) → q (12)]  [r (−3) r (3)]
c) 3 y 5 d) 1,3 y 5
e) 1, 2 ,3,4 y 5 2)
[ p(0)  q( −1)]  {r (−5) → [ r ( −6)  r (0)]}
3) {[ p(3)  p(2)]  [ r (2)  q(3)]}  [ q(3)  p(3)]
4)
[( p( −3)  p(2)]  [ r ( −2)  q(3)]

3
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
5)
[ p(3)  q(−2)]  [r (2)  p( −3)] mucho, habrá demasiados mosquitos; Luego, habrá
demasiados mosquitos.
Se obtiene un esquema molecular con:
Son ciertas:
a) 2 filas b) 8 filas
a) VVVFF b) FVVFF c) 4 filas d) 16 filas
c) VVVVF d) FFFFF e) 6 filas

e) FFFVV 16. Dado el siguiente esquema:

11. En la siguiente expresión: “Jennifer es abogada o Diego

es ingeniero, si el entrenamiento fue adecuado”. La
(p  r )    ( q  p )  q  q
formalización y el valor final de su matriz Indicar en qué filas se encuentra el valor verdadero
respectivamente, es: a) 1º, 2º, 3º y 6º b) 2º, 4º, 5º y 7º

a)
(p  q) → r ; T b) (p  q)  r ; Q
c) 2º d) 3º, 6º, 7º y 8º
e) 2º, 4º, 6º y 8
r → ( p  q) ( p → q) → r ; T
c) ; Q d)
(p  q)  r ; ⊥ 17. Sean las proposiciones:
e)
p( x) = 3 x es un numero par.
12. Sean las proposiciones: q ( y ) = y es un numero primo
[ ( p → q )  ( q  p )]  p
I. r ( z ) = z es divisor de 60.
II.
( p → q)  (q  p) Indicar los valores de verdad de las siguientes
( p  q)  ( q  p )   (q → p) proposiciones:
III.  p (1) → r (7)
1)
Es verdad que: 2)
q (11)  [ p (1)  r (2)]
1) I no es una contradicción
3)
p (3)  [( p (8)  r (5)]
2) II no es una tautología
3) III no es consistente
4)
p (5)  [ p ( −1)  p (−2)]
4) I y II son consistente
5) II y III son consistente 5)
[ p (10)  q (2)]  q (3)

Este material está elaborado exclusivamente por Docentes del CEPUNS

Son ciertas: Son ciertas:
a) 1,2, 3y 4 b) 1,2,3,4 y 5 VVVFF
a) b) FFFFF
c) 1 y 3 d) 1 ,2,4 y 5
e) 4 y 5 c) VVVFF d) FFFFV
e) VVFFV
13. Isaac le dice a Moisés la siguiente mentira: “Estudio
álgebra si y solo si estudie física, o si estudio aritmética 18. Si la proposición:
siempre que no estudio física”. ¿Qué curso(s) estudia {[( p  q ) r ] → (r  s )} es verdadera
Isaac?
a) Álgebra b) Aritmética Hallar el valor de verdad de:
c) Física d) Física y aritmética I.
( p  q)  (r  s)
e) Lógica
II.
[( p  s )  r ] → ( w  p )
14. La siguiente afirmación es falsa: III.
[q  (r  w)][ p → ( p → q )]
Si llueve y salgo a la calle y no llevo paraguas, me mojo;
Sin embargo; he salido a la calle también no llevo
paraguas pero me mojo. Luego, no llueve. Son ciertas:
a) VVV b) FVV
Se concluye:
a) Llueve sin embargo salgo a la calle también me mojo c) FFV d) FFF
b) No llueve e) VFV
c) No salgo a la calle
d) No me mojo
19. La matriz principal de: ( p  q)  ( q  p )  (p  q)
e) Llevo paraguas.
es:
15. Luego de formalizar: a) FFVV b) VVVF c) VVVV
Solo si llueve mucho, o bien la cosecha será grande o d) VFFV e) FVVF
bien los pantanos se llenaran de agua. Pero si llueve
20. Si p  q es una proposición falsa. Luego:
4
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
(p  q)  (p → q) , es: 25. Sabiendo que: ( s  p )  r  → ( p  q) es verdadero y la
proposición: ( p → q)  r es falsa, halle los valores de
a) Falsa. b) Verdadera.
c) Indefinida. d) Tautología. verdad de “p”, “s” y “q” respectivamente.
e) Consistente

21. Sean las proposiciones: a) VFF b) FVF c) FFF d) FFV e) VVV

p: Todos los números pares son divisibles entre dos.
26. Sabiendo que la proposición “q” es falsa, ¿En cuál de los
q: Todas las proposiciones lógicas son verdaderas. siguientes casos es suficiente dicha información para
Y sean los esquemas: determinar el valor de verdad de los siguientes
esquemas:
1. pq

2. p→q

3. pq
1. ( p  q) → ( p  q)
4. pq
2. ( q → p )  r
5. pq
3. ( p  q) → r
Son falsas:
a) 1, 2 y 3 b) 3, 4 y 5 c) 2, 3 y 4 4. ( p  q) → (r  q )
d) 3 y 5 e) 1, 2, 4 y 5
a) 1, 2 y 3 b) 1 y 2 c) 3 y 4 d) Sólo 3 e) 1, 2 y 4

22. Si la proposición: ( p  q)  ( q → r )  es verdadera.

¿Cuál de los siguientes esquemas son verdaderos? 27. Se define la proposición: p q = p → q . Hallar
cuántas “V” ó “F” tiene la matriz principal de:
1. ( s  r )  ( p  s )
(p q)  ( p q)
2. ( s  q)  (p  r )

Este material está elaborado exclusivamente por Docentes del CEPUNS

a) 3V y 1F
3. ( q → r ) → (p  r ) b) 1V y 3F
c) 2V y 2F
a) Sólo 1 b) Sólo 1 y 3 c) Sólo 2 d) 4V
d) Sólo 1 y 2 e) Sólo 3 e) 4F

23. Se sabe que: ( p → q) es falso, r  t es verdadero y 28. Hallar el valor de verdad en el esquema:
w m es verdadero. Calcular el valor de: (p  q  r  rt  p q  s ) , donde ( s  t) es
( p  q) → ( s  s )   (m  w )  (r  t )  falsa.

a) Verdadero. a) Sólo F
b) Falso. b) Sólo V
c) Tautología. c) F ó sólo V
d) Consistente. d) Tautología.
e) Contradicción. e) Contradicción.

29. ¿Cuántas funciones veritativas diferentes no

24. Si el esquema: p → ( r  s ) es falsa, entonces se puede equivalentes, se pueden obtener con las variables
afirmar que: proposicionales p, q?
I. “p” puede ser falsa. a) 2 b) 4 c) 16 d) 32 e) 64
II. “r” es necesariamente verdadera.
III. “s” puede ser verdadera y r falsa. 30. En el siguiente esquema proposicional:
Son ciertas: ( p  q)  ( r  s )  ( t  u )  v
a) Sólo I b) Sólo II c) I y II
d) Sólo III e) I y III ¿Cuántos valores verdaderos y falsos tiene en su matriz
b) principal?
a) 25 y 39

5
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
b) 32 y 32 2.
c) 57 y 7 A  B es tautología.
d) 7 y 57 3. El esquema A tiene 64 valores verdaderos.
e) 64 y 64
4. El esquema B tiene 64 valores falsos.
31. En el siguiente esquema proposicional: 5. El esquema A es contradictorio.

p  (q  r )  s  ( t  u )  v . Hallar el valor de: Son ciertas:

a) 1, 2, 3 y 4
p, s, u y el valor veritativo en la matriz principal
b) Sólo 5
correspondiente a la fila 48. c) 1, 2 y 5
a) VVVV d) 2, 4 y 5
b) VVVF e) 3y5
c) VVFF
d) VFFF
35. Al evaluar: ( p  q)  (r  s )   ( t  u )
e) FFFF
Los valores de t, r y s en la fila 50 son respectivamente:
32. De:
a) VFF
1. (p  q)  ( p q) b) FFV
c) VFV
2. ( p  q)  (p  q) d) VVV
e) VVF
3. (p  q)  ( q  p)

4. (p  q)  ( q  p ) 36. El valor veritativo en la matriz principal de la fila 96, del

siguiente esquema molecular es:
( p  q)  ( p q)
5.
 ( p  q)  ( r  s )  → ( t  u )   v
Son tautologías:
a) V
a) Sólo 5 b) Consistente.

Este material está elaborado exclusivamente por Docentes del CEPUNS

b) Sólo 1 c) F
c) 2y5 d) Tautología.
d) 1, 2, 3 y 4 e) Contingente.
e) 1, 3 y 5

33. Dados los esquemas: 37. Si p = F , evaluar: ( r  p )  ( q  p )  ( s  p)

A: p  q  r B: p  ( q  r ) a) V
b) F
Podemos afirmar que: c) Consistente.
1. A es tautología. d) Contradictoria.
2. B es contradicción. e) Tautología.
3. A  B es contradicción.
4. A  B es contingente. 38. Si la fórmula pq tiene matriz final VVFV luego, la
5. El esquema A y B tienen 8 filas respectivamente. fórmula: p  ( p  q)  q . Su matriz principal equivale
Son ciertas:
a:
a) 1, 2 y 4
b) 1, 2 y 5 a) q
c) 2, 3 y 4 b) q
d) 3y5
e) Sólo 5 c) pq

34. De: d) p

A: p  q  r  s  t  u  v e) p

B: p  qr  st uv

39. De: p  q  ( p → q) , donde p  V y q  F .
Podemos afirmar que:
1. A  B es contradictorio. Evaluar: ( p q)  ( p q)   p

6
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
a) Tautología. 43. Al evaluar: A : ( p  q)  (r  s )   ( t  u ) → v 
b) V
Los valores de q, r, s, A en la fila 114 son
c) Contradictoria. respectivamente:
d) Consistente. a) F, V, V, F
e) F b) V, V, F, F
c) F, F, F, F
40. Si A, es un esquema que contiene 4 variables pero es un d) V, V, V, F
esquema contingente.
e) F, F, V, F
B, es un esquema que contiene 4 variables pero es un
esquema contradictorio.
44. Dada la metavariable A, definida como:
Al evaluar A  B , obtenemos que el esquema en la
matriz principal es: A : ( p → q)  (r  s )   ( t  u )  ( v → w ) 
a) Contradictorio.
Calcular el valor de:
b) Consistente.
1.  A123  ( A102  A 97 ) 
c) V
2. A123  ( A102  A 97 )
d) Tautología.
e) F 3. ( A 97 | A123 )  A102
a) V, V, V
25. Dada la proposición: “Si no ocurre que el cuerpo no b) F, F, F
tiene energía alternativamente no genera trabajo,
tampoco ocurre que el cuerpo genera trabajo no es c) V, V, F
suficiente y no es necesario para tener energía”. Los d) F, V, F
valores de su matriz principal son:

Este material está elaborado exclusivamente por Docentes del CEPUNS

e) V, F, V
a) FVVV
b) VVVF
c) VVVV 45. El siguiente esquema proposicional, en la fila 238
d) VVFV
e) FVVF    
A : p → q → r → s → t → u → ( v → w ) 
41. Si el siguiente esquema es tautológico: Los valores de q, s, u, A respectivamente son:
( p q)  (p  q ) , determinar el valor de: ( p  q) a) F, V, F, V b) V, V, V, F c) V, F, F, V
d) V, V, V, V e) F, F, F, F
a) (p  q)
b) p q 46. La matriz final de: “José visita a su mamá al igual que
cancela la luz. Por tanto es incorrecto decir que José no
c) ( p q)
cancela la luz”. Es del tipo:
d) p
a) Inconsistente.
e) q
b) Contingente.
c) Contradictoria.
42. Sean las proposiciones: d) Tautológica.
p: El territorio peruano es más grande que el Japón. e) Falsa.
q: Es falso que Italia no está ubicada en Europa.
47. De las siguientes proposiciones moleculares:
La conjunción verdadera es:
1. Si 0  0 , da lugar a −1  −3 a no ser que 3  5
a) p q
b) p q 2. 14 es número par más aún 41 es número impar.
c) ( p  q)
3. 52 = 5 ya que Ln ( 5 ) = Ln 3 ( 5 )
3

d) (p → q)  p
4. 20  7 en el caso y sólo en el caso de que 70  2
e) p → ( q  p )
Indicar cuántas son verdaderas:

7
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO
 CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
a) 1 53. De:
b) 2 1. ( p  q)  ( p  q)
c) 3
d) 4 2. (p  q)  (p  q)
e) 0
3. (p  q)  ( q  p )
48. ¿Cuál de los razonamientos no es una fórmula proposicional
4. (p  q)  ( q  p )
contingente ni tautológica? 5. ( p  q)  ( p  q)
a) ( p  q)  p  → q
Son tautologías, excepto:
b)  ( p  q)  q → p a) 1, 2 y 3 b) 2, 3 y 4
c) 3, 4 y 5 d) Sólo 1
c)  ( p  q)  p  → q e) Sólo 5
d) ( p  q)  q → p
54. Si p = V , q = F , r = V
e) ( p  q)  q → p Evaluar: ( r  s )  ( q  p )   ( s  p )
f) Falso
49. Si el siguiente argumento es falso:”José es coordinador g) Verdadero
álgebra si y sólo si es coordinador de física, o si no es h) Contingente.
coordinador de física entonces es coordinador de aritmética”. i) Contradictoria.
¿De qué curso(s) es coordinador José? j) Tautología.

a) Algebra.
b) Aritmética.
c) Física 55. Se define:
d) Física y Aritmética.
e) Algebra y Aritmética. p V V F F
q V F V F
50. Sean p, q y r proposiciones tal que: ( r  q) → ( r → p ) sea pq F V F V
falsa. Hallar los valores de: Simplificar:
( p  q)  ( p  q)   p  (p  q)

Este material está elaborado exclusivamente por Docentes del CEPUNS

1. (p → q)  ( r  q)
a) p  q b) q
2. q → ( p  r )    p  ( r  s )  c) p d) q
3. q  ( p  r )  ( q → p )  e) p  q

a) VFF b) FVV
c) FFV d) FFF
e) VVV

51. Si p(x): x 2 − 16 = 0 ; q(x): x – 12 = 0; r(x): x 2  9

Hallar el valor de verdad de:

1. p ( 2 )  q ( 2 )   r ( 4 )
2.  p ( 4 ) → r ( 5 )   q ( 4)
3. p(1)  p(3)  r(2)  p(3)  p(2)  q(2)
a) VVV b) VFV
c) FVV d) VFF
e) FFF

52. En el siguiente esquema proposicional:

p  q  r  s  t  u . Hallar el valor de:
p, s, u y el valor veritativo en la matriz principal
correspondiente a la fila 31.

a) VVVV b) VVVF
c) VVFF d) VVFV
e) FFFF

8
APTITUD MATEMÁTICA CEPUNS – INGRESO DIRECTO