Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
~ [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.
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
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
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
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
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
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.
p ~ q
a)
b)
c)
d)
e)
VVVV
FFFF
VFFV
FVVF
VFVV
[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.
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
(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
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.
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. D
Determine
el valor final de:
Dete
ete
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
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
e) VVVVVFVF