pre Apt.Mat – Prof.

Robert Sánchez
VERDAD FORMAL – EQUIVALENCIAS LÓGICAS
DEFINICION p q p q
Se encarga de evaluar la verdad o falsedad de las V V V V V
expresiones verbales que en el curso le llamamos V F V F F
proposiciones. Para esto, es importante primero F V F V V
conocer las funciones veritativas que rigen para cada F F F V F
conector lógico.
EL BIIMPLICADOR: “Una proposición biimplicativa
FUNCIONES VERITATIVAS DE LOS es verdadera solo cuando sus componentes
CONECTORES LÓGICOS
tienen valores iguales”
EL NEGADOR: “Si una proposición es verdadera, su p q p q
negación es falsa o viceversa” V V V V V
V F V F F
p p F V F F V
V F F F F V F
F V
EL INALTERNADOR (Daga de Sheffer): “Una
EL CONJUNTOR: “Una proposición conjuntiva es proposición inalternativa es verdadera cuando sus
verdadera solo cuando cada uno de sus componentes son falsas, siendo falsas en los
componentes es verdadero” demás casos”

p q p q p q p q
V V V V V V V V F V
V F V F F V F V F F
F V F F V F V F F V
F F F F F F F F V F

EL DISYUNTOR DÉBIL: “Una proposición disyuntiva

EL IMCOMPATIBILIZADOR (Barra de Nicod): “Una
incluyente es falsa solo cuando cada uno de sus
proposición inalternativa es falsa cuando sus
componentes son falsas”
componentes son verdaderas, siendo verdaderas
en los demás casos”
p q p q
V V V V V p q p / q
V F V V F V V V F V
F V F V V V F V V F
F F F F F F V F V V
F F F V F
EL DISYUNTOR FUERTE: “Una proposición
disyuntiva excluyente es verdadera solo cuando
sus componentes tienen valores diferentes” TABLAS DE VERDAD: Llamadas también tabla de
valores, tablas veritacionales, método de las matrices
p q p q o Algoritmos matriciales. Son gráficos que muestran
V V V F V todas las combinaciones de posibilidades que puede
V F V V F tomar una formula proposicional o esquema lógico.
F V F V V
Formula proposicional
F F F F F
Variables A B (A B) B
EL IMPLICADOR: "Una proposición implicativa solo 1 1 1 1 1 1 1
es falsa cuando el antecedente es verdadero y el 1 0 1 1 0 0 0
Arreglos
consecuente es falso” 0 1 0 1 1 1 1
0 0 0 0 0 1 0

Matriz principal

Cel. 990900222
 pre Apt.Mat – Prof. Robert Sánchez
ESQUEMAS MOLECULARES SEGÚN LEY DE APLICACIONES
MATRIZ PRINCIPAL EQUIVALENCIA
A ( A) ( A) A
Doble A [ ( A)] [ ( A)] A
a) Matriz Tautológica: Llamada también matriz negación
Leyes de (A B) A B A ( A)
universalmente verdadera, es aquella cuya D’Morgan (A B) A B A [ ( A)]
funcion veritativa principal esta formada solo de
Conmutación A B B A A B B A
valores verdaderos.
, , , , /, A B B A A B B A
Contraposición A B B A A B B A
A B (A B) ( A B) , , , A B B A A B B A
1 1 1 1 1 Asociación A B C [(A B) C] [A (B C)]
1 0 0 1 0 , , , [A B C D] [(A B) (C D)]
0 1 1 1 1 A (B C) (A B) (A C)
0 0 1 1 1 Distribución
A (B C) (A B) (A C)
A (A B) A A (A B) A
b) Matriz Contingente: Es aquella cuya funcion Absorción A (A B) A B A (A B) A B
veritativa principal está formada por lo menos un Definición del A B A B A B (A B)
1 y al menos un 0. Implicador
Definición del A B (A B) (B A)
Biimplicador
A B (A B) ( A B)
A B (A B) (A B) Definición del A B (A B) ( A B) A B ( A B)
disyuntor
1 1 1 0 0 excluyente
A B (A B) A B (A B)
1 0 0 0 1 Exportación (A B) C A (B C)
0 1 1 1 1 Mutación A (B C) B (A C)
0 0 1 0 0 Idempotencia A A A A A A
Complemento A A V A A F
c) Matriz Contradictoria: Llamada también matriz A V A A V V
universalmente falsa, es aquella cuya funcion Identidades
A F F A F A
veritativa principal está formada solo de valores
falsos.
PRÁCTICA
A B (A B) ( A B)
1. Si la proposición formal A B es falsa luego:
1 1 1 0 1
1 0 0 0 0 (A B) (A B) es:
0 1 1 0 1 A) Falsa
0 0 1 0 1 B) Verdadera
C) Indefinida
JERARQUIA DE CONECTORES D) Tautológica
E) Consistente
MAYOR 1º 2º 3º 4º 5º 6º 2. Dada las siguientes proposiciones:
MENOR
, A: “Un minuto está compuesto de 60 segundos”
B: “La suma de los ángulos internos de un
triángulo es 180 grados sexagesimales”
C: ”Los perros son caninos”
EQUIVALENCIAS LÓGICAS Y los esquemas:
1) (A B) C
Dos esquemas proposicionales A y B, se dice que son
2) [( A & B) ( C A)]
equivalentes cuando unidas por el bicondicional " ↔ " 3) [ A (C B)] C
el resultado es una tautología, es decir los valores de 4) [ B & ( C)] A
A y B tienen los mismos valores de verdad.
5) (A B) / C
Son proposiciones falsas
A) 2 y 3 B) 1, 2 y 3 C) 1, 3 y 4
D) Todas E) N.A

