TRILCE

Captulo

FUNCIONES VERITATIVAS
TABLAS DE VERDAD

I.

FUNCIONES VERITATIVAS

1.

DEFINICIN: Son interpretaciones semnticas de las posibilidades de verdad o falsedad de las proposiciones
moleculares en base a sus conectivas o el modificador.
Son las siguientes:
A) Negacin: Lgicamente se rige por la siguiente regla: "La negacin de una proposicin verdadera es falsa.
La negacin de una proposicin falsa es verdadera".
Esquemticamente, se representa por la siguiente tabla de verdad:
p ~p
V
F
F
V
Esto significa que si "p" es V, su negacin F o viceversa.
B) Conjuncin: La funcin veritativa de la conjuncin se rige por la siguiente regla: "Una proposicin conjuntiva
es verdadera cuando todas sus proposiciones componentes son verdaderas, siendo falsa en los
dems casos".
Esquemticamente, se tiene:
p q pq
V V
V
V F
F
F V
F
F F
F

C) Disyuncin inclusiva o dbil: En este caso es: "Es

en los dems casos es verdadera".
Esquemticamente, se tiene:
p
V
V
F
F

falsa slo cuando todos sus componentes son falsos,

pq

D) Disyuncin exclusiva o fuerte: La regla es : "Una proposicin disyuntiva fuerte es falsa cuando sus
componentes tienen valores iguales, en los dems casos es verdadera".
Esquemticamente, se representa:
p

p
q

33

Lgica

E) Condicional: La regla es: "Una proposicin condicional es falsa slo cuando el antecedente es verdadero y el consecuente es falso, siendo verdadero en los dems casos".
La funcin veritativa se expresa en el siguiente esquema:
p

pq

V
V

V
F

V
F

F) Bicondicional: La regla es: "Una proposicin bicondicional es verdadera cuando sus dos componentes
tienen valores iguales, y es falsa cuando sus dos componentes tienen valores distintos".
Esquemticamente, se tiene:
p

pq

V
V

V
F

V
F

RESUMEN:
Conjuntiva

V
V
F
F

V
F
V
F

Disyuntiva
fuerte

p q
V
F
F
F

p q
V
V
V
F

p
F
V
V
F

Scholz
Russell
p

Disyuntiva
dbil

Condicional

Bicondicional

p
V
F
V
V

p
V
F
F
V

Negacin

~
~

~p
F
F
V
V

Ejemplos:
1. Si : p = F, q = V y r = F; indicar el valor de verdad (verdadero o falso) de las siguientes frmulas:
a) (q p) (r p)
b) ~ [r q . . ~ (p . q)]
Desarrollo:
a) (q p) (r p)
Pasos a seguir:
1. Asignar los valores correspondientes a cada variable:
(q p) (r p)
V F
F F
2. Evaluar las frmulas de acuerdo a las reglas de las funciones veritativas:
(q

p) (r p)

V F

F
V

3. El valor final se obtiene del operador principal (mayor jerarqua).

Resultado = V (verdadero).
Nota: Para resolver el ejercicio siguiente procedemos en forma directa, porque ya conocemos los pasos que se
siguen.

34

TRILCE

~ [r q . . ~ (p . q)]
F V
F V

b)

F
V
V

Resultado: F (falso).
2.

Si la frmula (p q) (p s) , es falsa, halle los valores de p, q y r, respectivamente:

Desarrollo:
Pasos a seguir:
1. El valor de verdad de la frmula se ubica en el operador principal (mayor jerarqua).
(p q) (p r)
F

2. Se procede a dar el valor correspondiente a cada frmula o variable de acuerdo al valor dado del operador
principal, que cumpla con las reglas de las funciones veritativas.
(p q) (p r)
V F F F V F F

3. Luego obtenemos el valor de cada variable.

p=V
q=F

r=F

Resultado: VFF.
II.

TABLAS DE VERDAD Y ESQUEMAS LGICOS

