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
componentes son verdaderas, siendo falsa en los
sus
us proposiciones
op
o
p
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

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)
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:
p) (r p)

(q

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.

~ [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

GIC
G
GIC
ICO
CO
1. TABLAS DE VERDAD
Llamadas tambin de valores, tablas veritacionales,
de las matrices. Son grficos en los que se represeness, mtodo
m
m
tan todos los valores de verdad o falsedad que pueden
las distintas interpretaciones de un esquema o
ued
eden
den
den
n asumir
asu
frmula lgica.
Wittgenstein (1889 1951), filsofo viens, padre de la F
Filosofa
Neopositivista y Analtica, es el que propone las
lo
os
os
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.

FUNCIONES VERITATIVAS :

Conjuntivo

Disyuntivo
Inclusivo

VV= V

FF= F

Disyuntivo
Condicional Equivalente Negativo
Exclusivo
VV

VV
VF= F

FF

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

V
F
V
F

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
SAR
SA
AR
RR
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

C = 21 = 2

# de arreglos
n

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]

2
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
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

ma
atri
atriz
triz
rizz
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

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
d
e)) VVVF
VVV

(p

q)

~p ~q

esq
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

14.

Halle la matriz de:

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

VVVV
FFFF
VFFV
FVVF
VFVV

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
hallar
llar el
e 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:

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.
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

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

ua
uand
an
ndo
las dos proposiciones componentes son verdaderas:
ras
as:
s:
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)

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
cc) V F
FFVFF
d ) FFV
d)
Siempre falso.
e) Si
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.

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

mo
o vvalores
"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. D
Determine
el valor final de:
Dete
ete

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

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:

uie
ien
en
"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.

e) VVVVVFVF

En este apartado, uniremos los conceptos de proposicin y conectivos lgicos con

sus homnimos formales.
Definicin 1.7
Formalizacin proposicional
Es el proceso mediante el cual se identifican proposiciones simples y estructuras
lgicas proposicionales, asignndoles un smbolo del lenguaje formal de la lgica
proposicional y organizndolos con los signos auxiliares de dicho lenguaje
La asignacin de la que habla la definicin anterior es la siguiente:
La relacin entre conectivos lgicos y conectores es la siguiente:

Nombre

Forma

Smbolos

Negador

no

Conjuntor

... y ...

Disyuntor
Incluyente

Disyuntor
Excluyente

o o

Implicador

si entonces

Replicador

porque

Biimplicador

si y slo si

&

Tabla 1.11. Conectivos lgicos y su significado semntico

Si al formalizar no queda claro cul es el conectivo dominante, se debe utilizar la

siguiente convencin:
,

Mayor jerarqua

Menor jerarqua

Figura 1.5. Jerarqua de conectivos lgicos

Veamos un ejemplo de formalizacin

1.6.1
Mediante tablas de verdad
Consiste en evaluar el valor de verdad del esquema a partir de los valores de
verdad de sus frmulas simples. Aunque es un mtodo sencillo y mecnico, como
establece el teorema 1.1, tiene la desventaja de aumentar exponencialmente su
nmero de columnas a medida que crece el nmero de frmulas simples.
Definicin 1.10 Matriz principal de un esquema molecular
Es la matriz formada por una sola columna que indica los valores de verdad del
esquema. Su ubicacin en la matriz de valores de verdad es debajo del conectivo
dominante.
Ejemplo 1.20
Hallar la matriz principal del siguiente esquema: p q p q
Solucin:

1
1
0
0

1
0
1
0

0
0
0
0

1
0
0
0

0
0
1
1

1
0
1
1

1
0
1
0

1
1
1
1

1
2

2
3

El orden en que se llenan las columnas de la tabla de verdad es el siguiente

(desde el conector ms interno hasta el ms externo):

Negacin de p

Simultneamente, la conjuncin entre p y q junto con la

disyuncin entre p y q

La implicacin entre las dos columnas obtenidas en

La negacin de la columna obtenida en