Cel. 990900222
 pre Apt.Mat – Prof. Robert Sánchez
3. Dada la fórmula lógica: D) E)
{[( p q) (p q)] p} q
¿Cuántos focos verdes prenden al conectar la 10. Si la proposición:
corriente eléctrica? { [ (A B) A] ( A B) }
A) 2 B) 3 C) 4 Es verdadera, son proposiciones verdaderas
D) Ninguno E) 1 formalmente:
1) A B 2) B A
4. La estructura lógica que hace encender un solo
3) A 4) B ( A C)
foco de luz roja es:
5) C B
1) A B 2) A B 3) A B
Son ciertas
4) A B 5) A / B A) Sólo 2 B) Sólo 2 y 3 C) 3 y 4
Son ciertas: D) Todas E) 2, 3, 4 y 5
A) 1, 2 y 3 B) 3, 4 y 5 C) Sólo 1 y 3
D) Sólo 1 E) Todas 11. Dados los valores de:
p 0;q 0; r 1; s 0
5. Si la proposición: p (r s) , es falsa, y las fórmulas:
entonces se puede afirmar que: I) [(t r) (s /
q)] p
I) “p” es necesariamente verdadera II) [ r (s / t)] ( p q)
II) “r” es necesariamente falsa
III) “s” puede ser verdadera III) [ ( s q) p ] (r s)
Son ciertas Los valores correspondientes de verdad son:
A) Solo I B) Solo II C) I y III A) 101 B) 100 C) 011
D) Solo III E) II y III D) 111 E) 110

6. Dado el siguiente esquema formal falso: 12. Juan le dice a Inés la siguiente mentira: “Estudio
[(p q) ( q r)] álgebra si y solo si estudio física, a menos que
además, ya que no estudio física así pues
Los valores de p, r y q son respectivamente: estudio aritmética”
A) 110 B) 000 C) 101 ¿Qué curso(s) estudia Juan?
D) 001 E) 010 A) Álgebra
B) Aritmética
7. Cuál de los siguientes esquemas son C) Física
formalmente inconsistentes: D) Física y Aritmética
I) (A B) A E) Ninguno
II) [A (B A)]
13. Si el siguiente esquema es tautológico:
III) A (B A) ( p * q) (p q)
Son ciertas determinar el valor de:
A) Solo I B) I, II y III C) Solo II ( p q)
D) Solo III E) N.A.
A) (p * q) B) p * q C) (p * q)
8. De las siguientes fórmulas: D) p E) N.A.
I) A ( A B)
II) A (B A) 14. Si se sabe que la siguiente expresión es falsa:
“Si Juan miente cada vez que se enferma o se
III) (A B) B
resfría, es obvio que miente siempre que va a la
IV) 0 (A B) academia”, ¿Cuál de las siguientes afirmaciones
Las que representan a un cortocircuito son: son no son falsas?
A) I y III B) II y IV C) I y IV A) Juan no va a la academia a o ser se resfríe
D) II y III E) Sólo III B) Juan se enferma pero miente
C) Juan miente porque va a la academia
D) Es mentira que suponiendo que Juan se
9. Dado el siguiente esquema:
enferme vaya a la academia
[(p q) p] ? q E) En vista que Juan miente, no solo va a la
¿Cuál debe ser el conector para que la playa sino que también viaja a Ecuador
matriz final sea tautológica?
A) B) C)