1. TABLAS DE VERDAD
Llamadas tambin de valores, tablas veritacionales, mtodo de las matrices. Son grficos en los que se representan todos los valores de verdad o falsedad que pueden asumir las distintas interpretaciones de un esquema o
frmula lgica.
Wittgenstein (1889 1951), filsofo viens, padre de la Filosofa Neopositivista y Analtica, es el que propone las
tablas de verdad.
FRMULA: C = 2n
C = Nmero de lneas o arreglos que tendr las tabla.
2 = Constante numrica
n = Nmero de variables
GRFICO:
Variables
Frmula Lgica
de la frmula

Combinaciones
de V y/o F
Margen
Izquierdo

(matriz (ces))

Cuerpo

NOTA: Para hallar los valores de Verdad o Falsedad de la matriz principal de una frmula lgica en la Tabla de Verdad,
es necesario emplear las funciones veritativas.

35

Lgica

FUNCIONES VERITATIVAS :

Conjuntivo

Disyuntivo
Inclusivo

VV= V

FF= F

Disyuntivo
Condicional Equivalente Negativo
Exclusivo
VV

VV
VF= F

FF

FF
n p q
C=2
2 V V
C=2 V F
F V
C=4 F F

p
V
V
F
F

V
F
F
F

V
F
V
F

V
V
F
F

V
V
V
F

V
F
V
F

V
V
F
F

F
V
V
F

V
F
V
F

V
V
F
F

V
F
V
V

V
F
V
F

V
V
F
F

V ser F
F ser V

q
V
F
F
V

V
F
V
F

p
F

n
C=2
1
C=2
C=2

Matriz principal o cifra tabular

PASOS A SEGUIR PARA EVALUAR LAS FRMULAS LGICAS:

1)
2)
3)
4)

Ubicar la frmula en el lugar correspondiente de la Tabla.

Jerarquizar la frmula.
Determinar el nmero de arreglos mediante la frmula respectiva.
Evaluar la frmula de acuerdo a las reglas de las funciones veritativas, procediendo de la matriz de menor
jerarqua, hasta llegar a la matriz de mayor jerarqua.

EJEMPLOS:
Determinar la matriz principal de las siguientes frmulas:
A) p q
B) (p q) (r p)
C) p

DESARROLLO
A) p
V

1
q p q
V
V

V F
F V
F F

# de arreglos:
n
C=2

F
V
V

2
C=2 =4
matriz

2
1
(p q) (r

B) p
V

p)

C=2

C = 23 = 8

F
Matriz Principal

C)

p
V

p
F

# de arreglos
C = 2n
matriz

36

C = 21 = 2

# de arreglos
n

TRILCE

2. ESQUEMAS LGICOS (E. L.):

Son frmulas lgicas (proposiciones formalizadas) las cuales pueden asumir funciones veritativas determinadas.
Pueden ser:
1. Tautolgicos (T): Son aquellos cuya matriz principal contiene nicamente valores de verdad. Se le llama
tambin "Principios Lgicos".
Ejemplo:

3
2 3
1
p q [(p q)
q]

2
p

E. L. Condicional Tautolgico
2. Consistentes (Q): Llamados tambin esquemas contingentes. En estas frmulas lgicas, la matriz principal de
su tabla veritativa presentan por lo menos un valor de verdad y uno de falsedad.
Ejemplo:

3
2
1
p q [(p q) q]

E. L. Bicondicional Contingente.
3. Contradictorios ( ): Son frmulas formalmente falsas, la matriz principal de su tabla de verdad slo
contiene valores falsos.
Ejemplo:

2
1 2
3
p q [(p q)
(p q)

E. L. Conjuntivo Contradictorio

37

Lgica

PRCTICA
01. Seale la matriz principal del siguiente esquema
molecular:
[(p q) q] p
a)
b)
c)
d)
e)

VVFV
VFVV
VVVF
FFV
VVVV

02. Qu matriz principal corresponde al siguiente esquema

molecular?
[(p q) ( q

r)] (p r)

a) VVVVVVVV b) VVVVVFFV
c) VFFVVFFV d) VVVVVVFF
e) VVVFVVVF
03. Seale la matriz principal del siguiente esquema
molecular:
[( q
a)
b)
c)
d)
e)

r)

