FUNCIN DE VERDAD:

Es la correspondencia que existe entre el

conjunto de proposiciones y sus valores de
verdad.










COMBINACIN DE UNA O MAS
PROPOSICIONES
Obedece a la siguiente frmula:






Donde:
n = nmero de variables proposicionales

DEFINICIN DE PROPOSICIONES
COMPUESTAS
o La Negacin

p ~p
V
F
F
V


o La Conjuncin

p q p . q
V V
V F
F V
F F
V
F
F
F


o La Disyuncin Incluyente

p q p v q
V V
V F
F V
F F
V
V
V
F


o El Implicador

p q p q
V V
V F
F V
F F
V
F
V
V


o El Replicador

p q p q
V V
V F
F V
F F
V
V
F
V

o La Disyuncin Excluyente

p q p v q
V V
V F
F V
F F
F
V
V
F


o La Bicondicional

p q p q
V V
V F
F V
F F
V
F
F
V



TIPOS DE MATRICES

1 CLASIFICACIN:

TAUTOLOGA

Cuando en el esquema molecular todos los
valores son verdaderos.

CONTRADICCIN, CORTOCIRUITO,
APAGN

Cuando en el esquema molecular todos los
valores son falsos.

CONTINGENCIA

Cuando en el esquema molecular resultan
valores verdaderos y falsos.


2 CLASIFICACIN:


CONSISTENTE:

p
q
r
.
.

V

F

B f A

Nmero de Combinaciones = 2
n



CAP. IV.: VERDAD FORMAL
Cuando EXISTE AL MENOS un valor
verdadero.

Ejemplo:

a) MATRZ TAUTOLGICA

b) MATRZ CONTINGENTE

INCONSISTENTE:

NO EXISTE algn valor verdadero.

Ejemplo:

a) MATRZ CONTRADICTORIA



PRCTICA

1. Del siguiente esquema Proposicional:
p q r s t u v w
Podemos afirmar:
1) No tiene valores verdaderos en su matriz
principal
2) No tiene valores falsos en su matriz principal
3) Tiene por lo menos un valor falso en su
matriz principal
4) Tiene por lo menos un valor verdadero en
su matriz principal
5) No corresponde a un esquema
contradictorio
Son ciertas:
A) Slo 1 y 3 B) Slo 2 y 4 C) 3, 4 y 5
D) 1, 3 y 5 E) Ninguna

2. En el siguiente esquema formal:
(p . q) (q v X)
Qu valor debe tomar X para que el esquema
tenga una matriz principal contingente:
1) p 2) p 3) q
4) q 5) 1
Son ciertas:
A) Slo 2 y 3 B) 1 y 4 C) 1 y 3
D) 2, 3 y 5 E) Ninguna

3. Del siguiente esquema Proposicional:
p q r s p q r s
Podemos afirmar:
1) No tiene valores verdaderos en su matriz
principal
2) No tiene valores falsos en su matriz principal
3) Tiene por lo menos un valor falso en su
matriz principal
4) Tiene por lo menos un valor verdadero en
su matriz principal
5) No corresponde a un esquema
contradictorio
Son ciertas:
A) Slo 1 y 3 B) Slo 2 y 4 C) 2, 4 y 5
D) 1, 3 y 5 E) 3, 4 y 5


4. En el siguiente esquema formal:
(p q) . (q v X)
Qu valor debe tomar X para que el esquema
tenga una matriz principal contingente:
1) p 2) p 3) q
4) q 5) 1
Son ciertas:
A) Slo 2 y 3 B) 1 y 4 C) 1 y 3
D) 2, 3 y 5 E) Ninguna

5. Con las variables proposicionales p, q, r; cuntas
frmulas proposicionales con matrices finales
diferentes se pueden construir:
A) 8 B) 16 C) 64
D) 256 E) 512

6. Dados los valores de A y B verdaderos y, C y D
con valores opuestos, la frmula verdadera es:
A) [A v (B v A)] . (C . D)
B) [A (B v A)] v (C D)
C) (A B) (C D)
D) (A . B) (C v D)
E) (A B) + (C D)

