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 su us proposiciones
sus op
o p 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 falsa slo cuando todos sus componentes son falsos,
en los dems casos es verdadera".
Esquemticamente, se tiene:
p q pq
V V V
V F V
F V V
F F F

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 q p
/ q
V V F
V F V
F V V
F F F
 E) Condicional: La regla es: "Una proposicin condicional es falsa slo cuando el antecedente es verda-
dero y el consecuente es falso, siendo verdadero en los dems casos".
La funcin veritativa se expresa en el siguiente esquema:

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

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 q pq
V V V
V F F
F V F
F F V

RESUMEN:

Disyuntiva Disyuntiva
Conjuntiva Condicional Bicondicional Negacin
dbil fuerte
Scholz
/ ~
Russell / ~
.
p q p q p q p
/ q p q p q ~p
V V V V F V V F
V F F V V F F F
F V F V V V F V
F F F F F V V V

Ejemplos:
1. Si : p = F, q = V y r = F; indicar el valor de verdad (verdadero o falso)
alsso 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 F
V 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.
 b) ~ [r q . . ~ (p . q)]
F V F V
V F

V
F

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

GIC
G
GIC
ICO
CO

1. TABLAS DE VERDAD
Llamadas tambin de valores, tablas veritacionales,
ess, mtodo
m
m de las matrices. Son grficos en los que se represen-
tan todos los valores de verdad o falsedad que pueden
ued
eden
den
denn asumir
asu las distintas interpretaciones de un esquema o
frmula lgica.
Wittgenstein (1889 1951), filsofo viens, padre de la FFilosofa
lo
os
os 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
de la frmula Frmula Lgica

Combinaciones
(matriz (ces))
de V y/o F

Margen Cuerpo
Izquierdo

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.
* FUNCIONES VERITATIVAS :

Disyuntivo Disyuntivo
Conjuntivo Condicional Equivalente Negativo
Inclusivo Exclusivo
VV VV
V ser F
VV= V FF= F F VF= F V
F ser V
FF FF

n p q p q p q p q p q p q p
C=2 n
C=2
V V F V V F V V
2 V V V V V V V V V V V V
C=2 V F V F F V V F V V F V F F V F F 1
C=2
F V F F V F V V F V V F V V F F V V F F
C=4 F F F F F F F F F F F F V F F V F C=2
Matriz principal o cifra tabular

* PASOS A SEGUIR PARA EVALUAR LAS FRMULAS LGICAS:

1) Ubicar la frmula en el lugar correspondiente de la Tabla.

2) Jerarquizar la frmula.
3) Determinar el nmero de arreglos mediante la frmula respectiva.
4) 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
SAR
SA
AR
RR

1
A) p q p q
V V V # de arreglos:

V F F n
C=2
F V V
2
F F V C=2 =4

matriz

2 1 2
B) p q r (p q) (r p) # de arreglos
V V V V V V
n
V V F V V V C=2
V F V V V V C = 23 = 8
V F F V V V
F V V V V V
F V F V F F
F F V F F V
F F F F F F

Matriz Principal

C) p p # de arreglos
V F
C = 2n
F V
C = 21 = 2
matriz
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 2
p q [(p q) q] p
F V F
F V F
F V V
V V V

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 2
p q [(p q) q] p

E. L. Bicondicional Contingente.

3. Contradictorios ( ): Son frmulas formalmente ffa

falsas,
al 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
 PRCTICA