p] (p q)

FFFFVVVV
FFFVVVFF
FFFFVFVV
VVVVVVVV
VVVVVVVF

04. Un esquema molecular es Tautolgico cuando su matriz

est constituida:
a) Slo por valores verdaderos.
b) Slo por valores falsos.
c) Por valores falsos y verdaderos.
d) Slo por valores posibles.
e) Por valores necesarios y falsos.
05. Si : p q ~ (p q) .
Halle los valores de: (p q) p .
a) VVVV
b) FFFF
c) VVFF
d) FFVV
e) VVVF
06. Si el esquema es F, diga el valor de las variables: p, q, r
y s respectivamente:
[(p q) (q
r)] [r (s p)]
a) VVVV
b) VVFF
c) VVVF
d) VFVF
e) FFFF
07. Si:
p q ~ (p q) y p q ~ (p q)
Seale la matriz de:
[p (q q)] q
a) VFVF
b) VVFF

38

c) FFVV
d) FVFV
e) VVVV
08. Si p # q ~ (p q) , halle los valores de:
(p # q) # p
a) FFVF
b) VVFV
c) VFVF
d) FVFV
e) FFFF
09. Si p q ~ p q , halle la matriz de:
(p + q) + (p + ~q)
a) FFVF
b) VVVF
c) FFFV
d) VFFV
e) FVVF
10. Sabiendo que:

p q

p ~q

Seale los valores de:

(p q)
a) VVVV
b) FFVF
c) FFFV
d) VFVF
e) VVVF

(p

q)

~p ~q

11. Si el esquema es F, seale el valor de cada variable:

~ (p q) [p (r q)]
a) VVV
b) FFF
c) VFV
d) VVF
e) FFV
12. Si el esquema es F, seale el valor de cada variable:
[(p q) (s p)] [(q
r) (~ s t)]
a) VVVVV
b) FFVVF
c) FFFVF
d) FFFFF
e) FFVFF
13. Si el esquema es V, diga el valor de las variables:
[(~ p
q) r] ~ [(r p) s]
a) FVVF
b) FFVF
c) FVFV
d) VFVF
e) VVFF

TRILCE

14.

Halle la matriz de:

p ~ q
a)
b)
c)
d)
e)

VVVV
FFFF
VFFV
FVVF
VFVV

d) VVFF
e) VVVV
21. Si el esquema (p q) (q r) es falso,,
luego:
I.

(p q) no es falso..

II. (q s) es verdadera.

15. Seale el esquema al que corresponde la matriz FVFV.

a) (p q) q
b) (q p) ~ q
c) (p
q) ~ p
d) (p ~ q) p
e) (p ~ q) q
16.Si el esquema no es V, seale el valor de cada variable
(p q) q (r ~ s)
a) VFVFV
b) VVFFV
c) VVVFV
d) FVFVF
e) VFVVV
17. Si el esquema (p q) (s r) es falso, hallar el valor
de p, q, r y s respectivamente:
a) VFFV
b) FVVF
c) VVFV
d) VVVF
e) VFVF
18. Si (p q) (s r) es falso, hallar el valor de p, q, r y s,
respectivamente:
a) VVVF
b) FVFV
c) VVFF
d) VFVV
e) FVVV
19. Sabiendo el valor verdadero de:

[q (p ~ r)] ~ (r s)
Entonces sealar el valor de p, q, r y s respectivamente:
a) FVVF
b) VVFV
c) VVFF
d) VVVF
e) FFFF
20. Si se sabe que:

III.
a)
b)
c)
d)
e)

(q p) es verdadera.
Slo I.
I y II.
Todas.
Slo III.
N. A.

22. Determinar la T. V. de:

[(p q) ~ q] [(~ q p) p]
a) VVVV
b) FVVV
c) VFVF
d) VVVF
e) N. A.
23. De la no verdad de:
[(p q) (r ~ t)]
Determinar, respectivamente, los valores de las
siguientes frmulas:
( ) (r p) (~ r ~ t)
( ) (q r) (r t)
( ) p (r t)
a) FFF
b) FVV
c) VFF
d) FVF
e) VVF
24. Si se sabe que:
p ~ r es F