7. Para determinar los valores de verdad del
esquema: (p q) (r . s); Es suficiente
saber que:
A) r es falsa B) s es verdadera
C) (r v s) es falsa D) (q r) es
verdadera
E) (p q) es verdadera

8. Si el esquema molecular: (p . r) (r q); es
falso, y las otras variables tienen valor de verdad
desconocido, luego son esquemas verdaderas.
I) (p . s) v q II) (t . q) p
III) (s v t) r
Son ciertas:
A) Slo I B) Slo II C) I y II
D) II y III E) Ninguno

9. Si: p - q
V
F
V
F
Luego (p - q) - p es equivalente a:
A) p B) q C) p v q
D) 1 E) p . q

10. Si el esquema molecular: [(p v *) (r . *)]; es
verdadera. Luego son esquemas no falsos:
1) (p q) v r 2) (p s) . (p v r)
3) (p + r) A (r / s)
Son ciertas:
A) Slo 1 B) Slo 2 C) Slo 1 y 2
D) Todos E) Ninguno

11. Si: p q (p . q ) p; Luego, son valores de
verdad de:
1) (p q) v q 2) (p q) . p
3) (p q) v (q p)
A) vfv B) vff C) fvf D) fff E)
vvv

12. Si el esquema: (p q) + (r s) es verdadero.
Luego, los valores de verdad de p, q, r, s;
son:
A) p = 0; q = 0; r = 0; s = 0
B) p = 1; q = 0; r = 0; s = 1
C) p = 1; q = 1; r = 1; s = 1
D) p = 1; q = 0; r = 0; s = 0
E) p = 0; q = 0; r = 1; s = 1







13. Si el diseo:





Corresponde al esquema conectado A B;
luego el diseo:






Corresponde a:
A) A . B B) A v B C) A B
D) A B E) A B

14. Dadas las estructuras lgicas:
1) [(A + B) C] [C (A + B)]
2) A (B v C) [(A B) + (A C)]
3) A . (B + C) [(A & B) + (A & C)]
4) [(A B) . (B A)] (A B)
5) [(A B) . (B A)] (B A)
Son esquemas tautolgicos:
A) Slo 1 y 5 B) Slo 3 y 4 C) Slo 3, 4 y
5
D) Slo 3 y 5 E) Todas

15. La frmula lgica: (p + q) r; tiene un resultado
matricial con las siguientes caractersticas:
1) Un foco enciende al primer intento
2) Luego de seis intentos falibles e infalibles
encienden 2 focos de color amarillo
3) Un foco se encuentra apagado en el sexto
arreglo
4) Ningn foco se encuentra apagado
5) Todos los focos se encuentran apagados
Son ciertas:
A) Slo 1, 2 y 3 B) Slo 2, 3 y 4 C) Slo 3 y
4
D) Slo 4 y 5 E) Todas

16. Dados los esquemas:
1) p + q 2) (p + q) 3) p / q
4) ( p . q) 5) p + q
Podemos afirmar que slo enciende un foco en el
cuarto arreglo en:
A) Slo 1, 2 y 3 B) Slo 3 y 5 C) Slo 3, 4 y
5
D) Slo 1, 2 y 4 E) Todos

17. Si:
A = p
B = q v r
Cuntos focos verdes permite encender el
siguiente esquema molecular: A . (A v B)
A) 1 B) 2 C) 4 D) 3 E) 5

18. Dado:
A = (p q) . r
B = (p v q)
Adems: p = 1; q = 0; r = 0
Luego, de las aseveraciones:
1) A B = 0 2) B A = 0
3) (A v B) C = 1 4) A v B = 1
5) C . (A v B) = 1
Son correctas:
A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 4 y 5
D) 2, 3 y 4 E) 1, 3 y 5

19. Si: |(p + q ) (r . q)| es verdadero, los
valores de:
I) (p q) / (r . s) II) (p v q) v (r + s)
III) (p q) . (q v r)
Son, respectivamente:
A) VVF B) FVF C) VVV
D) VFV E) FFF