En este caso, el esquema es negativo, por lo que la matriz principal del esquema
es la matriz columna obtenida en
4
Observemos que para rellenar preliminarmente las otras columnas, hacemos uso
de las tablas de verdad de los conectivos lgicos antes expuestos.
Segn los valores de verdad que tenga su matriz principal, los esquemas se
clasifican como sigue:

Definicin 1.11

Esquema tautolgico, contradictorio, contingente y

consistente
Un esquema molecular es tautolgico si su matriz principal slo contiene
valores 1. Se llama contradictorio si slo presenta 0s y se llama contingente si
presenta 0s y 1s. Si presenta al menos un 1 en su matriz principal, el esquema se
llama consistente. Los esquemas tautolgicos y contingentes son consistentes.
Ejemplo 1.21
(a)

p q p q
p

1
1
0
0

1
0
1
0

0
0
1
1

0
0
0
1

0
1
0
1

0
1
1
0

1
0
0
0

1
2

2
3

Los nmeros indican el orden en que se rellenan las columnas de la matriz de

valores de la tabla de verdad.
El esquema es contingente, luego es consistente.
(b)

p q q p
p

1
1
0
0

1
0
1
0

1
0
1
1

0
0
0
1

0
1
0
1

1
1
1
1

0
0
1
1

1
2

2
3
4
El esquema es tautolgico, luego es consistente.

(c) p q p q q

UNIVERSIDAD CSAR VALLEJO - PIURA

0
1

0
0

0
0

1
1

1
1

1
1

1
1

1
1

1
2

0
1

0
0

0
1

2
3
4

5
El esquema es contradictorio.

1.6.2
Mediante el mtodo abreviado
Este mtodo se basa en la definicin de los conectivos mediante su tabla de
verdad. Usualmente se usa para evaluar esquemas implicativos, as que funciona
como un mtodo para determinar la validez de un argumento. Recordemos que
nuestro objetivo es determinar la validez o invalidez de argumentos deductivos.
Debido a las limitaciones de este texto, no entraremos en detalles en la inferencia
lgica, pero lo que s ser posible realizar con lo desarrollado hasta ahora es esto:
una vez formalizado el argumento, procederemos a determinar su validez mediante
la evaluacin de su matriz de verdad. Si es una tautologa, el argumento ser vlido.
Basta que aparezca un 0 y el argumento ser invlido. Te dars cuenta que aunque
siempre va a funcionar, no siempre es lo ms prctico, pues si el nmero de
frmulas smmples es elevado, el nmero de filas an ms. En estos casos lo ms
prctico es utilizar el mtodo abreviado. Aunque casi siempre se emplean con
implicaciones, esto no es una restriccin. Si al encontrar los valores de verdad
individuales de las variables no obtenemos contradicciones, el esquema es vlido,
de lo contrario ser invlido. Los siguientes ejemplos aclaran esto.
Ejemplo 1.22
(a) El siguiente esquema p q q r p r .es falso, hallar el valor
de verdad de p r q

Se tiene que: p q q r p r F .

F
V F
V

Analiza por qu se colocan de esa manera los valores V y F . Todo est

basado en sus tablas de verdad. Observamos que no hay contradiccin en
los valores de verdad encontrados para p, q y r . Si este esquema fuera la
formalizacin de un argumento, dicho argumento sera vlido. Adems, nos
ahorramos una matriz de 8 filas.

Luego p r q F F V V .
(b) Si

p F, q V, r F ,

hallar

el

valor

de

verdad

del

esquema

p q r p r
Slo basta evaluar los valores de verdad y no construir toda la tabla y ubicar
la fila donde las variables tengan esos valores. Entonces tendremos lo

siguiente: p q r p r F V F V F F V V

(c) Si la proposicin p s q r es verdadera. Hallar el valor de

verdad de:

q r p s y q r p s p

Se tiene que: p s q r V .

V
V

Entonces q r p s q r p s F F V
Adems