r q es V
q t es F
Determine los valores de verdad de p, q, r y t.
a) VVVV
b) VVFF
c) VFVF
d) FVFF
e) FFFF
25. Los valores de verdad de las proposiciones p, q, r y s
son respectivamente V, F, F, V.
Obtener los valores de verdad de:

(p ~ r) F

( ) [(p q) r] s

(r q) V

( ) r (s q)

* (q t) F
Hallar los valores de p, q, r y t respectivamente.
a) VFFF
b) VVFV
c) FFFF

( )
a)
b)
c)
d)
e)

(p r) ~ (r ~ s)
VFF
VVV
FFF
FVV
VVF

39

Lgica

26. Dada la proposicin:

"Si llueve, el suelo se moja".
Los valores de la matriz principal de su tabla de verdad
son:
a) FVFV
b) VFVF
c) VVVV
d) VFVV
e) FFVV

33. Cul de las siguientes frmulas tiene como valores:

27. Si la proposicin compuesta:

34. Si p = V y q = F, entonces una de las siguientes frmulas

es verdadera:
a) p q

(p q) (r t) es falsa
Indicar las proposiciones que son verdaderas.
a) p y r
b) p y q
c) r y t
d) q y t
e) p ; r y t
28. Si la proposicin:
(~ p q) r , es falsa.
Determinar, cules de las proposiciones son falsas:
a) p y q
b) p y r
c) p; q y r
d) q y r
e) r y q

29. Es una proposicin que admite el valor V slo cuando

las dos proposiciones componentes son verdaderas:
a) Conjuncin.
b) Disyuncin.
c) Condicional.
d) Bicondicional.
e) Negacin.
30. Es una proposicin que admite el valor V solo cuando
las dos proposiciones tiene el mismo valor de verdad:
a) Conjuncin.
b) Disyuncin.
c) Bicondicional.
d) Condicional.
e) Negacin.
31. Es una proposicin en la cual basta que una de las
proposiciones sea verdadera para que la proposicin
sea verdadera:
a) Conjuncin.
b) Disyuncin.
c) Bicondicional.
d) Condicional.
e) Negacin.
32. Si : p = V ; q = F y r = V.
Seala cul de las siguientes frmulas no es verdadera:
a) (p q) r
b) (p q) r
c) (p r) ~ q
d) (~ p r) p
e) r (q p)

40

VVVF?
a) (p q) r
b) (p q) r
c) (p r) ~ q
d) (~ p r) p
e) r (q p)

b) p q
c) ~ p q
d) ~ p q
e) p ~ q
35. En la tabla de verdad del siguiente esquema: ~ p q ,
el valor de la primera y cuarta fila, respectivamente es:
a) V y F.
b) F y F.
c) V y V.
d) F y V.
e) Indeterminado.
36. El valor definido de:
"Es falso que no ocurra el temblor y haya derrumbes",
es:
a) VVFV
b) V y F
c) V F
d) FFVFF
e) Siempre falso.
37. Se tiene que : ~p = F ; q = V y ~r = F.
Entonces:
a) (p q) es falso..
b) p (q ~ r) es verdadero..
c) (~ p q) es verdadero..
d) ~ r (p q) es falso..
e) (r ~ q) es falso..
38. Si el esquema: (p q) (s r) es falso, hallar el valor
de p , q , r y s, respectivamente:
a) V - F - F - V.
b) F - V - V - F.
c) V - V - F - V.
d) V - V - V - F.
e) V - F - V - F.
39. La frmula (p q) es falsa.
Hallar el valor veritativo del siguiente esquema:
~ (~ p ~ q)
a) Verdadero.
b) Falso.
c) Indefinido.
d) Consistente.
e) N.A.

TRILCE

40. Sabiendo el valor verdadero de:

[q (p ~ r)] ~ (r s)
Entonces sealar el valor de p , q , r y s respectivamente.
a) V - F - V - F.
b) V - V - F - F.
c) F - V - V - F.
d) V - F - F - V.
e) F - F - V - V.

41. Hallar la tabla de verdad de la siguiente frmula:

