Está en la página 1de 4

VERDAD FORMAL

Son interpretaciones semánticas de las posibilidades


de verdad o falsedad de las proposiciones moleculares,
en base a sus conectores que enlacen a las
proposiciones atómicas por las que está formada.
E) Condicional: Lógicamente se rige por la siguiente
A) Negación: Lógicamente se rige por la siguiente regla: regla: “Una proposición condicional, sea directa o
“La negación de una proposición verdadera es falsa. inversa, es falsa cuando el antecedente es verdadero
La negación de una proposición falsa es verdadera”. y el consecuente es falso, siendo verdadera en los
Esquemáticamente, se representa por la siguiente demás casos”.
tabla de verdad: Esquemáticamente, se representa por la siguiente
tabla de verdad:

B) Conjunción: Lógicamente se rige por la siguiente


regla: “Una proposición conjuntiva es verdadera
cuando todas sus proposiciones componentes son
verdaderas, siendo falsa en los demás casos”.
Esquemáticamente, se representa por la siguiente
tabla de verdad:

F) Bicondicional: Lógicamente se rige por la siguiente


regla: “Una proposición bicondicional es verdadera
cuando sus proposiciones componentes tienen valor
de verdad iguales”.
C) Disyunción Inclusiva o Débil: Lógicamente se rige Esquemáticamente, se representa por la siguiente
por la siguiente regla: “Una proposición disyuntiva tabla de verdad:
incluyente es falsa sólo cuando todas sus
proposiciones componentes son falsas, siendo
verdadera en los demás casos”.
Esquemáticamente, se representa por la siguiente
tabla de verdad:

G) Inalternador: También se le dice “Negación


Conjuntiva”, y su tabla de verdad se obtiene negando
a la tabla de verdad de la disyunción inclusiva.

D) Disyunción Exclusiva o Fuerte: Lógicamente se rige


por la siguiente regla: “Una proposición disyuntiva
excluyente es falsa cuando sus proposiciones
componentes tienen valor de verdad iguales”.
Esquemáticamente, se representa por la siguiente
tabla de verdad:

1
Licenciado: Luis Zamora Graciano
JR. SEÑOR DE HUAMANTANGA N° 192 -194 TELF. 076 312663 CEL #RPM 945 6 21910 Cel. RPM # 945 6 21910
BARRIO - MOLLEPAMPA –CAJAMARCA
H) Incompatibilizador: También se le dice “Negación c) Matriz contradictoria: Es aquella, cuya función
Disyuntiva”, y su tabla de verdad se obtiene negando veritativa principal está formada sólo de
a la tabla de verdad de la conjunción. valores falsos.

TABLAS DE VERDAD 2º) CLASIFICACIÓN GENERAL


Son gráficos que muestran todas las combinaciones de También llamada superior o completa. Acá se
posibilidades que puede tomar una formula reconocen 2 tipos generales de matrices:
proposicional o esquema lógico.
A) MATRICES CONSISTENTES: Llamados también
diseños satisfacibles. Las matrices consistentes
son aquellas cuya función veritativa principal
“consiste” de al menos un valor verdadero.
Dentro de este grupo de esquemas
encontramos:
Por el resultado matricial obtenido en la construcción
de una tabla de verdad, las matrices pueden a) Esquemas Tautológicos.
clasificarse mediante 2 criterios. b) Esquemas contingentes.

1º) CLASIFICACIÓN BÁSICA. B) MATRICES INCONSISTENTE: Llamados también


También llamada primaria o elemental. Acá se diseños insatisfacibles. Las matrices
reconocen 3 tipos de matrices: inconsistentes son aquellas cuya función
veritativa principal “no consiste” de ningún
a) Matriz tautológica: Es aquella, cuya función valor verdadero. Dentro de este grupo
encontramos:
veritativa principal está formada solo de
valores verdaderos. a) Esquemas contradictorios.

EJERCICIOS

1. Si la estructura lógica:
b) Matriz contingente: Es aquella, cuya función ~  A ~ B   ~  ~ D  C   no es
veritativa principal está formada por al menos
un V y al menos un F. verdadera.
El valor de verdad del esquema:
~ C   ~ D  E  es:
A) Verdadero B) Falso C) 1 y 0
D) Indeterminado E) 0 y 1

2. Si el esquema:
 A   ~ A  B    ~ A ; es falso.

2
Licenciado: Luis Zamora Graciano
JR. SEÑOR DE HUAMANTANGA N° 192 -194 TELF. 076 312663 CEL #RPM 945 6 21910 Cel. RPM # 945 6 21910
BARRIO - MOLLEPAMPA –CAJAMARCA
Cuáles son los valores de las variables, ~  ~  p  q    q ~ p   Permite:
respectivamente.
1) Encender sólo un foco de luz ámbar.
A) 0,0 B) 1,1 C) 0,1 D) 1,0 E) N.A.
2) Un alumbrado general.
3) Un apagón total.
3. Sean p, q, r y s proposiciones. Si
4) Una función principal de verdad
únicamente “p” es verdadera, entonces los
tautológica.
valores de verdad de las siguientes
5) Encender 4 fluorescentes de 33 W.
fórmulas:
Son ciertas, excepto:
1)  p ~  r  ~ r     ~ s  s  A) 1, 4 y 5 B) Sólo 1 C) 3, 4 y 5
2)  p   r  q     s  ~ r  D) Sólo 1 y 3 E) Sólo 3