q r p s p q r p s p
q r p s p F p s p V

19/01/2012

TALLER DE EJERCICIOS
Subttulo

1.

Sean las proposiciones

p(x) 3 x es un nmero par.

q(y) y es un nmero primo.
r(z) z es divisor de 60.
Indicar los valores de verdad de las siguientes proposiciones:
(a) p(1) r(7)
(b) q(11) p(1) r(2)
2. Si la proposicin

p q r s

siguientes proposiciones:
(a) p q r
(b) s p
(c) q r r

es falsa. Indicar el valor de verdad de las

3. Al resolver la tabla de verdad de: p q p q , indicar el resultado de la

matriz principal.
4. De: p q p r q r , se afirma que es Tautolgico, contradictorio,
contingente.
5. Si la proposicin compuesta: p r r q es verdadera, hallar el valor
de verdad de r , p y q respectivamente.
6. Si la proposicin p q q r es verdadera. Cules de las siguientes
afirmaciones son ciertas?
(a) p q es verdadera.
(b) r q es falsa
(c) p r es falsa.
7. Si p q p p r s q es verdadera. Cules son los valores de p
, q , r y s respectivamente?
8. Si p q es falsa,

m n es falsa y r x x es falsa. Determinar los

valores de verdad de:

(a) p q
(b) m n
(c) r p q
9. El siguiente esquema p p p q tiene como caractersticas:
(a) No es tautolgico.
(b) No es contradictorio.
(c) Su matriz principal es 0111.
(d) Su matriz principal no es 0011.
10. Si
x : nmero de valores verdaderos en la matriz principal de A.
y : nmero de valores falsos en la matriz principal de A.
Siendo A: p q q p
Hallar

x y. x 2 y 2 x 3

11. Si p q es falso y q r es verdadera, se puede afirmar que:

(a) p q r es verdadero.

q r p q es falso.
(c) r q p es falso
(b)

12. Del siguiente diagrama:

B
x

p : x A C
q:

y A B C

r : z A B C

Hallar los valores de verdad de:

(a) p q r
(b) p q r
(c) p q p r
13. Evaluar el siguiente esquema molecular y diga cuntos 1s tiene su matriz principal:
p q r r q p
14. Sean p,q,r y s proposiciones tales que: p q es verdadera, q es falsa.
Encontrar el valor de verdad de las siguientes proposiciones:
(a) p q r s
(b) q p r r s
(c) p q r s r s s
15. Si la proposicin:

p q r s es

proposiciones p,q,r y s es:

falsa, el valor de verdad de las

1. Dadas las proposiciones: r,s,w y la proposicin compuesta: p q t q que

es verdadera. Cules de las siguientes proposiciones son verdaderas?
t s w q w
(a)

2.

(b)

p t s q w s

(c)

t q r p q

De la falsedad de: p q r s , hallar los valores veritativos de p,q,r y s .

3. Si p q F , q t F . Cules de las siguientes proposiciones compuestas tienen

el valor verdadero?
(a) p t s
(b) p q p p q t
(c) p q t p q q t
4. Sean las proposiciones:
p : x2 1 es un trmino algebraico

q : El grado de x2 1 es dos
Determinar el valor veritativo:
(a) p q q p
(b) p q q p
5.

Sabiendo que p es verdadero y la proposicin p s q r p r es

verdadera, hallar los valores de s y p s r .

6.

Si el siguiente esquema es falso q p s r p r , hallar los valores de

p,q y r respectivamente.

7. Dados los siguientes esquemas verdaderos: p q p r , p q

Calcule los valores veritativos de p,q y r
8.

Sabiendo que:

p q F

q r F

Da el valor de verdad de:

(a) p r q r q

9.

(b)

p q r s

(c)

p r q s q

Si la expresin: p q r q es falsa, las siguientes proposiciones son:

(a)

p s p q

(b)

r t p q

(c)

r p q p

10. De la falsedad de: p q r s , halle el valor de los siguientes esquemas:

(a)

q s p

(b)

r s p q

11. Si la expresin: p q r p es falsa, las siguientes proposiciones son:

(a)

p s p q

(b)

r t p q

12. Un esquema molecular es tautologa cuando su matriz est constituida:

a) Slo por valores falsos.
b) Slo por valores posibles.
c) Slo por valores verdaderos.
d) Por valores falsos y verdaderos.
e) Por valores necesarios y falsos.
13. Si la proposicin: p q q p q r es falsa. Determine el valor
de verdad de las siguientes proposiciones:
(a) p q q p q r
(b) p q r q
(c) p r q r
14. En relacin a la proposicin compuesta: S:

p q r p q r , se

puede afirmar que:

S es una contradiccin.
S es una contingencia.
S es una tautologa.
15. Deducir

el

valor

de

verdad

de

p, q y

en

el

siguiente

p q r q si es falso.
16. Sean p,q y r proposiciones tal que: r q r p sea falsa.
Hallar los valores de:
(a) p q r q
(b) q p r p r s
2
2
17. Si p x : x 16 0 ; q x : x 12 0 ; r x x 9

Hallar el valor de verdad de:

(a) p 2 q 2 r 4
(b) p 4 r 5 q 4
(c)

p(1) p(3) r(2) p(3) p(2) q(2)

esquema:

3
18. Si p x : x 27 ;

q x : x 2 9 ; r x : x 10

Hallar el valor de verdad de:

(a) p 1 q 12 r 3 r 3

(b) p 0 q 1 r 5 r 6 r 0
(c)

p(3) p(2) r 2 q 3 q(3) p(3)

19. Admitiendo la falsedad de: p q r s t u . Hallar el valor de verdad de:

(a) p s q t u
(b) p q q s r u
(c)

(p q) (r w) ( q u ) p q q s

20. Si p 0 , q 1 , r V
Evaluar: r s q p s p

Realice la tabla de verdad de las siguientes expresiones, indicando

si es una contradiccin, una tautologa o una proposicin emprica.
1.

pq

2.

(p q) r

3.

(p q) (p q)

4.

(p q) (p q)

5.

pqr

6.

(p q) (p q)

7.

(p q) (p q)

8.

pqr

9.

(p q) (p q)

10.

p q r

11.

pqr

12.

p q r

13.

pp

14.

(p q) (p q)

15.

p q

16.

p q

17.

pqvr

18.

[ (p q) v (p q)] [ (p q) v p ]

19.

(p q) ( p q)

20.

(p q) v (p q)

21.

(p q) (p q)

22.

q p

23.

(p q r) (q v r) v r

24.

(q r) (q v r) v r

25.

(p q ) r (p v r) v r

26.

(p q) (q r) (p r)

27.

p (q r) (q v r)

28.

[ (p v q) (p q)] [(p q) v p] v p

29.

[ (p v q) v (p q)] [(p q) v p]

30.

(p q) (q r) (p r)

31.

(p q r) (p v r )

Ejercicios de lgica

Tablas de verdad

32.

(p q) (q p) .

33.

(p q p v r) (q v r) r

34.

(p q p) (q v r ) (p r)

35.

p (q v r) s

36.

(p q) v (p q)

37.

(p v q) (p q v r)

38.

(p q p v r) (q v r) r

39.

[ (p v q) (r s) ] v t

40.

(p q) v r [ r (p q)]

41.

[ (p v q ) r ] [ (p q) v r ]

42.

(p q p r) (q v r) v r

43.

(p q r) ( q v r) v ( r v s )

44.

(p q p r ) [ ( q v r) v ( r q) ]

45.

(p q) (p v p q v r)

46.

(p r p)

47.

(p q v r) (p q v r)

48.

p v q (p q)

49.

(p v q) (p q)

50.

[ (p v q) (q p) ] v p

51.

(p q) v ( p q)

52.

(p v q) ( p q)

53.

p q p

54.

(p v q) (qp)] v p