01. Seale la matriz principal del siguiente esquema
c) FFVV
molecular:
d) FVFV
[(p q) q] p e) VVVV
a) VVFV
b) VFVV 08. Si p # q = ~ (p q) , halle los valores de:
c) VVVF
d) FFV (p # q) # p
e) VVVV a) FFVF
b) VVFV
02. Qu matriz principal corresponde al siguiente esquema c) VFVF
molecular? d) FVFV
[(p q) ( q r)] (p r) e) FFFF
a) VVVVVVVV b) VVVVVFFV
c) VFFVVFFV d) VVVVVVFF 09. Si p + q = ~ p q , halle la matriz de:
e) VVVFVVVF (p + q) + (p + ~q)
a) FFVF
03. Seale la matriz principal del siguiente esquema b) VVVF
molecular: c) FFFV
[( q r) p] (p q) d) VFFV
a) FFFFVVVV e) FVVF
b) FFFVVVFF
c) FFFFVFVV 10. Sabiendo que:
d) VVVVVVVV p q p ~q y p q ~p ~q
e) VVVVVVVF Seale los valores de:
(p q) (p q)
04. Un esquema molecular es Tautolgico cuando su matriz
ma
atri
atriz
triz
rizz a) VVVV
est constituida:
b) FFVF
a) Slo por valores verdaderos.
b) Slo por valores falsos. c) FFFV
c) Por valores falsos y verdaderos. d)) VFVF
d
d) Slo por valores posibles. e)) VVVF
VVV
e) Por valores necesarios y falsos.
esq
11. Si el esquema es F, seale el valor de cada variable:
05. Si : p q ~ (p q) . ~ (p q) [p (r q)]
Halle los valores de: (p q) p . a) VVV
a) VVVV b) FFF
b) FFFF c) VFV
c) VVFF d) VVF
d) FFVV e) FFV
e) VVVF
12. Si el esquema es F, seale el valor de cada variable:
06. Si el esquema es F, diga el valor de las variables: p, q, r [(p q) (s p)] [(q
/ r) (~ s t)]
y s respectivamente: a) VVVVV
[(p q) (q
b) FFVVF
/ r)] [r (s p)]
c) FFFVF
a) VVVV
d) FFFFF
b) VVFF
e) FFVFF
c) VVVF
d) VFVF
13. Si el esquema es V, diga el valor de las variables:
e) FFFF
[(~ p / q) r] ~ [(r p) s]
a) FVVF
07. Si: b) FFVF
p q = ~ (p q) y p q = ~ (p q) c) FVFV
Seale la matriz de: d) VFVF
[p (q q)] q e) VVFF
a) VFVF
b) VVFF
14. Halle la matriz de: d) VVFF
p ~ q e) VVVV
a) VVVV
21. Si el esquema (p q) (q r) es falso,,
b) FFFF
luego:
c) VFFV
I. (p q) no es falso..
d) FVVF
e) VFVV II. (q s) es verdadera.
III. (q p) es verdadera.
15. Seale el esquema al que corresponde la matriz FVFV. a) Slo I.
a) (p q) q b) I y II.
c) Todas.
b) (q p) ~ q
d) Slo III.
c) (p / q) ~ p e) N. A.
d) (p ~ q) p
e) (p ~ q) q 22. Determinar la T. V. de:
[(p q) ~ q] [(~ q / p) p]
16.Si el esquema no es V, seale el valor de cada variable a) VVVV
(p q) [q (r ~ s)] b) FVVV
a) VFVFV c) VFVF
b) VVFFV d) VVVF
c) VVVFV e) N. A.
d) FVFVF
e) VFVVV 23. De la no verdad de:
[(p q) (r ~ t)]
17. Si el esquema (p q) (s r) es falso, hallar
hallar
llar el
e valor Determinar, respectivamente, los valores de las
de p, q, r y s respectivamente: siguientes frmulas:
a) VFFV ( ) (r p) (~ r ~ t)
b) FVVF ( ) (q r) (r t)
c) VVFV
( ) p (r t)
d) VVVF
e) VFVF a) FFF
b) FVV
18. Si (p q) (s r) es falso, hallar el valor de p, q, r y s, c)) VFF
respectivamente: d) FVF
a) VVVF e) VVF
b) FVFV
c) VVFF 24. Si se sabe que:
d) VFVV p ~ r es F
e) FVVV r q es V
q t es F
19. Sabiendo el valor verdadero de:
Determine los valores de verdad de p, q, r y t.
[q (p ~ r)] ~ (r s) a) VVVV
Entonces sealar el valor de p, q, r y s respectivamente: b) VVFF
a) FVVF c) VFVF
b) VVFV d) FVFF
c) VVFF e) FFFF
d) VVVF
e) FFFF 25. Los valores de verdad de las proposiciones p, q, r y s
son respectivamente V, F, F, V.
20. Si se sabe que: Obtener los valores de verdad de:
* (p ~ r) = F ( ) [(p q) r] s
* (r q) = V ( ) r (s q)
* (q t) = F ( ) (p r) ~ (r ~ s)
Hallar los valores de p, q, r y t respectivamente. a) VFF
a) VFFF b) VVV
b) VVFV c) FFF
c) FFFF d) FVV
e) VVF
26. Dada la proposicin: 33. Cul de las siguientes frmulas tiene como valores:
"Si llueve, el suelo se moja".
VVVF?
Los valores de la matriz principal de su tabla de verdad
son: a) (p q) r
a) FVFV b) (p q) r
b) VFVF
c) (p r) ~ q
c) VVVV
d) VFVV d) (~ p r) p
e) FFVV e) r (q p)