20. Si la frmula: {[(A B) (C / B)] + C} es
verdadera. Luego, los valores de verdad de:
1) (A B) C 2) (A C) B
3) (C / B) / A 4) (B A) + C
Son, respectivamente:
A) FVFF B) VFVV C) FFFF
D) VVVV E) VVFF

21. La matriz final del esquema molecular:
[q (p q)] + [p v (p . q)]; es:
A) 1011 B) 0100 C) 1101
D) 0010 E) 0101

22. La matriz final del esquema molecular:
[(p . q) . p] . [q / (p / q)]; es:
A) 1000 B) 0000 C) 0101
D) 0110 E) 0001

23. La matriz final del esquema molecular:
[(p q) (p q)] [(p q) (p
q)]; es:
A) 1011 B) 1101 C) 0111
D) 1111 E) 1110

24. Sea el siguiente esquema molecular:
(p q) (r p)
Los correspondientes valores de verdad en los
arreglos 2, 4, 5, 7; son:
A) 1010 B) 1111 C) 0010
D) 1110 E) 0111

25. Sea el siguiente esquema molecular:
(p + q) v (p / r)
Los correspondientes valores de verdad en los
arreglos 3, 5, 6, 7; son:
A) 0101 B) 1011 C) 1101
D) 1100 E) 1010

26. Sea el siguiente esquema molecular:
(r q) / (p r)
Los correspondientes valores de verdad en los
arreglos 2, 4, 5, 7; son:
A) 1101 B) 0000 C) 0101
D) 1100 E) 0001

27. Si la frmula proposicional: p + q
Queda representada por el Cuadro:



Luego, el Cuadro:




Representa a la frmula:
A) p q B) p q C) p . q
D) p . q E) p v q

28. Si la frmula proposicional: p q
Queda representada por el Cuadro:



Luego, el Cuadro:




Representa a la frmula:
B
A 1 0
1
0
1
1
0
0
B
A
p 1 0
1
0
q
p 1 0
1
0
q
p 1 0
1
0
q
p 1 0
1
0
q
A) p q B) p v q C) p q
D) p q E) p v q




29. i la frmula proposicional: p . q
Queda representada por el Cuadro:



Luego, el Cuadro:



Representa a la frmula:
A) p q B) p q C) p . q
D) p . q E) p v q

30. Si la frmula proposicional: p / q
Queda representada por el Cuadro:



Luego, el Cuadro:



Representa a la frmula:
A) p q B) p q C) p . q
D) p . q E) p v q

31. Dados los valores de:
p = 0; q = 0; r = 1; s = 1
Y las frmulas:
I) [(p q) (r p)]
II) [(r v p) v (q p)]
III) [(p v q) + (r p)]
Los valores correspondientes de verdad, son:
A) 100 B) 110 C) 001
D) 010 E) 000

34. De los siguientes esquemas:
I) p + (p v q)
II) p (p q)
III) p / (p q)
Cul(es) tiene(n) por lo menos dos valores 1 en
su Matriz Principal?
A) Slo I B) Slo II C) Slo III
D) I y II E) II y III

35. En el esquema formal:
p . q . r . s . t . u . v . w . x . y
Los valores de verdad en los arreglos 143; 504 y
723 son, respectivamente:
A) 101 B) 000 C) 011
D) 001 E) 110

36. En el esquema formal:
p v q v r v s v t v u v w v x v y v z
Los valores de verdad en los arreglos 133; 514 y
752 son, respectivamente:
A) 100 B) 101 C) 010
D) 001 E) 111

37. Dados los valores de:
p = 1; q = 0; s = 1; t = 1
Luego, los valores de:
I) (p q) v (s t)
II) [(s t) (p v q)]
III) [s v (p . q)] v (p v q)
Les corresponden:
A) 100 B) 111 C) 010
D) 001 E) 101

38. Dados los valores de:
M: p q
N: q p
La matriz final de la frmula:
(M . N) (M N) es:
A) 1110 B) 0001 C) 1010
D) 0101 E) 1100

39. De las siguientes frmulas:
I) A . (B v C)
II) (A B) . C
III) (A.B) (AvC)
Presentan esquemas tautolgicos, excepto:
A) Slo I B) Slo II C) Slo III
D) Slo I y II E) Todas