~ (p q) (p q)

a)
b)
c)
d)
e)

VVFF
FFVV
VFFV
FVVF
VVVF

42. Si: p = V , q = F y r = V.
Seala cul de las siguientes frmulas es verdadera:
a) (p q) ~ r
b) (p q) r
c) (~ q r)
d) (r q)
e) (p r) q

47. Cul es el resultado final de la proposicin?

[(p q) (~ r q)] [r ~ p]
a) VVVVVVVV
b) FFFFFFFF
c) VFVFVFVF
d) FVFVFVFV
e) VVVVFFFF
48. Halle el valor final del siguiente esquema:
(p q) (r ~ p)
a) VVVVFFFF
b) FFFFFFVF
c) FFFFFFFF
d) FFFFFFVV
e) VVFFVVFF
49. Defina el valor del siguiente esquema:
[p (p q)] ~ (~ q ~ p)
a) FVVV
b) FVFF
c) VVVV
d) VFVF
e) Ninguna anterior.
50. Si hallamos la tabla de valores de la frmula:

43. Cul de las siguientes frmulas tiene como valores

"VFVV"?
a) A B
b) A B
c) A B
d) A B
e) A B

(p q) (p r)
El resultado final es :
a) VVVVVVVV
b) FFFFFFFF
c) VVVVFFVV
d) FFVVVVVV
e) FVFVFFFF
51. Determine el valor final de:

44. Efectuar el siguiente ejercicio:

[(p q) r] ~ p

a)
b)
c)
d)
e)

VFVFVFVF
FVFVVFVV
FFFFFFFF
VVVVVVVV
FFFFVVVV

a)
b)
c)
d)
e)

[~ (q p) ~ (~ p r)] ~ (r p)
VVVVFFFF
VFVFVFVF
FFFFFFFF
FFFFFFVV
VFFFVVVV

52. Determinar la T. V., luego de negar el siguiente esquema:

[(p q) ~ q] [(~ q p) p]

45. El valor final del siguiente esquema:

[(~ p q) ~ p] (p q)
se define como:
a) Tautolgico.
b) Contradictorio.
c) Consistente.
d) Contingente.
e) Inconsistente.
46. Realizar el siguiente ejercicio:
a)
b)
c)
d)
e)

[p (q r)] [(q ~ r) p]
VFVFVFVF
FFFFVVVV
VVVVVVVV
VVVVFFFF
FFFFFFFF

a)
b)
c)
d)
e)

VVVV
FVVV
FFFF
VFFV
VFVF

53. Los valores FVVV pertenecen a la frmula:

a) ~ p ~ q
b) ~ (p q)
c) ~ p ~ q
d) a y b
e) b y c

41

Lgica

54. La tabla valorativa de (~ p ~ q) es equivalente a la

negacin de:
a) p q
b) p q

pq
d) p q
c)

e) ~ (p q)
55. Si un esquema presenta tres variables entonces las
combinaciones posibles en una TV son:
a) 6
b) 8
c) 10
d) 12
e) N. A.
56. A
a)
b)
c)
d)
e)

qu operador corresponde VFFV?

Conjuncin.
Disyuncin inclusiva.
Negacin.
Bicondicional.
Condicional.

58. Qu valores pertenecen a:

(p ~ q) (q r)

a)
b)
c)
d)
e)

VFVVVVVF
FVFFFFFF
VFVVVVVV
VVFVVVVV
VVVFVVFF

59. Cul es la matriz de:

[(~ p q) p] ~ (q p)

a)
b)
c)
d)
e)

VFVF
VVVF
VFFF
VVFF
FFVV

60. Determine la matriz de:

p q ~ r p
a) FFFFVFVF
b) VVVFVFVF
c) VVVVFVFV
d) VVVVFVFF

57. Hallar el valor final en el enunciado siguiente:

"Si Sebastin no estudia y no ayuda en casa,
entonces juega nintendo o no lo hace".
a) Tautologa.
b) Consistencia.
c) Contingencia.
d) Contradiccin.
e) Inconsistencia.

42

e) VVVVVFVF