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:
V F
F V
p ~ p
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:
F F F
F V F
F F V
V V V
q p q p
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:
F F F
V V F
V F V
V V V
q p q p
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:
F F F
V V F
V F V
F V V
q p q p /
su sus us
F
op
VV F
V
F
su sus us
F
oop
VVVVVVVVVVVVV
F
FFF
VVVVV
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:
V F F
V V F
F F V
V V V
q p q p
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:
V F F
F V F
F F V
V V V
q p q p
RESUMEN:
Conjuntiva
Disyuntiva
dbil
Disyuntiva
fuerte
Condicional Bicondicional Negacin
Scholz
/

~
Russell
.

/ ~
p q
p q p q p
/ q p q p q
~p
V V
V F
F V
F F
V
F
F
F
V
V
V
F
F
V
V
F
V
F
V
V
V
F
F
V
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) ) p r ( ) p q (
b) )] q . p ( ~ . . q r [ ~
Desarrollo:
a) ) p r ( ) p q (
Pasos a seguir:
1. Asignar los valores correspondientes a cada variable:

F F F V
) p r ( ) p q (
2. Evaluar las frmulas de acuerdo a las reglas de las funciones veritativas:

) p r ( ) p q (
V F F F
V 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.
/ /
aals lsso
p pp
VVV
FFFF
/ /
aals lssso
pppppp p pppppp
VVVVVVV
F
V
FFFFFFFF
VVVV
b) ~ [r q . . ~ (p . q)]
F V F V
V F
V
V
F
Resultado: F (falso).
2. Si la frmula ) s p ( ) q p ( , 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).
F
) r p ( ) q p (
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.
F F V F F F V
) r p ( ) q p (
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 represen-
tan 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 = 2
n
C = Nmero de lneas o arreglos que tendr las tabla.
2 = Constante numrica
n = Nmero de variables
GRFICO:
Margen
Izquierdo
Variables
de la frmula
Frmula Lgica
Cuerpo
Combinaciones
de V y/o F
(matriz (ces))
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.
loos
asu
F
GGIC ICO
es s, mm
ued n denn
F
loos os
asu
F
G GIC IC CO
es ess, mm m
ued ddd

edenn den enn ennn ennnn

* FUNCIONES VERITATIVAS :
p
V
V
F
F
p
V
V
F
F
p
V
V
F
F
p
V
V
F
F
p
V
V
F
F
p
V
V
F
F
q
V
F
V
F
q
V
F
V
F
q
V
F
V
F
q
V
F
V
F
q
V
F
V
F
q
V
F
V
F
Conjuntivo
Disyuntivo
Inclusivo
Disyuntivo
Exclusivo
Condicional Equivalente Negativo
V V = V F F = F V F = F
V V
F
F F
V V
V
F F
V ser F
F ser V
V
F
F
F
V
V
V
F
F
V
V
F
V
F
V
V
V
F
F
V
F
V
V
F
V
F
p
C = 2
C = 2
C = 2
C = 2
C = 2
C = 4
n
n
1
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) q p
B) ) p r ( ) q p (
C) p
DESARROLLO
A)
V F F
V V F
F F V
V V V
q p q p
V F F
V V F
F F V
V V V
q p q p
1
matriz
# de arreglos:
C = 2
n
C = 2
2
= 4
B)
F F F F F F
V F F V F F
F F V F V F
V V V V V F
V V V F F V
V V V V F V
V V V F V V
V V V V V V
) p r ( ) q p ( r q p
F F F F F F
V F F V F F
F F V F V F
V V V V V F
V V V F F V
V V V V F V
V V V F V V
V V V V V V
) p r ( ) q p ( r q p
2 1 2
Matriz Principal
# de arreglos
C = 2
n
C = 2
3
= 8
C)
V F
F V
p p
V F
F V
p p
matriz
# de arreglos
C = 2
n
C = 2
1
= 2
SARRR SARRR R SA SARRR AR AR ARRRRR ARRRRR R
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:
V V V
V V F
F V F
F V F
p q q p q p ] ) [(
V V V
V V F
F V F
F V F
p q q p q p ] ) [(
3 2 3 1 2
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:
p q] q) [(p q p
3 2 1 2
p q] q) [(p q p
E. L. Bicondicional Contingente.
3. Contradictorios ( ): Son frmulas formalmente falsas, la matriz principal de su tabla de verdad slo
contiene valores falsos.
Ejemplo:
q) p ( q) [(p q p
2 1 2 3
q) p ( q) [(p q p
E. L. Conjuntivo Contradictorio
aal faal f
P R C T I C A
01. Seale la matriz principal del siguiente esquema
molecular:
p q] ) q p [( p q] ) q p [(
a) VVFV
b) VFVV
c) VVVF
d) FFV
e) VVVV
02. Qu matriz principal corresponde al siguiente esquema
molecular?
r) (p r)] q ( q) p [( r) (p r)] q ( q) p [(
a) VVVVVVVV b) VVVVVFFV
c) VFFVVFFV d) VVVVVVFF
e) VVVFVVVF
03. Seale la matriz principal del siguiente esquema
molecular:
q) (p p] r) q [( q) (p p] r) q [(
a) FFFFVVVV
b) FFFVVVFF
c) FFFFVFVV
d) VVVVVVVV
e) 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 : ) q p ( ~ q p .
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 s ( r [ )] r q ( ) q p [(
/

a) VVVV
b) VVFF
c) VVVF
d) VFVF
e) FFFF
07. Si:
) q p ( ~ q p = y ) q p ( ~ q p =
Seale la matriz de:
q )] q q ( p [
a) VFVF
b) VVFF
c) FFVV
d) FVFV
e) VVVV
08. Si q) (p ~ q # p = , halle los valores de:
p # q) # p (
a) FFVF
b) VVFV
c) VFVF
d) FVFV
e) FFFF
09. Si q p ~ q p = + , halle la matriz de:
(p + q) + (p + ~q)
a) FFVF
b) VVVF
c) FFFV
d) VFFV
e) FVVF
10. Sabiendo que:
q ~ p ~ q p y q ~ p q p
Seale los valores de:
(p q) (p q)
a) VVVV
b) FFVF
c) FFFV
d) VFVF
e) VVVF
11. Si el esquema es F, seale el valor de cada variable:
)] q r ( p [ ) q p ( ~
a) VVV
b) FFF
c) VFV
d) VVF
e) FFV
12. Si el esquema es F, seale el valor de cada variable:
)] t s (~ ) r q [( )] p s ( ) q p [( /
a) VVVVV
b) FFVVF
c) FFFVF
d) FFFFF
e) FFVFF
13. Si el esquema es V, diga el valor de las variables:
] s ) p r [( ~ ] r ) q p [(~ /
a) FVVF
b) FFVF
c) FVFV
d) VFVF
e) VVFF
esq
VVV
maatriz riz
d)
e)
esq
VVV
ma maatri atriz triz z
ddddd
e))
)
14. Halle la matriz de:
q ~ p
a) VVVV
b) FFFF
c) VFFV
d) FVVF
e) VFVV
15. Seale el esquema al que corresponde la matriz FVFV.
a) q ) q p (
b) q ~ ) p q (
c) p ~ ) q p ( /
d) p ) q ~ p (
e) q ) q ~ p (
16.Si el esquema no es V, seale el valor de cada variable
[ ] ) s ~ r ( q ) q p (
a) VFVFV
b) VVFFV
c) VVVFV
d) FVFVF
e) VFVVV
17. Si el esquema ) r s ( ) q p ( es falso, hallar el valor
de p, q, r y s respectivamente:
a) VFFV
b) FVVF
c) VVFV
d) VVVF
e) VFVF
18. Si ) r s ( ) q p ( 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:
) s r ( ~ )] r ~ p ( q [
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:
* F ) r ~ p ( =
* V ) q r ( =
* F ) t q ( =
Hallar los valores de p, q, r y t respectivamente.
a) VFFF
b) VVFV
c) FFFF
d) VVFF
e) VVVV
21. Si el esquema ) r q ( ) q p ( es falso, ,
luego:
I. ) q p ( no es falso. .
II. ) s q ( es verdadera.
III. ) p q ( es verdadera.
a) Slo I.
b) I y II.
c) Todas.
d) Slo III.
e) N. A.
22. Determinar la T. V. de:
] p ) p q [(~ ] q ~ ) q p [( /
a) VVVV
b) FVVV
c) VFVF
d) VVVF
e) N. A.
23. De la no verdad de:
)] t ~ r ( ) q p [(
Determi nar, respectivamente, los val ores de l as
siguientes frmulas:
( ) t) ~ r (~ ) p r (
( ) t) (r r) (q
( ) t) (r p
a) FFF
b) FVV
c) VFF
d) FVF
e) VVF
24. Si se sabe que:
r ~ p es F
q r es V
t q 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:
( ) s ] r ) q p [(
( ) ) q s ( r
( ) ) s ~ r ( ~ ) r p (
a) VFF
b) VVV
c) FFF
d) FVV
e) VVF
c))
a)
b)
allar hallar e h ll
c)))
a)
b)
allar ar hallar e ll h ll
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
27. Si la proposicin compuesta:
) t r ( ) q p ( 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:
r ) q p (~ , 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) r ) q p (
b) r ) q p (
c) q ~ r) (p
d) p r) p (~
e) p) (q r
33. Cul de las siguientes frmulas tiene como valores:
VVVF?
a) r ) q p (
b) r ) q p (
c) q ~ r) (p
d) p r) p (~
e) p) (q r
34. Si p = V y q = F, entonces una de las siguientes frmulas
es verdadera:
a) q p
b) q p
c)
q p q p
~
d) q p ~
e) q ~ p
35. En la tabla de verdad del siguiente esquema: q p ~ ,
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) ) q p ( es falso. .
b) ) r ~ q ( p es verdadero. .
c) ) q p (~ es verdadero. .
d) ) q p ( r ~ es falso. .
e) ) q ~ r ( es falso. .
38. Si el esquema: ) r s ( ) q p ( 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 ) q p ( es falsa.
Hallar el valor veritativo del siguiente esquema:
) q ~ p (~ ~
a) Verdadero.
b) Falso.
c) Indefinido.
d) Consistente.
e) N.A.
FFV
e) Si
uand ndo
ras s:
c
d) FFV
e) Si
ua an uand n
ras
ndo
as::::
ccc
dd)) d) dd)))
40. Sabiendo el valor verdadero de:
) s r ( ~ )] r ~ p ( q [
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:
) q p ( ) q p ( ~
a) VVFF
b) FFVV
c) VFFV
d) FVVF
e) VVVF
42. Si: p = V , q = F y r = V.
Seala cul de las siguientes frmulas es verdadera:
a) r ~ ) q p (
b) r ) q p (
c)
) r q (~
d) ) q r (
e) q ) r p (
43. Cul de las siguientes frmulas tiene como valores
"VFVV"?
a)
B A
b)
B A
c)
B A
d)
B A
e)
B A
44. Efectuar el siguiente ejercicio:
p ~ ] r ) q p [(
a) VFVFVFVF
b) FVFVVFVV
c) FFFFFFFF
d) VVVVVVVV
e) FFFFVVVV
45. El valor final del siguiente esquema:
) q p ( ] p ~ ) q p [(~
se define como:
a) Tautolgico.
b) Contradictorio.
c) Consistente.
d) Contingente.
e) Inconsistente.
46. Realizar el siguiente ejercicio:
] p ) r ~ q [( )] r q ( p [
a) VFVFVFVF
b) FFFFVVVV
c) VVVVVVVV
d) VVVVFFFF
e) FFFFFFFF
47. Cul es el resultado final de la proposicin?
] p ~ r [ )] q r (~ ) q p [(
a) VVVVVVVV
b) FFFFFFFF
c) VFVFVFVF
d) FVFVFVFV
e) VVVVFFFF
48. Halle el valor final del siguiente esquema:
) p ~ r ( ) q p (
a) VVVVFFFF
b) FFFFFFVF
c) FFFFFFFF
d) FFFFFFVV
e) VVFFVVFF
49. Defina el valor del siguiente esquema:
) p ~ q (~ ~ )] q p ( p [
a) FVVV
b) FVFF
c) VVVV
d) VFVF
e) Ninguna anterior.
50. Si hallamos la tabla de valores de la frmula:
) r p ( ) q p (
El resultado final es :
a) VVVVVVVV
b) FFFFFFFF
c) VVVVFFVV
d) FFVVVVVV
e) FVFVFFFF
51. Determine el valor final de:
) p r ( ~ )] r p (~ ~ ) p q ( [~
a) VVVVFFFF
b) VFVFVFVF
c) FFFFFFFF
d) FFFFFFVV
e) VFFFVVVV
52. Determinar la T. V., luego de negar el siguiente esquema:
p] p) q [(~ ] q ~ ) q p [(
a) VVVV
b) FVVV
c) FFFF
d) VFFV
e) VFVF
53. Los valores FVVV pertenecen a la frmula:
a) q ~ p ~
b) ) q p ( ~
c) q ~ p ~
d) a y b
e) b y c
Dete
d)
e)
mo o v
DDete
d)
e)
mo o v
54. La tabla valorativa de ) q ~ p (~ /
es equivalente a la
negacin de:
a) q p
b) q p
c) q p
d) q p
e) ) q p ( ~
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 qu operador corresponde VFFV?
a) Conjuncin.
b) Disyuncin inclusiva.
c) Negacin.
d) Bicondicional.
e) Condicional.
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.
58. Qu valores pertenecen a:
) r q ( ) q ~ p (
a) VFVVVVVF
b) FVFFFFFF
c) VFVVVVVV
d) VVFVVVVV
e) VVVFVVFF
59. Cul es la matriz de:
) p q ( ~ ] p ) q p [(~
a) VFVF
b) VVVF
c) VFFF
d) VVFF
e) FFVV
60. Determine la matriz de:
p r ~ q p
a) FFFFVFVF
b) VVVFVFVF
c) VVVVFVFV
d) VVVVFVFF
e) VVVVVFVF uie en
n cas en
uie ien
en cas en cas n c en