40. Dadas las proposiciones:
P: Algunos antropfagos no son canbales
Q: Algunos canbales no son antropfagos
R: Algunos carnvoros no son canbales
La verdad formal de los siguientes esquemas:
I) P . (Q R)
II) P (Q + R)
III) P v (R Q)
Es, respectivamente:
A) 100 B) 011 C) 111
D) 000 E) 101

41. Cul de los esquemas corresponden al tipo
contingente?
1) p & q 2) p q 3) p q
4) p q 5) (p + q)
Son ciertas:
A) Slo 1 y 2 B) Slo 3 y 5 C) Slo 3, 4 y
5
D) Slo 4 y 5 E) Todas

42. Dada la frmula lgica: {[(p v q) . (p
v q)] v p} . q
Cuntos focos verdes prenden al conectar la
corriente elctrica?
A) 2 B) 3 C) 4 D) Ninguno E) 1

43. Dada la siguiente tabla veritativa:
p q p q
1 1
0 0
0 1
1 0
1
0
1
1

Determinar: (p q) q
A) p v q B) p C) q
D) q v p E) 1

44. Dados los valores A = 1, B = 1 y C = 1; la
formula verdadera es:
A) ~ (~A & B) ~C
B) |A (A B)| ~C
C) |A (B & ~B)| C
D) ~A & |~A (B v C)|
E) (A B) C

45. Dado el esquema: |(~p . ~q) / (q ~r)|
s; falso
Los valores de verdad de las variables: s, p, q y r
respectivamente son:
A) 0110 B) 1001 C) 1000
D) 1110 E) 0010

46. Si la estructura lgica: [(A B) v
(C D)] es falsa.
Los valores de verdad de:
1) (A B) [(A v B) . B]
p 1 0
1
0
q
p 1 0
1
0
q
p 1 0
1
0
q
p 1 0
1
0
q
2) (A B) (C v D)
3) (A B) . (C D)
Son, respectivamente:
A) 101 B) 010 C) 100
D) 111 E) 000

47. Sean las variables:
A: Falso B: Verdadero
Las implicaciones verdaderas son:
1) B (A A) 2) ~A B
3) (~B A) A 4) (A v B) B
5) ~ (~A v B) ~(A . B) v B
No son ciertas, excepto:
A) 1, 2 y 3 B) 3, 4 y 5 C) 1, 3 y 5
D) Todas E) 2, 3 y 4

48. Dado el esquema:
[(p v r) (r v s)] falso y (r v s) = 0
Los valores de p, r y s son:
A) p=1; r=1; s=0 B) p=0; r=0; s=1
C) p=1; r=0; s=0 D) p=1; r=1; s=1
E) p=0; r=0; s=0

49. Dadas las siguientes proposiciones:
A: El sol es una estrella
B: La tierra es un satlite
C: Los planetas del sistema solar no
pertenecen a la va lctea.
Hallar el valor de verdad de los siguientes
enunciados formales:
1) (A B) . ~C
2) [(A B) A] (B v ~B)
3) [(A ~B) . ~C] v (A ~B)
Son, respectivamente:
A) 111 B) 000 C) 010 D) 011 E) 101

50. Si el esquema: [p . (p v q)] p; es falso.
Cules son los valores de las variables,
respectivamente:
A) 1, 1 B) 1, 0 C) 0, 0
D) 0, 1 E) p: 1 0; q: 0 1

51. El esquema molecular: (p . q) (r v s) tiene
como caractersticas:
1) No es tautolgico
2) No es contradictorio
3) No es contingente
4) Slo tiene valores 1 en su matriz final
5) Tiene por lo menos un valor 1 en su matriz
final
Son ciertas:
A) Ninguna B) 1, 2 y 3 C) 1, 2 y 5
D) 3, 4 y 5 E) 2, 3 y 4

52. Si:
A = p
B = q v r
Cuntos focos verdes permite encender el
siguiente esquema molecular: A . (A v B)
A) 1 B) 2 C) 4 D) 3 E) 5

