Verdad Formal
Verdad Formal
R.D.R. 2827
VERDAD FORMAL
El objetivo principal es encontrar los valores de NOTA:
verdad de la proposición (V = verdadero, o F= falso). 1. Número de matrices finales diferentes
Para ello utilizaremos tablas de verdad o algún otro (funciones veritativas)
método.
MF = 2C, C = 2n, n: # de variables
pq pq
2. Número de matrices finales diferentes y
VV F Variables Esquema
En general contingentes
VF V Proposiciones Lógico
FV V Posibilidades Matriz
FF F Lógicas final MF y contingentes = 2C – 2
Matriz final (principal o
Solución) Ejemplo:
Dado es esquema. (p → q) p (qr)
1. LAS TABLAS DE VERDAD: Es una matriz de Hallar:
columnas y filas que permiten representar un
a) El número de matrices finales diferentes
razonamiento y hallar su validez.
Solución: n = 3 → C = 23= 8
Esquema:
Luego, Matrices diferentes =28= 256
VARIABLES (n) ESQUEMA LÓGICO
b) El número de matrices finales diferentes y
C=2n Matriz de verdad consistentes.
Nº de combinaciones Del esquema Solución: n = 3 → C = 23= 8
Luego:
Matrices diferentes y contingentes = 28 - 2 = 254
Las letras V – F indican valores de verdadero y falso.
(V = 1, F = 0)
PRÁCTICA
1. Un esquema molecular resulta inconsistente cuando
4. La matriz principal de:
(p q) (q p) (p q)
su matriz principal está formada:
a) Sólo por valores verdaderos es:
b) No sólo por valores falsos a) FFVV
c) Necesariamente por valores falsos b) VVVF
d) Por lo menos por un valor verdadero y un falso c) VVVV
e) a y b d) VFFV
e) FVV
2. La expresión: “Ni postulas ni trabajas”, tiene como
valores en su matriz principal:
5. Si la proposición:
( p q) ( q → r )
es verdadera.
a) FFFV
b) VFVF ¿Cuál de los siguientes esquemas son verdaderos?
c) VVVV 1.
( s r ) → (p s )
d) FFFF
2.
( s → q) ( p r )
e) VVFF
3.
( q → r ) (p r )
3. ¿A qué operador equivale la negación de los valores:
a) 1
VFFF?
b) 1y3
a) Conjunción
c) 2
b) Disyunción inclusiva
d) 1y2
c) Negación alternativa
e) Todas
d) Bicondicional
e) Condicional
6. Se sabe que:
( p q)
es falso, es
r ( r t) 11. Javier le dice a Carlitos la siguiente mentira: “Estudio
álgebra solamente y en el único caso que estudie
verdadero y l m es verdadero. Calcular el valor física, o si estudio aritmética no implica a que no
(p q) → ( s s) (m l) (r t ) estudio física”. ¿Qué curso(s) estudia Javier?
de:
a) Verdadero a) Álgebra
b) Falso b) Aritmética
c) Tautología c) Física
d) Consistente d) Física y aritmética
e) Contradicción e) Lógica
p → (r s )
12. ¿Cuántas funciones veritativas diferentes no
7. Si el esquema: es falsa, entonces se puede equivalentes, se pueden obtener con las variables
afirmar que: proposicionales p, q?
I. “p” es necesariamente verdadera. a) 2 b) 4
II. “r” es necesariamente verdadera. c) 16 d) 32 e) 64
III. “s” puede ser verdadera.
Son ciertas: 13. ¿Cuántas funciones veritativas diferentes no
a) I b) II equivalentes y consistentes, se pueden obtener con
c) I y II d) III las variables proposicionales p, q, r, s, t, u?
e) I y III b) 2 − 2
64 16
a) 2
d) 2 − 3
6
e) 2 − 2
16 64
( s p) r (p q) c) 2
8. Sabiendo que: es verdadero y
(p → q) r
la proposición: es falsa, halle los valores 14. La matriz final de la siguiente proposición: “Si Ramón
de verdad de “q”, “p” y “s” respectivamente. es biólogo, puede investigar la célula. Aunque si
a) VFF b) FVF Ramón no es biólogo, no podrá investigar la célula”,
c) FFF d) FFV es:
e) VVV a) FVFV
b) VFFV
9. Sabiendo que la proposición “p” es verdadera, ¿en c) VVFF
cuál de los siguientes casos es suficiente dicha d) FFVV
información para determinar el valor de verdad de los e) VVVF
siguientes esquemas:
15. La matriz final del siguiente esquema: “Si practicas
1.
( p q) → ( p q)
deporte en la playa y lees obras literarias, por lo tanto
2.
(q → p) r no es cierto que no lees obras literarias. Empero no
practicas deporte en la playa y lees obras literarias”,
3.
(p q) → r
tiene:
4. a) Una verdadera y tres falsas
a) 1, 2 y 3 b) A lo más dos verdaderas
b) 1 y 2 c) Dos verdaderas y dos falsas
c) 3 y 4 d) Una falsa y tres verdaderas
d) 3 e) Toda
e) 4
p→( q r)
pq= p q . Hallar
16. Sea el esquema molecular: .
10. Se define la proposición: Entonces la suma de los números que indican las filas
cuántas “V” ó “F” tiene la matriz principal de: que son verdaderas multiplicada por la suma de los
(p q) → ( p q) números que indican las filas que son falsas da como
a) 3V y 1F resultado:
b) 1V y 3F a) 1
c) 2V y 2F b) 306
d) 4V c) 324
e) 4F d) 289
e) 342
17. Sabiendo que p es verdadero y la proposición 23. Hallar la matriz final de: “El bicondicional de la
(p → s) ( q ) (p r ) es verdadera, hallar
r negación de “p” y la disyunción débil de “p” y “q”
implica a la negación de la disyunción débil de “q” y la
los valores de “s” y “
(p s) → r ” en ese orden. negación de “p” “
a) FFFF
a) VV b) FV
b) VVFV
c) FF d) VF
c) VVVV
e) a y c
d) FFFV
e) FVFV
18. Si el siguiente esquema es falso
( q → p) ( s r ) (p r ) 24. El siguiente esquema proposicional:
, hallar los valores de
p qr s t u v w x y
q, p, r y s respectivamente.
a) VFVV b) FVFV ¿Cuántos valores falsos tiene en su matriz principal?
c) FFFF d) VVFF a) 2 b) 64
e) FFVV c) 128 d) 256
e) 512
19. Dados los siguientes esquemas verdaderos:
25. El siguiente esquema proposicional:
( p q) ( p → r ) , ( p → q)
( x − 1)
2
16 1.
(p s ) q
28. Si p(x): ; q(x): x + 12 = 14;
x2 ( x + 10) 2.
( t q) → p
r(x): . Hallar el valor de verdad de:
p ( 2) q ( 2) r ( 4) 3.
(s t) → r
1.
Son ciertas:
p ( 4) → r (5) q ( 4)
2. a) Sólo 1
3. p(1) p(3) r(2) p(3) → p(7) q(2) b) Sólo 2
c) 1 y 2
a) VVV
d) 2 y 3
b) VFF
e) Sólo 3
c) FVF
d) VVF
p • q = ( p q) → p
e) FFF 34. Si . Luego la matriz final de:
1.
( p • q) q
29. 33.¿Cuántos grupos “V” tiene la variable “r”, en un
esquema molecular de 7 variables proposicionales? 2.
(p • q) p
a) 2
3.
( p • q) ( q • p )
b) 4
Es respectivamente:
c) 6
d) 8 a) T ⊥ T
e) 3 b) T ⊥ ⊥
c) ⊥ T ⊥
30. La matriz final del esquema molecular: d) ⊥ ⊥ ⊥
q (p q) p (p q) , es: e) T T T
38. Es una proposición que es verdadera sólo cuando 43. Sabiendo que: q r es falsa y q → p también.
forman la combinación V, F y viceversa. Dé el valor de verdad de:
a) Disyunción incluyente. ( p r ) q → (r q)
b) Bicondicional. 1.
c) Conjunción. 2.
( p → q) ( r | s )
d) Disyunción excluyente. (p r ) q ( s q)
e) Condicional directa. 3.
a) VVF
39. Al evaluar la tabla de verdad de la siguiente b) FVF
proposición compuesta: “Si el triángulo tiene dos c) VVV
lados iguales entonces el triángulo se llama isósceles, d) FFV
empero el triángulo no se llama isósceles. Si y sólo si e) VFV
el triángulo no tiene dos lados iguales”. Se obtiene:
a) VVVV b) VVFF 44. Si el siguiente esquema, es falso
c) VVFV d) VFVF ( q → p) ( s→p ) → (p r ) , hallar los
e) FFVF
valores de p, q, s y r respectivamente.
a) FVFF
40. Dada la siguiente fórmula: ( p q ) → ( q p )
b) FFVV
1. Hay 2 filas y 4 proposiciones.
c) VVFF
2. Es una contingencia.
d) VFFV
3. Es tautología.
e) FFFF
4. Hay 4 filas y 2 proposiciones.
5. No es contradictoria.
45. ¿En qué esquema se produce una contradicción?
Son ciertas:
(p q) (q p)
a) Sólo 2 y 4 a)
b) 2, 3 y 5 b)
(q r ) p
c) 2, 4 y 5 c) (q p) ( p q)
d) Sólo 1
d)
( p q) q
e) 1 y 4
e) p → (q p)
41. Calcule el resultado al expresar el producto de las
filas donde se encuentra el valor “V” en base 2 de la 46. Si p @ q = VVVF ; entonces
(p @ q) @ q representa a
p ( q r ) (q r ) la estructura formal:
matriz principal de:
a) 11110000 a) p → q
b) T
b) 10101000
c) 10101011 c)
(q p)
d) 11001100 d) p
e) 11100010 e) q
42. Determinar el valor de verdad de las siguientes 47. La proposición: “En la medida en que ni Frege ni
proposiciones: Russell son creadores del principio del tercio
Sen ( x ) excluido. Se concluye que Frege no creó el principio
= 1 Ln ( e ) = e
x x
lim del tercio excluido a no ser que sólo no lo sea
x →0 x
1. Russell”. En la matriz final observamos que es:
1 + Sec 2
( x ) = Tan 2 ( x ) Loge ( x ) = Ln ( x ) a) F sólo en segunda fila.
2.
b) V en todas sus filas.
= x
( x)
2
H3 O c) F sólo en cuarta fila.
3. ( es la fórmula del agua d) F en todas sus filas.
oxigenada). e) V sólo en primera fila.
a) VVV
b) VFV
c) FFV
d) FFF
e) VVF
a) VVFV
2.
( p → q) ( r s )
b) VVVF
c) VVVV 3.
( p → q) ( r → s)
r: 10 2
2 10
(p q) ( q r ) (p s)
Y los esquemas moleculares: 53. Si la fórmula: es falsa,
p ( q r) los valores de verdad de las fórmulas:
1.
(r p ) ( q | s ) (p | q)
p q ( r | p ) 1.
2.
( q s) ( p s) ( q r)
(p q) ( r p ) 2.
3.
Son verdaderos: 3.
( s → p)
(p r ) → (q r )
a) Sólo 1 (p s) (q r ) ( p t)
b) Sólo 2 4.
c) 1 y 2 (p q) ( q r ) (p s)
5.
d) 1 y 3
Son respectivamente:
e) 2 y 3
a) VVFFF
b) VVVFF
R = (p q) r S = p → ( q r )
50. Si y , la matriz final c) VVVVF
T = (R S ) (R → S ) d) VVFVV
para: , es: e) VVVFV
a) VVVVVVFV
b) VFFVVVVV
54. Sea A: p q r s t u v wx y
c) FVVFFFFF
A (n )
d) FVVVVVVF Y el valor de verdad del arreglo en la fila “n”.
e) VFFVFFFF Hallar el valor de verdad:
A (504) A (723) A (143)
1.
(p q) ( r s)
51. Si la proposición: ; es verdadera. A (143) A ( 628) → A (509)
2.
Los valores de verdad de las proposiciones:
a) FF
1.
( p q) r
b) FV
( q r ) s p c) VV
2. d) VF
3.
(p r ) → (p
q) s e) No se pueden determinar.
Son respectivamente:
a) FFF 55. En el siguiente esquema proposicional:
b) VFF (p q) (r s) ( t u) v
. Hallar el valor
c) FVF
de: p, s, u y el valor veritativo en la matriz principal
d) FFV
correspondiente a la fila 63.
e) VVF
a) VVVV
b) VVVF
c) VVFF
d) VFFF
e) FFFF Ver22 Med RL3
MVPP/ Exitu´s