Professional Documents
Culture Documents
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
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
34
TRILCE
~ [r q . . ~ (p . q)]
F V
F V
b)
F
V
V
Resultado: F (falso).
2.
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
r=F
Resultado: VFF.
II.
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
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
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
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
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
(p
q)
~p ~q
TRILCE
14.
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.
[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.
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
(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
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
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
(p q) (p r)
El resultado final es :
a) VVVVVVVV
b) FFFFFFFF
c) VVVVFFVV
d) FFVVVVVV
e) FVFVFFFF
51. Determine el valor final de:
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
[(~ 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
41
Lgica
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)
a)
b)
c)
d)
e)
VFVVVVVF
FVFFFFFF
VFVVVVVV
VVFVVVVV
VVVFVVFF
a)
b)
c)
d)
e)
VFVF
VVVF
VFFF
VVFF
FFVV
p q ~ r p
a) FFFFVFVF
b) VVVFVFVF
c) VVVVFVFV
d) VVVVFVFF
42
e) VVVVVFVF