3)  p  q    ~ s ~ p  7. La estructura lógica:
Son respectivamente:  A &  ~ A ~ B   ~ A &  ~ A ~ B 
A) 101 B) 111 C) 010 D) 110 E) 001    
Hace encender un foco de luz amarilla:
4. Sean p, q y r proposiciones. Si p y q tienen A) Antes de 2 intentos falibles.
valores de verdad diferentes y q y r tienen B) Antes de 5 intentos falibles.
valores de verdad iguales, entonces los C) Antes de 3 intentos falibles.
valores de verdad de los esquemas D) Antes de 8 intentos falibles.
moleculares E) No se puede saber.
1)  p / r    p ~ q 
8. Si se sabe que la siguiente expresión es
2)  p  r   ~ q  r  falsa: “Si Juan miente cada vez que se
3) ~  ~ p   ~ q ~ r   enferma o se resfría, es obvio que miente
siempre que va a la academia”, ¿Cuál de las
Son respectivamente:
siguientes afirmaciones son no son falsas?
A) 001 B) 010 C) 101 D) 011 E) 110
A) Juan no va a la academia a no ser que
5. Dado:
resfríe.
A ~  p  q   ~ r
B) Juan se enferma pero miente.
B   p  q C) Juan miente porque va a la academia.
Además: p  1 ; q  0 ; r  0 D) Es mentira que suponiendo que Juan se
Luego, de las aseveraciones: enferme vaya a la academia.
1) A  B ~ 0 2) B ~ A  0 E) En vista que Juan miente, no solo va a la
3)  ~ A ~ B   C  1 4) ~ A ~ B  1 playa sino que también viaja a Ecuador.

5) C   ~ A ~ B   1
9. Juan le dice a Inés la siguiente mentira:
Son correctas: “Estudio álgebra si y solo si estudio física,
A) 1, 2 y 3 B) 1, 2 y 4 C) 2, 4 y 5 a menos que además, ya que no estudio
D) 2, 3 y 4 E) 1, 3 y 5 física así pues estudio aritmética”.
¿Qué curso (s) estudia Juan?
6. La fórmula siguiente: A) Álgebra B) Aritmética C) Física

3
Licenciado: Luis Zamora Graciano
JR. SEÑOR DE HUAMANTANGA N° 192 -194 TELF. 076 312663 CEL #RPM 945 6 21910 Cel. RPM # 945 6 21910
BARRIO - MOLLEPAMPA –CAJAMARCA
D) Física y Aritmética E) Ninguno. 1 1 1
1 0 1
10. La siguiente proposición: 0 1 0
A ~ B  C  D  E ~ F  G Permite: 0 0 0
1) Encender 17 focos de luz violeta. Luego ~  p * q  * ~ p equivale a:
2) Apagar 128 lámparas de luz blanca.
A) ~ p B) p C) p  q D) p  q E) N.A.
3) Encender sólo 1 foco de luz verde.
4) Apagar 127 bombillas de 33W.
5) Encender bombillas en todos los casos. 15. Si:  p  r  * q  ~~ q ; el valor final de
Son ciertas:  ~ q * p  * r  ; es:
A) 1 y 2 B) 2 y 5 C) 3 y 4
A) VFVFVFVF B) FVFVFVFV
D) 3 y 5 E) 4 y 5
C) VVVVFFFF D) FFFFVVVV
E) VVFFVVFF
11. Se define
p # q ~  p  q 
16. Si el esquema:  A   A  B    A ; es falso.
Además la proposición:
Cuáles son los valores de las variables,

~ ~ p #  ~ p  q  #  r  q  respectivamente:
es falsa. Halle los valores de p, q y r A) 0, 0 B) 1, 1 C) 0, 1 D) 1, 0 E) N.A.
A) p=1 ; q=0 ; r=1 B) p=0 ; q=0 ; r=1
17. Sean p, q, r y s proposiciones. Si únicamente “p”
C) p=1 ; q=0 ; r=0 D) p=1 ; q=1 ; r=1
es verdadera, entonces los valores de verdad
E) p=0 ; q=0 ; r=0
de las siguientes fórmulas:
1)  p    r  r     s  s 
12. Si el siguiente esquema es contradictorio:
~  ~ p * ~ q    p  q  determinar el valor 2)  p   r  q     s  r 
de: ~  ~ p  ~ q  3)  p  q    s  p 
A) ~  p * q  B) p * q C) ~  ~ p* ~ q  Son respectivamente:
A) 101 B) 111 C) 010 D) 110 E) 001
D) ~ p E) N.A.

18. Si el diseño:
13. Si la formula  p @ ~ q  ; tiene como matriz
0101.
Luego, la fórmula:
 p @  p ~ q  equivale a: Corresponde al esquema conectado A  B ,
  luego el diseño:
A) ~ p  q B) p  ~ q C) p  q
D) ~ q E) ~ p @ ~ q

corresponde a:
14. Dado: A) A  B B) A  B C) AB
p q ~ p * ~q D) A  B E) A  B

4
Licenciado: Luis Zamora Graciano
JR. SEÑOR DE HUAMANTANGA N° 192 -194 TELF. 076 312663 CEL #RPM 945 6 21910 Cel. RPM # 945 6 21910
BARRIO - MOLLEPAMPA –CAJAMARCA