27. Si la proposicin compuesta: 34. Si p = V y q = F, entonces una de las siguientes frmulas

(p q) (r t) es falsa es verdadera:
Indicar las proposiciones que son verdaderas. a) p q
a) p y r b) p q
b) p y q c) ~ p q
c) r y t
d) q y t d) ~ p q
e) p ; r y t e) p ~ q

28. Si la proposicin: 35. En la tabla de verdad del siguiente esquema: ~ p q ,

(~ p q) r , es falsa. el valor de la primera y cuarta fila, respectivamente es:
Determinar, cules de las proposiciones son falsas: a) V y F.
a) p y q b) F y F.
b) p y r c) V y V.
c) p; q y r d) F y V.
d) q y r e) Indeterminado.
e) r y q
36. El valor definido de:
29. Es una proposicin que admite el valor V slo cuando
ua
uand
anndo "Es falso que no ocurra el temblor y haya derrumbes",
las dos proposiciones componentes son verdaderas:
ras
as:
s: es:
a) Conjuncin. a) VVFV
b) Disyuncin. b) V y F
c) Condicional. cc) V F
d) Bicondicional. FFVFF
d ) FFV
d)
e) Negacin. e) SiSiempre falso.

30. Es una proposicin que admite el valor V solo cuando 37. Se tiene que : ~p = F ; q = V y ~r = F.
las dos proposiciones tiene el mismo valor de verdad: Entonces:
a) Conjuncin.
a) (p q) es falso..
b) Disyuncin.
c) Bicondicional. b) p (q ~ r) es verdadero..
d) Condicional. c) (~ p q) es verdadero..
e) Negacin. d) ~ r (p q) es falso..
e) (r ~ q) es falso..
31. Es una proposicin en la cual basta que una de las
proposiciones sea verdadera para que la proposicin
sea verdadera: 38. Si el esquema: (p q) (s r) es falso, hallar el valor
a) Conjuncin. de p , q , r y s, respectivamente:
b) Disyuncin. a) V - F - F - V.
c) Bicondicional. b) F - V - V - F.
d) Condicional. c) V - V - F - V.
e) Negacin. d) V - V - V - F.
e) V - F - V - F.
32. Si : p = V ; q = F y r = V.
39. La frmula (p q) es falsa.
Seala cul de las siguientes frmulas no es verdadera:
Hallar el valor veritativo del siguiente esquema:
a) (p q) r
~ (~ p ~ q)
b) (p q) r
a) Verdadero.
c) (p r) ~ q b) Falso.
d) (~ p r) p c) Indefinido.
e) r (q p) d) Consistente.
e) N.A.
40. Sabiendo el valor verdadero de: 47. Cul es el resultado final de la proposicin?
[q (p ~ r)] ~ (r s) [(p q) (~ r q)] [r ~ p]
Entonces sealar el valor de p , q , r y s respectivamente. a) VVVVVVVV
a) V - F - V - F. b) FFFFFFFF
b) V - V - F - F. c) VFVFVFVF
c) F - V - V - F. d) FVFVFVFV
d) V - F - F - V. e) VVVVFFFF
e) F - F - V - V.
48. Halle el valor final del siguiente esquema:
41. Hallar la tabla de verdad de la siguiente frmula:
(p q) (r ~ p)
~ (p q) (p q)
a) VVVVFFFF
a) VVFF
b) FFFFFFVF
b) FFVV
c) FFFFFFFF
c) VFFV
d) FVVF d) FFFFFFVV
e) VVVF e) VVFFVVFF