55.

[(AB)/\(BC)] (AC)

56.

(p q) q

57.

(p q r) (q s v t) (p r)

58.

p q p

59.

p v q (p q)

(q p r) r

60.

(p v q p r) (q r) r

61.

(p v q) (p q v r)

62.

p v q (p q)

63.

p v (q r) (r p)

64.

(p q) (r v p r)

65.

((p v r p) (q r) r

66.

(p q r) p r *

67.

(p q r ) (q v r) v(r v s)

68.

(p q) (p v p q v r)

69.

(p v q p r) [ (q v r) v (r q) ] *

70.

(p q) (q r) (p r)

71.

(p q p) (q v r) (q r)

72.

(p q r) (q s v t) ( p s)

73.

(p q r) (q r v q) ( p p)

74.

(q r) v (r p r) p r

GUA DE EJERCICIOS N 08
LGICA

CONECTIVOS LGICOS

1.

pq

pq

pq

pq

pq

V
V
F
F

V
F
V
F

V
F
F
F

V
V
V
F

V
F
V
V

V
F
F
V

F
V
V
F

Decida si cada una de las siguientes oraciones es o no una proposicin:

a)

5 + 7 = 12

b) Tenga un feliz da.

c) Santiago es la capital de Chile.
d) Habla Usted ingls?
e) x es mayor que y.
f)

2.

15 es un nmero primo.

Decida si cada una de las siguientes proposiciones es Verdadera o Falsa:

a) Todo nmero entero es nmero natural.
b)

57

c) 6 es un nmero primo.
d) 15 es un mltiplo de 5.
e) El nmero
3.

2 es racional.

Sean p, q y r proposiciones, tales que:

p es V

q es V

r es F.

Determine el valor de verdad de las siguientes proposiciones:

a)

( p q) ( p q)

b) p q ( p r )

c) r q (q p )

4.

d)

( p r ) (q r )

Sean p, q y r proposiciones, tales que:

p es V

q es F

r es V.

Determine el valor de verdad de las siguientes proposiciones:

5.

b) p r (q r )

c)

( p q ) (r p )

d)

( p r ) (q r )

Construir la tabla de verdad para las siguientes proposiciones compuestas:

( p q) ( p q)

b) ( p q ) p q

c)

( p r ) (q r )

Clasifique las siguientes proposiciones en: Tautologa, Contradiccin o

Contingencia.
a)

( p q) ( p q)

b)

( p q ) (q p )

c)

p ( p q)

d)

( p q ) (p q )

e) p (q r )

7.

[( p q ) (q r )] ( p r )

a)

6.

a)

[(p r ) q]

Sean p y q proposiciones, tales que

p q es una proposicin Falsa. Determine

el valor de verdad de la proposicin:

( p q ) (q p )
8.

Sea p y q proposiciones, tales que

p q es una proposicin Verdadera.

Determine el valor de verdad de la proposicin:

( p q) ( p q)

SOLUCIONES GUA DE EJERCICIOS N 08

LGICA

1.

a) Es una proposicin.
c) Es una proposicin.
e) No es una proposicin.

2.

a) F

b) V

c) F

3.

a) V

b) F

c) F

d) V

4.

a) V

b) V

c) V

d) V

5.
a)

5.

5.

6.

b)

c)

b) No es una proposicin.
d) No es una proposicin.
f) Es una proposicin.
d) V

pq

pq

( p q) ( p q)

V
V
F
F

V
F
V
F

V
F
F
F

V
V
V
F

V
V
V
V

pq

pq

( p q ) (p q )

F
F
V
V

V
V
F
F

V
F
V
F

V
F
V
V

F
V
V
F

F
F
V
F

pr

qr

( p r ) (q r )

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
F
V
F
F
F
F
F

V
V
V
F
V
V
V
F

V
F
V
V
F
F
F
V

a) Contingencia

b) Tautologa

d) Contradiccin

e) Tautologa

7.

8.

e) F

c) Contingencia