53. El siguiente esquema molecular: [(p q) . r] +
[p (q . r)]
Se caracteriza porque:
1) No es tautolgico
2) No es contingente
3) No es contradictorio
4) No tiene valores verdaderos en su matriz
final
5) No tiene valores falsos en su matriz final
Son ciertas:
A) 1, 2 y 4 B) Slo 2 y 5 C) Slo 1 y
3
D) 1, 3, 4 y 5 E) 2, 3 y 5

54. Dado:
A = (p q) . r
B = (p v q)
Adems: p = 1; q = 0; r = 0
Luego, de las aseveraciones:
1) A B = 0 2) B A = 0
3) (A v B) C = 1 4) A v B = 1
5) C . (A v B) = 1
Son correctas:
A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 4 y 5
D) 2, 3 y 4 E) 1, 3 y 5

55. Dada la frmula verdadera:
{ [ (p q) . r] v (p v q)}
Adems:
A = p (q + s)
B = q r
Luego, de las aseveraciones:
1) A . B = 0 2) C / (A B) = 1
3) A v B = 0 4) A C = 1 5) B + A = 1
Son correctas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 1, 3 y 5 E) 2, 4 y 5

56. Si: p * q = q; el valor final de |(p * q) * p|; es:
A) VVFF B) FFVV C) VFFV
D) FVFV E) VFVF

57. Si:
A = p q
B = r + p
Adems: (A B) = 0
Los valores de r, q y p son respectivamente:
A) 000 B) 011 C) 100
D) 101 E) 110

58. Si:
(p * q) v ( p q); es una contradiccin
La frmula: (p * q) equivale a:
A) p q B) p q C) (p q)
D) (p q) E) p q

59. Si la frmula (p @ q); tiene como matriz 0101.
Luego, la frmula: |p @ (p + q)| equivale a:
A) p . q B) p . q C) p q
D) q E) p @ q

60. Si la frmula: {[(AB)C](AC)} es falsa,
entonces:
i. A es verdadero y B falso
ii. A es falso y B falso
iii. C es verdadero o falso
iv. A es falso y B verdadero
v. C es falso
Son ciertas:
A) 2, 3 y 4 B) 1 y 5 C) 2, 4 y 5
D) 1 y 3 E) Slo 2 y 3

61. Si la frmula: {[(A B) (C / B)] + C} es
verdadera. Luego, los valores de verdad de:
1) (A B) C 2) (A C) B
3) (C / B) / A 4) (B A) + C
Son, respectivamente:
A) FVFF B) VFVV C) FFFF
D) VVVV E) VVFF

62. Si: p = 1; q = 0 y r = 1. Los valores de verdad de
las frmulas:
1) [p v (q . r)] (p v q)
2) p [(r v q) v q]
3) (p + q) . (r / p)
Son los siguientes:
A) 111 B) 110 C) 101
D) 010 E) 000

63. Sean las proposiciones:
p = La tierra es el centro del universo
q = El Per es un pas sudamericano
r = Los delfines son mamferos
Los valores de verdad de las frmulas:
1) [p (r . q)] (p . q)
2) [p (r v q)] (p v r)
3) (p q) . (r v p)
Son los siguientes:
A) 101 B) 111 C) 010
D) 110 E) 001

64. Sean las proposiciones:
p = Fujimori fue un presidente del Per
q = Alejandro Toledo es el presidente del Per
r = Algunos militares son aviadores
Los valores de verdad de:
1) (p v q) + (p r) 2) [(p q) . p] (r
q)
3) [(p q) p] (r . p)
Son los siguientes:
A) 111 B) 011 C) 001
D) 101 E) 110

65. Si: [(p + q) (p . q)] es una frmula
verdadera. Los valores de verdad de:
1) (p q) / (p . q)
2) (p q) + (q . p)
3) (p + q) (p . p)
Son los siguientes:
A) 110 B) 111 C) 100
D) 011 E) 010

66. Dados los valores de A y B verdaderos y, C y D
con valores opuestos, la frmula verdadera
es:
A) [A v (B v A)] . (C . D)
B) [A (B v A)] v (C D)
C) (A B) (C D)
D) (A . B) (C v D)
E) (A B) + (C D)