42. Si: p = V , q = F y r = V. 49. Defina el valor del siguiente esquema:

Seala cul de las siguientes frmulas es verdadera: [p (p q)] ~ (~ q ~ p)
a) (p q) ~ r a) FVVV
b) FVFF
b) (p q) r
c) VVVV
c) (~ q r) d) VFVF
d) (r q) e) Ninguna anterior.
e) (p r) q
50. Si hallamos la tabla de valores de la frmula:
43. Cul de las siguientes frmulas tiene como
mo
o vvalores (p q) (p r)
"VFVV"? El resultado final es :
a) A B a) VVVVVVVV
b) A B b) FFFFFFFF
c) VVVVFFVV
c) A B d) FFVVVVVV
d) A B e) FVFVFFFF
e) A B
51. D
Determine
Dete
ete el valor final de:
44. Efectuar el siguiente ejercicio: [~ (q p) ~ (~ p r)] ~ (r p)
[(p q) r] ~ p a) VVVVFFFF
a) VFVFVFVF b) VFVFVFVF
b) FVFVVFVV c) FFFFFFFF
c) FFFFFFFF d) FFFFFFVV
d) VVVVVVVV e) VFFFVVVV
e) FFFFVVVV
52. Determinar la T. V., luego de negar el siguiente esquema:
45. El valor final del siguiente esquema: [(p q) ~ q] [(~ q p) p]
[(~ p q) ~ p] (p q) a) VVVV
b) FVVV
se define como:
c) FFFF
a) Tautolgico.
b) Contradictorio. d) VFFV
c) Consistente. e) VFVF
d) Contingente.
e) Inconsistente. 53. Los valores FVVV pertenecen a la frmula:
a) ~ p ~ q
46. Realizar el siguiente ejercicio: b) ~ (p q)
[p (q r)] [(q ~ r) p] c) ~ p ~ q
a) VFVFVFVF d) a y b
b) FFFFVVVV e) b y c
c) VVVVVVVV
d) VVVVFFFF
e) FFFFFFFF
54. La tabla valorativa de (~ p /~ q) es equivalente a la 58. Qu valores pertenecen a:
negacin de: (p ~ q) (q r)
a) p q a) VFVVVVVF
b) p q b) FVFFFFFF
c) VFVVVVVV
c) pq d) VVFVVVVV
d) p q e) VVVFVVFF
e) ~ (p q)
59. Cul es la matriz de:
55. Si un esquema presenta tres variables entonces las [(~ p q) p] ~ (q p)
combinaciones posibles en una TV son: a) VFVF
a) 6 b) VVVF
b) 8 c) VFFF
c) 10 d) VVFF
d) 12 e) FFVV
e) N. A.
60. Determine la matriz de:
56. A qu operador corresponde VFFV?
a) Conjuncin. p q ~ r p
b) Disyuncin inclusiva. a) FFFFVFVF
c) Negacin. b) VVVFVFVF
d) Bicondicional.
c) VVVVFVFV
e) Condicional.
d) VVVVFVFF
57. Hallar el valor final en el enunciado siguiente:
uie
ien
en e) VVVVVFVF
"Si Sebastin no estudia y no ayuda en casa,
n c
cas
entonces juega nintendo o no lo hace".
a) Tautologa.
b) Consistencia.
c) Contingencia.
d) Contradiccin.
e) Inconsistencia.