TRILCE

33
Captulo
FUNCIONES VERITATIVAS
TABLAS DE VERDAD
4
I. FUNCIONES VERITATIVAS
1. DEFINI CI N: Son interpretaciones sem nticas de las posibilidades de verdad o falsedad de las proposiciones
m oleculares en base a sus conectivas o el m odificador.
Son las siguientes:
A) Negacin: Lgicam ente se rige por la siguiente regla: "La negacin de una proposicin verdadera es falsa.
La negacin de una proposicin falsa es verdadera".
Esquem ticam ente, 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".
Esquem ticam ente, 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".
Esquem ticam ente, se tiene:
F F F
V V F
V F V
V V V
q p q p v
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".
Esquem ticam ente, se representa:
F F F
V V F
V F V
F V V
q p q p /
Lgica
34
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 esquem a:
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".
Esquem ticam ente, se tiene:
V F F
F V F
F F V
V V V
q p q p
RESUMEN:


Conj untiva
Disyuntiva
dbi l
Disyuntiva
fuerte
Condi ci onal Bi condicional Negaci n
Scholz . v
/ ~
R ussell
.
v
/ ~
p q
p . q pv 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 frm ulas:
a) ) p r ( ) p q ( v
b) )] q . p ( ~ . . q r [ ~ v
Desarrollo:
a) ) p r ( ) p q ( v
Pasos a seguir:
1. Asignar los valores correspondientes a cada variable:

F F F V
) p r ( ) p q ( v
2. Evaluar las frm ulas 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 (m ayor jerarqua).
Resultado = V (verdadero).
Nota: Para resolver el ejercicio siguiente procedem os en form a directa, porque ya conocem os los pasos que se
siguen.
TRILCE
35
b) ~ [r q . . ~ (p . q)]
F V F V
V F
V
V
F
Resultado: F (falso).
2. Si la frm ula ) s p ( ) q p ( v . , es falsa, halle los valores de p, q y r, respectivam ente:
Desarrollo:
Pasos a seguir:
1. El valor de verdad de la frm ula se ubica en el operador principal (m ayor jerarqua).
F
) r p ( ) q p ( v .
2. Se procede a dar el valor correspondiente a cada frm ula o variable de acuerdo al valor dado del operador
principal, que cum pla con las reglas de las funciones veritativas.
F F V F F F V
) r p ( ) q p ( v .
3. Luego obtenem os el valor de cada variable.
p = V q = F r = F
Resultado: VFF.
II. TABLAS DE VERDAD Y ESQUEMAS LGICOS
1. TABLAS DE VERDAD
Llam adas tam bin de valores, tablas veritacionales, m todo de las m atrices. Son grficos en los que se represen-
tan todos los valores de verdad o falsedad que pueden asum ir las distintas interpretaciones de un esquem a o
frm ula lgica.
W ittgenstein (1889 1951), filsofo viens, padre de la Filosofa N eopositivista y Analtica, es el que propone las
tablas de verdad.
FRMULA: C = 2
n
C = N m ero de lneas o arreglos que tendr las tabla.
2 = C onstante num rica
n = N m ero de variables
GRFICO:
M argen
Izquierdo
Variables
de la frm ula
Frm ula Lgica
C uerpo
C om binaciones
de V y/o F
(m atriz (ces))
NOTA: Para hallar los valores de Verdad o Falsedad de la m atriz principal de una frm ula lgica en la Tabla de Verdad,
es necesario em plear las funciones veritativas.
Lgica
36
* 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
C onjuntivo
D isyuntivo
Inclusivo
D isyuntivo
Exclusivo
C ondicionalEquivalente N egativo
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
M atriz principal o cifra tabular
* PASOS A SEGUIR PARA EVALUAR LAS FRMULAS LGICAS:
1) U bicar la frm ula en el lugar correspondiente de la Tabla.
2) Jerarquizar la frm ula.
3) D eterm inar el nm ero de arreglos m ediante la frm ula respectiva.
4) Evaluar la frm ula de acuerdo a las reglas de las funciones veritativas, procediendo de la m atriz de m enor
jerarqua, hasta llegar a la m atriz de m ayor jerarqua.
EJ EMPLOS:
D eterm inar la m atriz principal de las siguientes frm ulas:
A ) q p
B ) ) p r ( ) q p ( v . v
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
m atriz
# 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 v . v
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 v . v
2 1 2
M atriz Principal
# de arreglos
C = 2
n

C = 2
3
= 8
C )
V F
F V
p p
V F
F V
p p
m atriz
# de arreglos
C = 2
n
C = 2
1
= 2
TRILCE
37
2. ESQUEMAS LGICOS (E. L.):
Son frm ulas lgicas (proposiciones form alizadas) las cuales pueden asum ir funciones veritativas determ inadas.
Pueden ser:
1. Tautolgicos (T): Son aquellos cuya m atriz principal contiene nicam ente valores de verdad. Se le llam a
tam bin "Principios Lgicos".
Ejem plo:
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. C ondicional Tautolgico
2. Consistentes (Q): Llam ados tam bin esquem as contingentes. En estas frm ulas lgicas, la m atriz principal de
su tabla veritativa presentan por lo m enos un valor de verdad y uno de falsedad.
Ejem plo:
p q] q) [(p q p .
3 2 1 2
p q] q) [(p q p
E. L. Bicondicional C ontingente.
3. Contradictorios ( ): Son frm ulas form alm ente falsas, la m atriz principal de su tabla de verdad slo
contiene valores falsos.
Ejem plo:
q) p ( q) [(p q p v . .
2 1 2 3
q) p ( q) [(p q p
E. L. C onjuntivo C ontradictorio
Lgica
38
P R C T I C A
01. Seale la m atriz principal del siguiente esquem a
m olecular:
p q] ) q p [( . p q] ) q p [(
a) V V FV
b) V FV V
c) V V V F
d) FFV
e) V V V V
02. Q u m atriz principal corresponde al siguiente esquem a
m olecular?
r) (p r)] q ( q) p [( . r) (p r)] q ( q) p [(
a) VVV VVV VV b) V VV VV FFV
c) VFFVV FFV d) V VVV VV FF
e) VVV FVV VF
03. Seale la m atriz principal del siguiente esquem a
m olecular:
q) (p p] r) q [( v . q) (p p] r) q [(
a) FFFFV V V V
b) FFFV V V FF
c) FFFFV FV V
d) V V V V V V V V
e) V V V V V V V F
04. U n esquem a m olecular es Tautolgico cuando su m atriz
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 .
H alle los valores de: p ) q p ( .
a) V V V V
b) FFFF
c) V V FF
d) FFV V
e) V V V F
06. Si el esquem a es F, diga el valor de las variables: p, q, r
y s respectivam ente:
)] p s ( r [ )] r q ( ) q p [( . v / .
a) V V V V
b) V V FF
c) V V V F
d) V FV F
e) FFFF
07. Si:
) q p ( ~ q p . = y ) q p ( ~ q p v = +
Seale la m atriz de:
q )] q q ( p [ +
a) V FV F
b) V V FF
c) FFV V
d) FV FV
e) V V V V
08. Si q) (p ~ q # p = , halle los valores de:
p # q) # p (
a) FFV F
b) V V FV
c) V FV F
d) FV FV
e) FFFF
09. Si q p ~ q p . = + , halle la m atriz de:
(p + q) + (p + ~ q)
a) FFV F
b) V V V F
c) FFFV
d) V FFV
e) FV V F
10. Sabiendo que:
q ~ p ~ q p y q ~ p q p
Seale los valores de:
(p q) (p q)
a) V V V V
b) FFV F
c) FFFV
d) V FV F
e) V V V F
11. Si el esquem a es F, seale el valor de cada variable:
)] q r ( p [ ) q p ( ~ v
a) V V V
b) FFF
c) V FV
d) V V F
e) FFV
12. Si el esquem a es F, seale el valor de cada variable:
)] t s (~ ) r q [( )] p s ( ) q p [( . / v v
a) V V V V V
b) FFV V F
c) FFFV F
d) FFFFF
e) FFV FF
13. Si el esquem a es V, diga el valor de las variables:
] s ) p r [( ~ ] r ) q p [(~ v . . /
a) FV V F
b) FFV F
c) FV FV
d) V FV F
e) V V FF
TRILCE
39
14. H alle la m atriz de:
q ~ p
a) V V V V
b) FFFF
c) V FFV
d) FV V F
e) V FV V
15. Seale el esquem a al que corresponde la m atriz FVFV.
a) q ) q p ( .
b) q ~ ) p q ( .
c) p ~ ) q p ( v /
d) p ) q ~ p (
e) q ) q ~ p ( v .
16.Si el esquem a no es V, seale el valor de cada variable
| | ) s ~ r ( q ) q p ( . v
a) V FV FV
b) V V FFV
c) V V V FV
d) FV FV F
e) V FV V V
17. Si el esquem a ) r s ( ) q p ( . es falso, hallar el valor
de p, q, r y s respectivam ente:
a) V FFV
b) FV V F
c) V V FV
d) V V V F
e) V FV F
18. Si ) r s ( ) q p ( v . es falso, hallar el valor de p, q, r y s,
respectivam ente:
a) V V V F
b) FV FV
c) V V FF
d) V FV V
e) FV V V
19. Sabiendo el valor verdadero de:
) s r ( ~ )] r ~ p ( q [ . .
Entonces sealar el valor de p, q, r y s respectivam ente:
a) FV V F
b) V V FV
c) V V FF
d) V V V F
e) FFFF
20. Si se sabe que:
* F ) r ~ p ( =
* V ) q r ( =
* F ) t q ( = v
H allar los valores de p, q, r y t respectivam ente.
a) V FFF
b) V V FV
c) FFFF
d) V V FF
e) V V V V
21. Si el esquem a ) 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. D eterm inar la T. V. de:
] p ) p q [(~ ] q ~ ) q p [( / v
a) V V V V
b) FV V V
c) V FV F
d) V V V F
e) N . A.
23. D e la no verdad de:
)] t ~ r ( ) q p [( . v
D eterm inar, respectivam ente, los valores de las
siguientes frm ulas:
( ) t) ~ r (~ ) p r ( A
( ) t) (r r) (q . .
( ) t) (r p
a) FFF
b) FV V
c) V FF
d) FV F
e) V V F
24. Si se sabe que:
r ~ p . es F
q r es V
t q v es F
D eterm ine los valores de verdad de p, q, r y t.
a) V V V V
b) V V FF
c) V FV F
d) FV FF
e) FFFF
25. Los valores de verdad de las proposiciones p, q, r y s
son respectivam ente V, F, F, V.
O btener los valores de verdad de:
( ) s ] r ) q p [( v v
( ) ) q s ( r .
( ) ) s ~ r ( ~ ) r p ( . . v
a) V FF
b) V V V
c) FFF
d) FV V
e) V V F
Lgica
40
26. D ada la proposicin:
"Si llueve, el suelo se m oja".
Los valores de la m atriz principal de su tabla de verdad
son:
a) FV FV
b) V FV F
c) V V V V
d) V FV V
e) FFV V
27. Si la proposicin com puesta:
) t r ( ) q p ( v . 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.
D eterm inar, 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 adm ite el valor V slo cuando
las dos proposiciones com ponentes son verdaderas:
a) C onjuncin.
b) D isyuncin.
c) C ondicional.
d) B icondicional.
e) N egacin.
30. Es una proposicin que adm ite el valor V solo cuando
las dos proposiciones tiene el m ism o valor de verdad:
a) C onjuncin.
b) D isyuncin.
c) B icondicional.
d) C ondicional.
e) N egacin.
31. Es una proposicin en la cual basta que una de las
proposiciones sea verdadera para que la proposicin
sea verdadera:
a) C onjuncin.
b) D isyuncin.
c) B icondicional.
d) C ondicional.
e) N egacin.
32. Si : p = V ; q = F y r = V.
Seala cul de las siguientes frm ulas no es verdadera:
a) r ) q p ( v .
b) r ) q p ( A
c) q ~ r) (p
d) p r) p (~ v .
e) p) (q r .
33. C ul de las siguientes frm ulas tiene com o valores:
V V V F?
a) r ) q p ( v .
b) r ) q p ( A
c) q ~ r) (p
d) p r) p (~ v .
e) p) (q r .
34. Si p = V y q = F, entonces una de las siguientes frm ulas
es verdadera:
a) q p
b) q p .
c) q p q p
~
d) q p ~ v
e) q ~ p
35. En la tabla de verdad del siguiente esquem a: q p ~ ,
el valor de la prim era y cuarta fila, respectivam ente es:
a) V y F.
b) F y F.
c) V y V.
d) F y V.
e) Indeterm inado.
36. El valor definido de:
"Es falso que no ocurra el tem blor y haya derrum bes",
es:
a) V V FV
b) V y F
c) V F
d) FFV FF
e) Siem pre 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 ~ . v es falso. .
e) ) q ~ r ( es falso. .
38. Si el esquem a: ) r s ( ) q p ( . es falso, hallar el valor
de p , q , r y s, respectivam ente:
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 frm ula ) q p ( v es falsa.
H allar el valor veritativo del siguiente esquem a:
) q ~ p (~ ~
a) Verdadero.
b) Falso.
c) Indefinido.
d) C onsistente.
e) N .A.
TRILCE
41
40. Sabiendo el valor verdadero de:
) s r ( ~ )] r ~ p ( q [ . .
Entonces sealar el valor de p , q , r y s respectivam ente.
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. H allar la tabla de verdad de la siguiente frm ula:
) q p ( ) q p ( ~ v .
a) V V FF
b) FFV V
c) V FFV
d) FV V F
e) V V V F
42. Si: p = V , q = F y r = V.
Seala cul de las siguientes frm ulas es verdadera:
a) r ~ ) q p ( v .
b) r ) q p ( =
c) ) r q (~ .
d) ) q r (
e) q ) r p (
43. C ul de las siguientes frm ulas tiene com o valores
"V FV V "?
a)
B A .
b)
B A v
c)
B A
d)
B A
e)
B A =
44. Efectuar el siguiente ejercicio:
p ~ ] r ) q p [( v
a) V FV FV FV F
b) FV FV V FV V
c) FFFFFFFF
d) V V V V V V V V
e) FFFFV V V V
45. El valor final del siguiente esquem a:
) q p ( ] p ~ ) q p [(~ v v . v
se define com o:
a) Tautolgico.
b) C ontradictorio.
c) C onsistente.
d) C ontingente.
e) Inconsistente.
46. Realizar el siguiente ejercicio:
] p ) r ~ q [( )] r q ( p [ . .
a) V FV FV FV F
b) FFFFV V V V
c) V V V V V V V V
d) V V V V FFFF
e) FFFFFFFF
47. C ul es el resultado final de la proposicin?
] p ~ r [ )] q r (~ ) q p [( .
a) V V V V V V V V
b) FFFFFFFF
c) V FV FV FV F
d) FV FV FV FV
e) V V V V FFFF
48. H alle el valor final del siguiente esquem a:
) p ~ r ( ) q p ( . .
a) V V V V FFFF
b) FFFFFFV F
c) FFFFFFFF
d) FFFFFFV V
e) V V FFV V FF
49. D efina el valor del siguiente esquem a:
) p ~ q (~ ~ )] q p ( p [
a) FV V V
b) FV FF
c) V V V V
d) V FV F
e) N inguna anterior.
50. Si hallam os la tabla de valores de la frm ula:
) r p ( ) q p ( v .
El resultado final es :
a) V V V V V V V V
b) FFFFFFFF
c) V V V V FFV V
d) FFV V V V V V
e) FV FV FFFF
51. D eterm ine el valor final de:
) p r ( ~ )] r p (~ ~ ) p q ( [~ . v .
a) V V V V FFFF
b) V FV FV FV F
c) FFFFFFFF
d) FFFFFFV V
e) V FFFV V V V
52. D eterm inar la T. V., luego de negar el siguiente esquem a:
p] p) q [(~ ] q ~ ) q p [( . A v
a) V V V V
b) FV V V
c) FFFF
d) V FFV
e) V FV F
53. Los valores FVVV pertenecen a la frm ula:
a) q ~ p ~ .
b) ) q p ( ~ .
c) q ~ p ~ v
d) a y b
e) b y c
Lgica
42
54. La tabla valorativa de ) q ~ p (~ /
es equivalente a la
negacin de:
a) q p .
b) q p v
c) q p
d) q p
e) ) q p ( ~
55. Si un esquem a presenta tres variables entonces las
com binaciones posibles en una TV son:
a) 6
b) 8
c) 10
d) 12
e) N . A.
56. A qu operador corresponde VFFV?
a) C onjuncin.
b) D isyuncin inclusiva.
c) N egacin.
d) B icondicional.
e) C ondicional.
57. H allar 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) C onsistencia.
c) C ontingencia.
d) C ontradiccin.
e) Inconsistencia.
58. Q u valores pertenecen a:
) r q ( ) q ~ p ( v
a) V FV V V V V F
b) FV FFFFFF
c) V FV V V V V V
d) V V FV V V V V
e) V V V FV V FF
59. C ul es la m atriz de:
) p q ( ~ ] p ) q p [(~ .
a) V FV F
b) V V V F
c) V FFF
d) V V FF
e) FFV V
60. D eterm ine la m atriz de:
p r ~ q p v
a) FFFFV FV F
b) V V V FV FV F
c) V V V V FV FV
d) V V V V FV FF
e) V V V V V FV F