Cel. 990900222
 pre Apt.Mat – Prof. Robert Sánchez
15. Se define: aprobatorio
B) Miguel no repite al año ni su promedio
A B A B general es aprobatorio
V V F C) Si el promedio general de Miguel no es
V F V desaprobatorio, entonces no repetirá el año
F V F D) Miguel repite el año escolar
F F V E) Más de una es correcta

Hallar: [(A B) ( A B)] A 20. La proposición: “El ñandú es mamífero o sólo un

ave”. Equivale:
A) A B) B C) A 1) Que el ñandú es ave es diferente a que sea
D) B E) A B mamífero
2) El ñandú no es ave si y solo si es mamífero.
16. La proposición: “El ingeniero inventa 3) Que el ñandú no sea mamífero no equivale
herramientas”, equivale a: a que tampoco sea un ave.
1) No es contradictorio que el ingeniero no deja 4) El ñandú no es ave o sólo es mamífero.
de inventar herramientas 5) El ñandú es ave se define que es ovíparo.
2) El ingeniero inventa herramientas salvo que Son ciertas:
diseñe aparatos de alta tecnología A) 1, 2 y 5 B) 2, 3 y 4 C) 1, 2 y 3
3) Que el ingeniero diseñe aparatos de alta D) 2 y 3 E) Todas
tecnología, equivale a que no invente
herramientas o únicamente diseñe aparatos 21. El esquema formal: [(p q) q] p
de alta tecnología
4) El ingeniero diseña o no diseña aparatos de Tiene como fórmula equivalente a:
alta tecnología, no obstante es mentira que A) p q B) p q C) p p
no inventa herramientas D) p E) p p
5) El ingeniero diseña aparatos de alta
tecnología a menos que también invente
22. La fórmula: (A / B) (B / A)
herramientas
No son absurdamente no incorrectas: Equivale a:
A) todas B) Sólo 1 y 3 C) Sólo 1, 3 y 4 1) (B / A) (A / B) 2) ( B A)
D) Sólo 3 y 4 E) Sólo 4 3) (B / A) (B / A) 4) A B
5) (A / B) (A / B)
17. La proposición: “Los profesionales son
Son falsas, excepto:
científicos excepto los profesores de inicial”,
A) 1, 2 y 5 B) 2 y 4 C) Sólo 3 y 5
equivale a:
A) Es mentira que los profesores de inicial no D) 1, 3 y 5 E) Todas
son científicos a menos que los
profesionales tampoco lo sean 23. La proposición: “Trujillo y Lima son ciudades
B) Los profesionales son científicos y no son peruanas”; EQUIVALE por la Ley de Morgan a:
profesores de inicial 1) Es falso que, Trujillo o Lima no sean
C) Los profesionales o son científicos o son ciudades peruanas
profesores de inicial 2) Lima es una ciudad peruana aunque, si
D) Es irrefutable que los profesores de inicial Lima es ciudad peruana luego Trujillo
sean científicos también lo es
E) Aunque los profesionales son científicos, los 3) Es falso que, Trujillo no sea ciudad peruana
profesores de inicial no lo son o Lima tampoco lo sea
4) No sólo Lima es ciudad peruana, Trujillo
18. La proposición formal: también lo es
5) Es falso que, Lima o Trujillo no sean
[(A B) (A B)] [(A B) (A B)]
ciudades peruanas
Equivale a: Son ciertas:
A) A B) A B C) A B A) 1, 3 y 5 B) Sólo 1 y 3 C) 2, 4 y 5
D) B A E) A B D) 1, 2 y 3 E) Sólo 2 y 4

19. La proposición: “Que Miguel no haya aprobado

álgebra no implica que repita el año. Salvo que,
Miguel no repite el año porque su promedio
general aprobatorio”, equivale a:
A) El promedio general de Miguel es

Cel. 990900222