67. Si:
A = (p . q) r
B = p (q v r)
La matriz final de: (A + B) (A B); es:
A) 10111111 B) 01001111
C) 11111101 D) 11111111
E) 01110111

68. Dado:
A = (p q) . r
B = (p v q)
Adems: p = 1; q = 0; r = 0
Luego, de las aseveraciones:
1) A B = 0 2) B A = 0
3) (A v B) C = 1 4) A v B = 1
5) C . (A v B) = 1
Son correctas:
A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 4 y 5
D) 2, 3 y 4 E) 1, 3 y 5

69. Si: |(p + q ) (r . q)| es verdadero, los
valores de:
I) (p q) / (r . s)
II) (p v q) v (r + s)
III) (p q) . (q v r)
Son, respectivamente:
A) VVF B) FVF C) VVV
D) VFV E) FFF

70. Si se cumple que: p % q = 0010
La matriz principal de: (p % q) % p
Es:
A) 0100 B) 1110 C) 0010
D) 1000 E) 1011

71. De las frmulas:
1) (p q) v (p v q)
2) |p (q . p)| p
3) |(p q) . (p q)|
4) (p + q) v p
5) (p q) . (p v q)
Son tautologas:
A) 1, 4 y 5 B) 1, 2 y 3 C) 3, 4 y 5
D) 2, 3 y 5 E) Ninguna

72. Si la frmula: {[(A B) (C / B)] + C} es
verdadera. Luego, los valores de verdad de:
1) (A B) C 2) (A C)
B
3) (C / B) / A 4) (B A) + C
Son, respectivamente:
A) FVFF B) VFVV C) FFFF
D) VVVV E) VVFF

73. En el siguiente esquema formal:
[(A + B) v A}] A B
Determine su matriz principal:
A) 0111 B) 0000 C) 1100




74.El siguiente esquema formal:
[(-A v B) . (C D) . (B -C)] -(D . A)
Corresponde a un esquema:
A) Contingente B) Continente
C) Tautolgico D) Contradictorio
E) No es tautologa

75. Si A, B, C son proposiciones simples verdaderas
y D es falsa, luego a las siguientes proposiciones
les corresponde respectivamente los valores de
verdad:
I) [(A.B).C] D ... (0)
II) ( A B) C ... (1)
III) [(A.B)(C.D)](B.D) ...(0)
Son ciertas:
A) Slo I B) Slo II C) II y I
D) I, II y III E) N. A.

76. Si la estructura lgica: [(A B) v (C D)] es
falsa. Los valores de verdad de:
I) (A B) [(AvB).B]
II) (AB) (C v D)
III) (AB) . (C D)
Son los siguientes:
A) 101 B) 010 C) 100
D) 111 E) N. A.

77. Cul es el estado de los focos para A, B, C y D
en el siguiente esquema verdadero (AB) + (
CD)?
A) A = 1 , B = 0 , C = 0 , D = 1
B) A = 0 , B = 1 , C = 1 , D = 1
C) A = 1 , B = O , C = 1 , D = 0
D) A = 1 , B = 1 , C = 1 , D = 0
E) N. A.

78. Dado [(p.q)r] [(pvs) + r] que es falsa, los
valores de verdad de:
I) (ps) v p
II) (svr) t
III) [(p.q) v (qr)] s
Son respectivamente:
A) 110 B) 000 C) 011
D) 010 E) N. A.

79. Dado [(pvq) + r] es verdadero, luego los valores
de:
I) (pq) . (rvq)
II) (pt) . (q.u)
III) (sr) (pvq)
A) 001 B) 111 C) 000
D) 100 E) N. A.


80. Dados los esquemas:
1) (pvq) (p.q)
2) [(p q] (pvq)
3) [(pvq) .q] q
4) [(pq) . (pq)] (pq)
5) (pvq) (pvq)
Son esquemas contradictorios:
A) 1,2 y 3 B) 1,3 y 5 C) Slo 3 y 5
D) Slo 2 y 3 E) N. A