Вы находитесь на странице: 1из 32

49

CAPÍTULO 06

VERDAD FORMAL

Objetivos:
 Sistematizar las reglas de los conectores lógicos.
 Identificar los tipos de matriz principal de una fórmula molecular evaluada mediante tablas de
verdad.
 Aplicar las reglas de los conectores lógicos a diferentes modelos propuestos.

1. REGLAS DE LOS CONECTORES LÓGICOS.


1.1. Opción analítica.
a) Negador. Si es p = V, ~p = F; si es p = F, ~p = V
b) Conjuntor: VV = V, basta un F para que todo sea F.
c) Disyuntor débil: FF = F, basta un V para que todo sea V.
d) Daga de Shefer: FF = V, basta un V para que todo sea F.
e) Barra de Nicod: VV = F, basta un F para que todo sea V.
f) Implicador: VF = F, en los demás casos es V.
g) Biimplicador: 2 iguales = V; 2 diferentes = F.
h) Disyuntor fuerte: 2 iguales = F; 2 diferentes = V

2. LA TABLA DE VERDAD.
Variables Esquema molecular

p q r ( ~ p  q )  ( r  ~ p )
V V V F V V F F
V V F F V V F F
V F V F V V F F
V F F F V V F F
F V V V V V V V
F V F V V V F V
F F V V F V V V
F F F V F F F V
Arreglos de verdad Cálculo matricial

 Esquema Molecular.
Es la fórmula que representa a una proposición molecular cualquiera.
 Variables.
Una de cada una en orden alfabético. Pueden ser p q r s t… o quizás A B C D E…
50

 Arreglos, combinaciones de verdad o estados del mundo posible.


# de arreglos = 2n (Lóg. Bivalente); n = # variables. (Lóg. Trivalente: 3 n)
Arreglos para 1, 2 y 3 variables:

Cantidad de Combinaciones
Variables Valores 1 – 0 Valores V – F
1 A A
1 V
0 F
2 A B A B
1 1 V V
1 0 V F
0 1 F V
0 0 F F
3 A B C A B C
1 1 1 V V V
1 1 0 V V F
1 0 1 V F V
1 0 0 V F F
0 1 1 F V V
0 1 0 F V F
0 0 1 F F V
0 0 0 F F F
Nota:
V = 1 = Pasa corriente F = 0 = No pasa corriente

 Cálculo matricial.
Se efectúa el cálculo de verdad del esquema molecular siguiendo las reglas de lo operación
para cada conector presente y respetando la jerarquía de conectores y de signos de
agrupación. El cálculo de la función de verdad se hace en el cuadrante inferior derecho.

2.1. Matrices de los conectores lógicos para dos variables.


p q ~p ~q pq pq pq pq pq pq pq pq pq pq
V V F F V V V V F V F F F F
V F F V F V F V V F F V V F
F V V F F V V F V F F V F V
F F V V F F V V F V V V F F

JERARQUÍA DE LOS CONECTORES:

Menor jerarquía:     ()   Mayor Jerarquía


51

3. TIPOS DE MATRIZ FINAL.


3.1. Matriz consistente (Satisfacible). Tienen al menos un valor verdadero.
a) M. Tautológica. Solo tiene valores verdaderos.
Ejemplo:
pq (p  q)  (p  q)
11 1
10 1
01 1
00 1

b) M. Contingente. Tiene al menos un valor falso.


Ejemplo:
pq (p  q)  (p  q)
11 1
10 1
01 0
00 0

3.2. Matriz inconsistente (Insatisfacible, contradictoria, cortocircuito)


Solo tiene valores falsos.
Ejemplo:
pq (p  q)  (p  q)
11 0
10 0
01 0
00 0

4. Ejemplos tipo:

Ejemplo 1:
Sean las proposiciones:
p : Moyobamba es la capital del departamento San Martín.
q : Juliaca es una ciudad cuzqueña.
r : La Pampilla se encuentra en el departamento de Piura.
Y, dadas las siguientes fórmulas:
I) (p  ~q)   (r  ~p)
II) p  ~ [(~q  r)  p]
III) ~p  [q  (~r  p)]
Las verdaderas son:
A) Solo I B) Solo II C) Solo III D) Solo I y II E) Todas

Solución:
Primero determinemos el valor de verdad de cada una de las proposiciones individuales, es decir:
52

p es verdadera (V); q es falsa (F); r es falsa (F)


Luego, reemplacemos los valores de p, q, r; en cada una de las fórmulas:
I) (V  ~F)  (F  ~V) = 1 II) V  ~[(~FF) V] = 1
III) ~V  [F  (-FV)] = 0
Clave D

Ejemplo 2:
Sean las variables A, B, definidas por:
A = ~p  q B = p  q
Luego, la matriz final del esquema: (A  ~B)   (A  B)
Es:
A) 1011 B) 0110 C) 1110 D) 0001 E) 1010

Solución:
Primero determinamos las matrices que representarán a las variables A, B:
Variable A: Variable B:
pq ~p  q pq p  q
11 1 11 0
10 0 10 0
01 1 01 1
00 1 00 0

Luego, aplicamos la tabla de verdad al esquema:


AB (A  ~B)   (A  B)
1 0 0 1 1
0 0 1 0 0
1 1 1 1 1
1 0 0 1 1
Matriz final: 1011 Clave A

Ejemplo 3:
De los siguientes esquemas formales:
1) (p  ~r)  ~ (s  ~q)
2) ~q  [(p  ~s)  ~r)]
3) (p  ~q)  [r  (s  t)]
Los que tienen matriz principal tautológica son:
A) Solo 1 y 2 B) Solo 1 y 3 C) Solo 2 y 3 D) Todos E) Ninguno

Solución:
Cualquier esquema que tenga solo una de cada una de las variables en mención es
automáticamente contingente. De los esquemas propuestos, todos tienen esta característica. En
consecuencia, todos son contingentes. Clave E
53

Ejercicios de evaluación

1. La fórmula: [A  (B  C)]  (A C)


Tiene como características:
1) Presenta un esquema tautológico.
2) Presenta un esquema contingente.
3) Tiene tres valores verdaderos en su matriz principal
4) Tiene cinco valores verdaderos en su matriz principal
5) Tiene al menos un valor verdadero en su matriz principal
Son ciertas:
A) 1 y 5 B) 2 y 5 C) 2 y 3 D) 4 y 5 E) 1 y 4

2. Sea la fórmula verdadera: {[(A  B)  (~A  ~B)]  [A  (~A  B)]}


Luego, son afirmaciones correctas:
1) (A  B)  (A  B) es falsa
2) (A  B)  ~(A  B) es falsa
3) (A  B)  (~A  B) es verdadera
4) (A  B)  (A  ~B) es verdadera
Son ciertas:
A) Solo 1 y 2 B) Solo 2 y 3 C) Solo 1 y 3 D) 1, 2 y 3 E) 2, 3 y 4

3. Si se cumple: p @ q = q
Luego, la matriz final de: (p @ q) @ (p @ q)
Es:
A) 1100 B) 0011 C) 0101 D) 1010 E) 1001

4. De los esquemas:
I) (p  q)  (p  q) II) [(p  q)  q]  (p  q)
III) [(p  q)  q]  q IV) [(pq)  (p q)]  (p  q)
V) (p  q)  (p  q)
Son contradictorios:
A) 1, 2 y 3 B) 1, 3 y 5 C) Solo 3 y 5 D) Solo 2 y 3 E) 1, 2 y 4

5. Si la proposición:
“(x+y)0 = 1, pero, (x+y)3 = (x+y)(x+y)2; dado que (x+y) = (x+y)1 ”
Tiene un valor de verdad falso.
Luego, de las fórmulas:
1) – (–p  –q)  s 2) (s  s)  – (p  –q)
3) r  (p  q) 4) (r  –t)  (t  – r)
5) – {– [– (–p  q)  r]  s}  t
Las que tienen valor de verdad falso, son:
A) 1, 2 y 3 B) 1, 3 y 4 C) Solo 3 y 4 D) Solo 1 y 2 E) Solo 2 y 3
54

6. Sea la fórmula verdadera: {[(A  B)  (C / B)]  C}


Luego, los valores de verdad de:
I) (A  B)  C II) (A  C)  B
III) (C / B) / A IV) (B  A)  C
Respectivamente son:
A) FVFF B) VFVV C) FFFF D) VVVV E) VVFF

7. Si se cumple que: p % q = 0010


Entonces la matriz principal de: (p % q) % p
Es:
A) 0100 B) 1110 C) 0010 D) 1000 E) 1011

8. Si se cumple que: (p $ q)  (p  r)


Tiene matriz principal tautológica.
Luego, la fórmula: pr
Tiene la misma matriz principal que:
A) p $ q B) p $ q C) p $ q D) p $ q E) (p $ q)

9. En el esquema formal: (p  q  r  s)  [(t  u)  w]


Los valores de verdad en los arreglos: 2, 68 y 110 de su matriz principal, respectivamente son:
A) V, V, F B) F, V, F C) V, F, F D) F, F, F E) F, V, V

10. En el esquema formal: –p  –q  –r  –s  –t  –u  –v  –w


El número total de valores falsos en su matriz principal, es:
A) 2 B) 8 C) 64 D) 128 E) 212
55

CAPÍTULO 07

EQUIVALENCIAS LÓGICAS

Objetivos:
 Aplicar leyes de equivalencia lógica a proposiciones compuestas.
 Aplicar leyes de equivalencia lógica a fórmulas proposicionales.
 Aplicar leyes de equivalencia lógica en base negada a proposiciones lógicas y fórmulas
compuestas.

Ley de Identidad

Ley de Idempotencia Ley del Complemento

Conmutación Mutación

LEYES DEL ÁLGEBRA


Contraposición BOOLEANA Absorción

Ley de D’Morgan Distribución

Exportación Expansión
Asociación

1. DOBLE NEGACIÓN (DN).


Agrega o quita pares consecutivos de negaciones. Ejemplos:
1) Adolfo Hittler fue austriaco. p
R. No es cierto que Adolfo Hittler no fue austriaco. ~(~p)
2) Es inobjetable que el Perú tiene escasos recursos energéticos. ~(~r)
R. El Perú tiene escasos recursos energéticos. r
En los siguientes casos, NO está bien aplicada la Doble negación:
1) p  p No utiliza la doble negación
2) (p q)  (p  q) Cancela dos negaciones indebidamente

2. LEY DE MORGAN (DM)


La negación de la disyunción incluyente de dos equivale a la conjunción de dichas variables
negadas.
La negación de la conjunción de dos variables equivale a la disyunción incluyente de dichas
variables negadas.
56

Ejemplos:
1) C. Vallejo es un poeta peruano además pertenece a la escuela vanguardista. pq
R. Es mentira que, C. Vallejo no sea un poeta peruano salvo que no pertenezca a la escuela
vanguardista. (pq)
2) No es cierto que, R. Darío sea un novelista peruano tal como que no sea representante de la
escuela modernista. (pq)
R. R. Darío no es un novelista peruano y bien o también es un representante de la escuela
modernista. pq
En los siguientes casos, NO está bien aplicada la Ley de Morgan:
1) (pq)  pq No se cumple con disyuntor excluyente.
2) (pq)  pq No cambió el conector “” por el “”.

Nota. La Ley de Morgan también se cumple con la 1ª y 2ª función de Shefer; pero


intercambiando solo entre ellas para obtener la misma aplicación.
Ejemplos:
1) (p  q)  p  q 2) (p  q)  p  q

3. CONMUTACIÓN.
Consiste en intercambiar de posición las dos proposiciones –ya sean simples o compuestas– que
estén unidas por uno de los operadores siguientes: , , , , , 
Ejemplos:
1) Juliaca es una ciudad puneña además es un centro de acopio de cuero fresco. pq
R. Juliaca es un centro de acopio de cuero fresco además es una ciudad puneña. qp
2) El gobierno peruano es democrático sí y solo si es elegido por el pueblo. pq
R. El gobierno peruano es elegido por el pueblo sí y solo si es democrático. qp
En los siguientes casos, NO está bien aplicada la Conmutación:
1) p  q  q  p Cambió las negaciones indebidamente.
2) (p  q)  (q  p) No aplicable con el implicador.

4. CONTRAPOSICIÓN (Transposición o contra recíproca)


Es muy similar a la conmutación, la diferencia es que al aplicar esta ley, a la vez que cambiamos
de lugar a las componentes, también cambiamos sus negaciones por afirmaciones y viceversa.
Solo es aplicable con los siguientes conectores: , , , 
Ejemplos:
1) El gobierno peruano es democrático sí y solo si es elegido por el pueblo. pq
R. El gobierno peruano no es elegido por el pueblo sí y solo si no es democrático. q  p
2) O Finlandia integra la OTAN o integra el Pacto de Varsovia. p  q
R. O Finlandia no integra el Pacto de Varsovia o no integra la OTAN. qp
En los siguientes casos, NO está bien aplicada la Contraposición:
1) (p  q)  (q  p) No cambió neg / afirm de las variables.
2) (p  q)  (q  p) No se aplica con el conjuntor.
3) (p  q)  (p  q) No cambió la posición de las variables.
57

5. ASOCIACIÓN.
Similar a lo que se hace en matemática. Solo es aplicable con los siguientes conectores: , , ,
 (de un solo tipo)
La excepción es  y  (si son asociativos)
Ejemplos:
1) El Perú es un país con abundantes recursos forestales y mineros. Pero no es una potencia
económica. (pq)  r
R. El Perú es un país con abundantes recursos forestales. Además, es un país con abundantes
recursos mineros y no es potencia económica. p (q r)
2) O; los peces son vertebrados acuáticos salvo que solo sean marinos; o son invertebrados. (p
 q)  r
R. O los peces son vertebrados acuáticos o, son vertebrados marinos salvo que únicamente
sean invertebrados. p  (q  r)

En los siguientes casos, NO está bien aplicada la Asociación:


1) p  (q  r)  (p  q)  r Los conectores son diferentes.
2) p  (q  r)  (p  q)  r No aplicable con este conector.

6. DISTRIBUCIÓN.
Esta ley consiste en distribuir una variable (o una fórmula parcial) que esté unida por una
conjunción (o disyunción incluyente) a un esquema molecular disyuntivo incluyente (o
conjuntivo), según sea el caso.
La operación inversa es muy similar a la factorización algebraica por el método del factor común.
Se aplica con los siguientes conectores:   (simultáneos) y en algunos casos también es
válida la combinación:  
Casos:
a) p  (q  r)  (p  q)  (p  r) b) p  (q  r)  (p  q)  (p  r)
c) p  (q  r)  (p  q)  (p  r) d) p  (q  r)  (p  q)  (p  r)
e) p  (q  r)  (p  q)  (p  r) f) p  (q  r)  (p  q)  (p  r)

Ejemplos:
1) El Perú es un país con abundante fauna marina, salvo que, el rape y el cazón no sean parte de
la fauna marina peruana. p(qr)
R. El Perú es un país con abundante fauna marina salvo que el rape no sea parte de su fauna
marina. Sin embargo, el Perú es un país con abundante fauna marina o el cazón no es
parte de su fauna marina. (pq)(pr)

7. ABSORCIÓN.
Esta ley se utiliza mucho en la simplificación de fórmulas lógicas.
Consiste en reducir una fórmula lógica conjuntiva o disyuntiva incluyente aprovechando que una
de sus componentes forme parte de la otra componente.
Caso: Componente idéntica Caso: Componente conjugada
a) p  (p  q)  p a) p  (–p  q)  p  q
b) p  (p  q)  p b) –p  (p  q)  –p  q
58

Ejemplos:
1) P. Guerrero jugó en Brasil, además, es un delantero neto salvo que jugó en Brasil.
p(qp)
R. P. Guerrero jugó en Brasil. p
2) C. Cueva es huamachuquino, salvo que, juegue por la selección además sea huamachuquino.
p(qp)
R. C. Cueva es huamachuquino. p
3) El “Cuy” es uno de los goleadores del Perú, sin embargo, es un delantero salvo que no sea
uno de los goleadores del Perú. p(qp)
R. El “Cuy” es uno de los goleadores del Perú además es un delantero. pq
4) G. Lapadula no es un futbolista peruano, salvo que, sea un futbolista peruano además
delantero del Genoa. p(pq)
R. G. Lapadula no es un futbolista peruano salvo que sea delantero del Genoa. pq

En los siguientes casos, NO está bien aplicada la ABSORCIÓN:


1) p(pq)  p No aplicable con disyuntor excluyente.
2) p(pq)  p La variable repetida cambia negación.

8. DEFINICIÓN DEL IMPLICADOR


“Niega el antecedente o el consecuente” (Base afirmada)
“Antecedente y la negación del consecuente” (Base negada)
Caso: Base afirmada Caso: Base negada
a) p  q  p  q a)  (p  q)  p  q
b) p  q  p  q b)  (p  q)  p   q
c) p  q   p  q c)  (p  q)  p  q

Ejemplos:
1) Si la Tierra forma parte del Sistema Solar entonces forma parte de la Vía Láctea.
pq
R. La Tierra no forma parte del Sistema Solar o forma parte de la Vía Láctea. pq
2) Siempre que Venus no gire alrededor de su eje en sentido inverso al de la Tierra es obvio que
su atmósfera contiene dióxido de carbono. pq
R. Venus gira alrededor de su eje en sentido inverso al de la Tierra a menos que su atmósfera
contenga dióxido de carbono. pq

9. DEFINICIÓN DEL BIIMPLICADOR.

Definición de verdad:
Es verdadera cuando las componentes tienen valores de verdad iguales, es decir:
p  q  (p  q)  (p  q)

Definición de uso:
Biimplicador indica que implica y está implicado, es decir:
p  q  (p  q)  (p  q)
59

En los siguientes casos, NO está bien aplicada la Definición del biimplicador:


1) (pq)  (pq)  (qp) (pq) y (qp) son iguales.
2) (pq)  (pq)  (pq) Confundió conectores

10. RELACIÓN BIIMPLICADOR – DISYUNTOR EXCLUYENTE.


Esta Ley es muy importante porque nos permite identificar las relaciones que hay entre el
Biimplicador (o Equivalorador) con el Disyuntor excluyente (o Contravalorador) además de las
equivalencias que hay entre ellos al variar la cantidad de negaciones. Veamos:
1º. Si agregamos o quitamos un (01) par de negaciones a una fórmula biimplicativa o disyuntiva
excluyente, el conector principal no cambia y las fórmulas obtenidas son equivalentes.
Ejemplos:
p  q ≡ (p  q) ≡ (p  q) ≡ p  q

2º. Si agregamos o quitamos una (01) o tres (03) negaciones a una fórmula biimplicativa o
disyuntiva excluyente, el conector principal si cambia y las fórmulas obtenidas son
equivalentes. Ejemplos:
p  q ≡ (p  q) ≡ p  q ≡ p  q

11. DEFINICIÓN DEL DISYUNTOR EXCLUYENTE.

Definición de verdad:
Es verdadera cuando las componentes tienen valores de verdad diferentes, es decir:
p  q  (p  q)  (p  q)

Definición de uso:
Disyuntor excluyente indica que es uno de los dos pero no pueden ser los dos, es decir:
p  q  (p  q)   (p  q)

12. EXPORTACIÓN.
Esta ley de equivalencia relaciona una implicación con una conjunción para dar una proposición
solo implicativa con tres variables.
(p  q)  r  p  (q  r)
(p  q  r)  s  p  [q  (r  s)]

Ejemplos:
1) Siempre que Alemania y Francia integren la Unión Europea, entonces juntos constituyen el
soporte económico de la Unión. (p  q)  r
R. Siempre que Alemania integre la Unión Europea entonces, el que Francia integre la Unión
es suficiente para juntos constituyan el soporte económico de la Unión. p  ( q  r)
2) Si Cueva, Farfán, y Flores son futbolistas que juegan fuera del país, luego juntos serán
convocados para jugar por la selección. (pqr)s
R. Si Cueva es un futbolista que juega fuera del país; entonces dado que Farfán es un
futbolista que juega fuera del país es obvio que es suficiente que Flores juegue fuera del
país para que juntos sean convocados para jugar por la selección. p  [q  (r  s)]
60

13. MUTACIÓN.
Esta equivalencia se obtiene por la aplicación de la definición del implicador a un esquema de
tres o más variables que tengan la forma: p(qr)
p  (q  r)  q  (p  r)
p  [q  (r  s)]  q  [r  (p  s)]  r  [p  (q  s)]

Ejemplo:
1) Dado que la combinación de colores influye en el comportamiento es obvio que, si los niños
pasan muchas horas mirando televisión entonces tendrán un comportamiento autista.
p  (q  r)
R. Siempre que los niños pasen muchas horas mirando televisión entonces, si la combinación
de colores influye en el comportamiento es obvio que los niños tendrán un
comportamiento autista. q  (p  r)

14. EXPANSIÓN.
Esta ley nos permite expandir el número de variables intervinientes en una fórmula lógica, pero
también nos permite expandir la importancia del conector principal.
Casos:
p  (p  q) p  (p  q) p  (p  q) p  (p  q)
--------------- --------------- --------------- ---------------
pq pq pq pq

Ejemplos:
1) Si explotamos desconsideradamente nuestra fauna marina, agotaremos este recurso natural.
pq
R. Explotamos desconsideradamente nuestra fauna marina sí y solo si, explotamos
desconsideradamente nuestra fauna marina y agotamos este recurso. p  (p  q)
2) Si todos nuestros trabajos los consideramos como pruebas con posibilidad de error, nunca
saldremos del subdesarrollo. p  q
R. Nunca saldremos del subdesarrollo sí y solo si, todos nuestros trabajos los consideramos
como pruebas con posibilidad de error salvo que nunca salgamos del subdesarrollo.
q  (p  q)

15. LEY DE IDEMPOTENCIA.


Por esta ley se reducen las variables redundantes a una sola. Se aplica a esquemas conjuntivos y
disyuntivos.
Esto es:
ppp ppp

Ejemplo:
La proposición: “Lima es la capital peruana y Lima es la capital peruana”
Es equivalente a: Lima es la capital peruana.
61

16. LEY DEL COMPLEMENTO.


Esta Ley es muy similar a la anterior con la diferencia que se aplica a una proposición junto a la
negación (complemento) de la misma, es decir:
p  p  0 p  p  1

17. IDENTIDADES.
Otra de las leyes con similar aplicación que las dos anteriores. La diferencia, en este caso, es que
una proposición cualquiera (llamémosla “p”) es evaluada al lado de una Tautología (1) o una
Contradicción (0)
p1p p00
p11 p0p

Ejercicios de evaluación

1. La proposición: “No es verdad que los indicadores económicos disminuyen siempre que la economía
del país se mantiene sólida”, equivale a:
A) La economía del país nunca se mantiene sólida pero los indicadores económicos disminuyen.
B) En el caso que los indicadores económicos aumenten, la economía del país no se mantendrá sólida.
C) La economía del país se mantiene sólida aun cuando los indicadores económicos aumentan.
D) Es necesario que los indicadores económicos disminuyan para que la economía del país se
mantenga sólida.
E) La economía del país se mantiene sólida siempre y cuando los indicadores económicos aumentan.

2. La proposición: “El axioma es una verdad evidente puesto que no requiere demostración, sin embargo
es falaz negar que el axioma no deje de no ser una verdad evidente”, NO equivale:
1) El axioma requiere demostración pero no es una verdad evidente.
2) El axioma no es una verdad evidente excepto que requiera demostración.
3) Es mentira que el axioma es una verdad evidente pero no requiera demostración.
4) Es incongruente que, si el axioma requiere demostración luego el axioma es una verdad evidente.
5) El axioma requiere demostración.
Son FALSAS:
A) Solo 2 y 3 B) 2, 3 y 5 C) Solo 1 y 4 D) 1, 4 y 5 E) 3, 4 y 5

3. La proposición: “La lógica fuzzy es un conjunto borroso puesto que evalúa la verdad en porcentajes de
aproximación; sin embrago, que evalúe la verdad en porcentajes de aproximación implica que no sea
un conjunto borroso”, biimplica tautológicamente a:
A) La lógica fuzzy es un conjunto borroso.
B) Es mendaz que la lógica fuzzy no deje de evaluar la verdad en porcentajes de aproximación.
C) La lógica fuzzy no es un conjunto borroso.
D) Mentira resulta que la lógica fuzzy no evalúa la verdad en porcentajes de aproximación.
E) La lógica fuzzy evalúa la verdad en algunos casos posibles.
62

4. La proposición: “Es falso que, la tabla de verdad es un algoritmo tan igual como la forma normal
conjuntiva. Sin embargo, si la forma normal conjuntiva no es un algoritmo así pues la tabla de verdad si
lo es”, equivale a:
1) La forma normal conjuntiva o la tabla de verdad son algoritmos.
2) Solo uno de los dos, la forma normal conjuntiva o la tabla de verdad, son algoritmos.
3) Solo si la tabla de verdad es un algoritmo, entonces la forma normal conjuntiva también lo es.
4) La tabla de verdad es un algoritmo siempre que y solo cuando la forma normal conjuntiva no lo es.
5) Es mentira que la tabla de verdad y la forma normal conjuntiva no son algoritmos.
Son ciertas:
A) 1 y 5 B) Solo 2 y 4 C) 2, 3 y 4 D) Solo 2 y 3 E) 3, 4 y 5

5. La proposición: “El mercurio es enfriado a -269ºC, luego y solo luego es usado como superconductor”.
Equivale a:
1) Es imposible que no sea enfriado a -269ºC salvo que solo no sea usado como superconductor.
2) Siempre y cuando el mercurio no sea usado como superconductor, no es enfriado a -269ºC.
3) El mercurio es enfriado a -269ºC cuando no es usado como superconductor
4) O el mercurio es enfriado a -269ºC o no deja de ser usado como superconductor
5) El mercurio no es usado como superconductor cuando y siempre deje de ser enfriado a -269ºC
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 D) 1, 2 y 5 E) 1, 4 y 5

6. La fórmula proposicional:

[ ( A  B) Δ (B  A ) ]  B
Equivale a:
A) B B) B C) B  B D) A E) A  B

7. Al simplificar la siguiente fórmula proposicional:


(A A A… A)  (B B B…  B)

2n + 4 veces 2n + 3 veces
Se tiene:
A) A B) B C) B  A D) B E) B  A

8. La proposición: “La intensión y la extensión en lógica son inversamente proporcionales cuando nos
referimos a conceptos subordinados” Equivale a:
1) A  B 2) (A  B) 3) B  A
4) (A  B)  C 5) (A  B)  C
Son indudablemente falsas:
A) 2, 4 y 5 B) 1, 3 y 5 C) 1, 4 y 5 D) 1, 2 y 3 E) Solo 1 y 3

9. Si se sabe que las fórmulas: (P % Q) y (P * Q), tienen matrices idénticas, determinar:
El equivalente de: P % Q
A) (Q * P) B) Q * P C) P * Q D) (Q * P) E) P * Q

10. Si la fórmula p # q = VVFV, entonces p # (p # q) equivale a:


A) p  q B) p  p C) p  q D) p  q E) q
63

CAPÍTULO 08

CIRCUITOS A CONMUTADORES

Objetivos:
 Representar proposiciones mediante circuitos a conmutadores.
 Formalizar circuitos a conmutadores.
 Simplificar circuitos a conmutadores.

Circuitos Lógicos

A Conmutadores A Compuertas
(Semana 09)

Serie Paralelo

AB AB

Un circuito lógico es la representación gráfica de una fórmula proposicional.


Hay dos tipos de circuitos lógicos: los circuitos a conmutadores y los circuitos a compuertas, dentro
de los cuales se tiene a los circuitos a compuertas ASA y los circuitos a compuertas ISO

1. CONMUTADORES.
Son dispositivos que permiten, sí o no, el paso de un flujo (que podría ser corriente eléctrica o un
fluido, como un gas o un líquido).
1.1. Representación.

Encendido:

p o p
p

Apagado

p p
p o
64

1.2. Funciones.

Serie Paralelo
p q p

q
pq pq

1.3. Otros conectores.


Para otros conectores se usan equivalencias, ejemplos:

pq  (p  q)
---------- -------------
p  q p  q
p
p q
q

pq pq
------------------------- -------------------------
(p  q)  (p  q) (p  q)  (p  q)
p p p q
q q p q

pq pq
------------------------- -------------------------
(p  q)  (p  q) (p  q)  (p  q)
p q p p
p q q q

Nota.
pqr p1
--------------- --------------
p
p q r
65

1.4. Ejemplos.

Ejemplo 1:
Simplifique el circuito: q p q

p q q
Solución: por bloques:
i) AB
donde:
A  (qp)  (p q)  p q Por Idempotencia
B  qq  1
AB  (p q)  1  p q p q

Ejemplo 2:
Hallar el circuito más simple para: (p  q)  (q  p)

Solución:
(pq)  (qp) (pq)  (qp)
 (pq)  (qp)
 p  [q  (qp)]
 p  q ... representamos está fórmula
p
q

Ejemplo 3:
Dado el siguiente circuito: A

A B
Su circuito equivalente es:
A) A B) C)
A B A
B B
D) A E) A B

B

Solución:
A  (A  B)  (A  A)  (A  B)
 1  (A  B)
 A  B ... representamos esta fórmula: Clave A
66

Ejemplo 4:
Dado el esquema molecular: p  (p  q)
Represéntarlo mediante un circuito a conmutadores.

Solución:
1º El operador principal es un disyuntor incluyente. Por lo tanto el circuito principal será
paralelo.
2º La(s) variable(s) que está(n) al lado izquierdo de la fórmula lógica la(s) colocamos en
el lado superior del circuito:
3º La(s) variable(s) que está(n) al lado izquierdo de la fórmula lógica la(s) colocamos en
el lado inferior del circuito:
p

~p q

Ejemplo 5:
Dada la fórmula: p  q
Su circuito equivalente es:
A) p q B) p q

q p q p
C) q p
p q

Solución:
Revisa los circuitos correspondientes al disyuntor excluyente en páginas anteriores. Por lo
tanto la respuesta es: A

Ejercicios de evaluación

1. La proposición:
“ ‘x + y = y + x’ es una proposición necesaria pero también es universal, incluso, puede ser
utilizada por la lógica o también por la matemática”.
Queda representada por el circuito:
p q r
A) B) p q
r s s
p
q r p r
C) p D) E) q
s q s r s
67

2. La proposición:
“El desarrollo psicológico y social del adolescente se complementan entre si ya que ninguno se
desarrolla aisladamente”
Se diseña en circuito lógico como:
A) B) p q r
p q r s
p p p p p p p
pp p p p p p p
C) q r s D) p q r s E) p q
p p p p p p p p p p
p p p p p p p p p p
3. La proposición:
“ ‘Las fases de desarrollo biológico y psicológico del niño’ es propuesto por Piaget de misma
manera que la ‘influencia socio cultural’ de Vigosky. Por lo que el desarrollo moral es propuesto
para equilibrar el estado emocional del adolescente”.
Se diseña en circuito lógico como:

A) -p -q -r s B) -p -q r
p
C) -p q p D) -p q E) p

4. La proposición:
“El resistor es un componente electrónico que disipa potencia y se opone al paso de la corriente
eléctrica al mismo instante. De manera similar ocurre con el transistor”
Tiene como diseño de circuito:
p q r s
A) B) p q r
p p
p
p -q
C) p q r D)
p p E)
p q

p p q
5. El circuito lógico:
p
q
Es el complemento de:
A) - p B) – q C) - (p  q) D) p  (q p) p  E) –(p  q)

6. El circuito lógico a conmutadores: p q p


-r -r -r
Equivale a: -q -q
A) p B) – r C) q D) p  -r E) - p
68

7. La proposición:
“Los mochicas predijeron la venida del fenómeno del niño e hicieron sacrificios humanos, salvo
que hicieron sacrificios humanos ya que creyeron en el castigo de los dioses”.
Equivale en circuito a conmutadores a:
p -p
A) q -r B)
q r

p r
p q
C) q D) p
E) -p -q r
q p r -q

8. La proposición:
“Que la gonadotropina sea una sustancia que se produce en las mujeres embarazadas es suficiente
para que los fetos se alimenten y crezcan en el mismo instante, o bien necesariamente, como
dicha sustancia no se produce en las embarazadas implica que las mujeres embarazadas
abortarán”.
Equivale en circuito lógico a:
p q p -q
A) B) -q
r s
-p -r

-p -r p
C) D) E) p q
p
p q r
-s

9. En el circuito lógico:
q
-r -p p r p

Si cada conmutador tiene un costo de S/ 10,00; al simplificarlo se ahorrará:


A) S/ 10 B) S/ 15 C) S/20 D) S/ 25 E) S/ 30

10. La proposición:
“La dialéctica marxista es un método excepto que también una estrategia para interpretar la
realidad, ya que, la investigación científica usa la dialéctica marxista solo si es una estrategia para
interpretar la realidad”.
En circuito a conmutadores tiene un costo de S/ 40.00 soles, pero al simplificarlo se tiene otro
circuito cuyo costo mínimo es:
A) S/ 5 B) S/ 20 C) S/ 10 D) S/ 30 E) S/ 15
69

CAPÍTULO 09

CIRCUITOS A COMPUERTAS

Objetivos:
 Representar proposiciones mediante circuitos a compuertas ASA y compuertas ISO.
 Formalizar circuitos a compuertas ASA y compuertas ISO.
 Simplificar circuitos a compuertas ASA y compuertas ISO.

Circuitos Lógicos

A Conmutadores A Compuertas
(Semana 08)

C. ASA C. ISO

1. LOS CIRCUITOS A COMPUERTAS.


Las compuertas son dispositivos que modifican un flujo de impulsos eléctricos.
Es decir, funcionan así:

111011101110… 010001000100…
COMPUERTA

Son dos sistemas los que utilizaremos para representar a los circuitos lógicos mediante
compuertas y estos son: el Sistema ASA y el Sistema ISO.

1.1. Diseño de Circuitos a Compuertas.


El diseño de circuitos mediante compuertas lógicas nos da la ventaja de representar
negaciones internas así como externas. Por ejemplo:
AB A  B (A  B)
A A A
B
B B
70

2. CUADRO RESUMEN DE LAS COMPUERTAS LÓGICAS.

Fórmula Sistema Sistema Función


Lógica ASA ASA

A A A 1 Not

A A
AB & And
B B

A A 1
AB B Or
B

A A
AB =1 Xor
B B

A A =
AB B N xor
B

A
AB
B

A A
AB 1 N xor
B B

A A &
AB B
B

A A &
 (A  B) B Nand
B

A A >1
 (A  B) B
Nor
B

Nota.
No existe una compuerta específica para el implicador por lo que es necesario utilizar su
equivalencia, es decir, (AB)  (AB).
En Sistema ASA, es: A
B
71

2.1. Ejemplos.

Ejemplo 1:
Dada la fórmula lógica: (A  B)  (A  B)
El circuito que la representa, en Sistema ASA, es:

Solución:
1º Determine si cada uno de los conectores tienen representación mediante compuertas
lógicas. En caso contrario utilice alguna equivalencia.
Para este caso, el conector principal () no tiene compuerta lógica que lo represente
por lo que utilizamos su equivalencia:
(A  B)  (A  B)

2º Identifique la compuerta principal y las compuertas secundarias. En este caso la


compuerta principal es un disyuntor incluyente y las secundarias son una conjunción y
otra disyunción incluyente, respectivamente.

3º Trazamos el circuito, de acuerdo a lo descrito anteriormente. En este caso, tenemos:


A  B
A
B

Compuerta Principal
A  B

Ejemplo 2:
Dada la fórmula lógica: (A  B  C)  (A  B  C)
En el Sistema ISO, el circuito que la representa es:

Solución:
A
=1
B
C
=1

&
72

Ejemplo 3:
Dado el circuito lógico:
A A
B B

A B
A B
Trace el circuito equivalente en Sistema ASA.

Solución:
1º Leemos el circuito a conmutadores. En este caso tenemos:
[(A  B)  (A  B)]  [(A  B)  (A  B)]

2º Identificamos la compuerta principal y las compuertas secundarias, luego trazamos el


circuito a compuertas ASA. En este caso tenemos:
A
B

Ejercicios de evaluación

1. El circuito lógico adjunto:


p =1
1
 =1

q = 
Equivale:
A) q B) p C) 1 D) 0 E) 0

2. El circuito de dos entradas, definido por las funciones:


(NAND) OR (XOR) NXOR (NXOR) OR (AND)
Al ser simplificado, equivale a:
A) A  B B) A  B C) A  B D) A  B E) A  B
73

3. El circuito adjunto: A
C

B
D
Al simplificar a su mínimo equivalente, la diferencia entre los números de valores falsos y
verdaderos en su matriz final será:
A) 16 B) 15 C) 13 D) 14 E) 12

4. La proposición: “La gran mayoría de peruanos afirma que la extradición de Alejandro Toledo no
consiste en una simple expulsión del territorio en que se encuentre, sino la extradición es el acto o
procedimiento de la entrega de una persona, acusada o condenada por un delito, por parte del
Estado en cuyo territorio se ha refugiado”. Se representa en circuito a compuertas como:
A) p B) p
q q
r r

s s
t t

C) p D) p E) p
q q q
r r r

5. Sea el circuito:
A 1
1


B 1 =1
C

Al reducirlo a su mínimo equivalente, el número total de constantes es:


A) 1 B) 2 C) 3 D) 4 E) 5

6. Sea el circuito lógico:


A
=1
B
= =
C
=1
D

Al simplificarlo, el número de valores verdaderos en su matriz principal, es:


A) 4 B) 6 C) 16 D) 2 E) 8
74

7. El circuito adjunto:
=1
p
q =1
1
r
s
Equivale a:
A) p B) q C) r D) s E) – s

8. En el circuito lógico: p
r

q
Si cada compuerta diádica tiene un costo de S/ 200 y cada compuerta monádica S/. 60; el ahorro
obtenido al simplificarlo es:
A) S/ 540 B) S/ 440 C) S/ 560 D) S/ 600 E) S/ 660

9. Del siguiente circuito:

p r
q s

Afirmamos:
1) En el arreglo 11° el foco esta encendido. 2) Tiene 15 valores verdaderos en su matriz final.
3) Permite encender más de 10 focos. 4) Al simplificar su equivalente es: (pq)  (rs)
5) La diferencia entre los valores verdaderos y los falsos en su matriz principal es 4.
Son correctas:
A) 1, 2 y 3 B) Solo 4 C) 1, 2 y 4 D) Solo 4 y 5 E) 1, 4 y 5

10. La proposición: En el Perú más de un millón de personas padecen de diabetes tipo 2, asimismo,
muchas de ellas viajan a Europa o solo a Estados Unidos a seguir un tratamiento. Siempre y
cuando, muchas personas viajan a seguir un tratamiento en Estados Unidos o solo en Europa, a
menos que en todo el Perú más de un millón de personas padecen de diabetes tipo 2. Al
simplificarla se representa mediante el circuito lógico:
A) p B) p
q q
r r

p p p
C) q D) q E) q
r r r
75

CAPÍTULO 10

IMPLICACIONES LÓGICAS
Objetivos:
 Inferir, dadas proposiciones como premisas, aplicando reglas de la lógica formal.
 Inferir, dadas premisas formales, aplicando reglas de la lógica formal.
 Validar un argumento lógico en base a métodos de demostración formal.

CONJUNCION SIMPLIFICACION ADICION

SILOGISMO REDUCCION AL
HIPOTETICO REGLAS DE IMPLICACION
ABSURDO
PURO

MODOS DE INFERENCIA DILEMAS

PONENDO TOLLENDO CONSTRUCTIVO


PONENS TOLLENS
PONENDO TOLLENDO DESTRUCTIVO
TOLLENS PONENS

Dentro de la lógica proposicional; si un razonamiento es válido, se le llama Implicación Lógica,


que es aquella expresión que tiene como conector principal al implicador y tiene como requisito que
al ser evaluada su función de verdad, ésta resulta ser una tautología.
Ejemplos de implicaciones lógicas:

1) [(A  B)  A]  B 2) A  (A  B)
1 1
1 1
1 1
1 1
76

1. IMPLICACIONES NOTABLES.
1.1. Modos de inferencia.
a) Ponendo ponens (afirmando afirmo).
“En una relación implicativa, si ocurre la causa esto trae como consecuencia que ocurra
el efecto”. Se aplica con:   
Formalmente: pq
p q
q

La mala aplicación de esta regla genera la falacia formal conocida como “Afirmación
del consecuente”
Formalmente: pq
. q Falacia formal
P

b) Tollendo tollens (negando niego)


“En una relación implicativa, si no ocurrió el efecto consecuentemente no se produjo la
causa”. Se aplica con:   
Formalmente: pq
p q
p

La mala aplicación de esta regla genera la falacia formal conocida como “Negación del
antecedente”
Formalmente: pq
pp Falacia formal
q

c) Ponendo tollens (afirmando niego).


“En una relación disyuntiva excluyente, el aceptar una variable conlleva a rechazar la
otra variable”. Se aplica solo con: 
Formalmente: pq
p q
q

d) Tollendo ponens (negando afirmo o silogismo disyuntivo).


“En una relación disyuntiva, ya sea incluyente o excluyente, el rechazar una variable
conlleva a aceptar la otra variable”. Se aplica con:  
Formalmente: pq
p q
q
77

1.2. Silogismo hipotético puro.


“La consecuencia de una implicación que es causa de otra implicación trae como
consecuencia que la ocurrencia de la causa primera genere la consecuencia segunda”. Se
aplica con:    (de un solo tipo).
Formalmente: pq
qr
pr

La mala aplicación de esta regla, con la implicación o replicación, genera las falacias de
“Doble antecedente” y “Doble consecuente”.
Formalmente: pq
pr Falacia del doble antecedente
rq

1.3. Dilemas.
Formados por uno o dos modos de inferencia y una premisa disyuntiva incluyente.
Si hay un solo modo, es dilema simple y si hay dos modos, es dilema compuesto.
a) Dilema constructivo.
“La disyunción entre las causas de dos implicaciones trae como consecuencia la
disyunción entre las consecuencias de dichas implicaciones”.
Formalmente: pq
rs
pr
qs

b) Dilema destructivo.
“La incompatibilidad entre las consecuencias de dos implicaciones trae como
consecuencia la incompatibilidad entre las causas de dichas implicaciones”.
Formalmente: pq
rs
q  s
p  r

c) Dilema mixto.
Ocurre cuando se presentan simultáneamente dos modos diferentes
Formalmente: p q
r  s
p  r
q  s

Nota.
Se les llama cuasi dilemas cuando la premisa que distribuye no es disyuntiva incluyente.
Se toma en cuenta la jerarquía de los conectores (la de menor jerarquía distribuye).
78

1.4. Conjunción (adjunción).


“La ocurrencia de dos variables que no tienen relación implica a la conjunción de las
mismas”.
Formalmente: p
q r
pq

1.5. Simplificación.
“La conjunción de dos variables implica a cualquiera de ellas”
Formalmente: pq
P

Nota.
Simplificación especial: En el lado del efecto, en la premisa, se puede simplificar.
Formalmente: p  (q  r)
. r
p

1.6. Adición.
“Una variable implica la disyunción entre dicha variable y otra cualquiera”
Formalmente: p r
pq

Nota.
Adición especial: Con referencia al lado de la causa, en la premisa, se puede adicionar.
Formalmente: (p  q)  r
p .
r

2. DEMOSTRACIÓN FORMAL.
Cuando se tiene un argumento (premisas y conclusión), se le llama demostración formal al
procedimiento por el cual se demuestra que la conclusión hace que el argumento sea válido (que
la matriz principal correspondiente sea tautológica).
Existen varios métodos de prueba de validez entre los que tenemos:
 Prueba directa (en función a las reglas de inferencia)
 Reducción al absurdo.
 Prueba condicional.
 Método de las equivalencias lógicas.
 Método de las tablas de verdad
 Criterio de Post
79

Ejercicios de evaluación

1. De los argumentos formales:


1) A  B 2) A  B 3) A  B
AB A . B .
AB AC AB
Son válidos:
A) Solo 1 y 2 B) Solo 2 y 3 C) Solo 1 y 3 D) Todos E) Ninguno

2. De las fórmulas implicativas:


1) (p  q)  (p  q) 2) p  [q  (r  p)] 3) [(p  q)  p]  p
Corresponden a argumentos válidos
A) Solo 1 y 3 B) Solo 2 y 3 C) Solo 1 y 2 D) Todas E) Ninguna

3. De las premisas: “Es imposible que si el oro es un metal entonces sea un material volátil, pero, si
el oro es líquido a temperatura ambiente, es volátil”. Se infiere:
A) El oro no es líquido a temperatura ambiente.
B) Si el oro no es líquido a temperatura ambiente, es volátil.
C) El oro no es un metal a temperatura ambiente.
D) El oro es volátil, aunque es líquido a temperatura ambiente.
E) El oro es un metal tanto como que es líquido a temperatura ambiente.

4. De: “Los halógenos reaccionan con facilidad porque tienen alta electronegatividad. Aunque los
halógenos tienen alta electronegatividad”. Se infiere:
A) Imposible, es una falacia formal.
B) Los halógenos no reaccionan con facilidad.
C) Los halógenos reaccionan con facilidad y tienen alta afinidad electrónica.
D) Los halógenos reaccionan con facilidad porque tienen alta afinidad electrónica.
E) Los halógenos no tienen alta electronegatividad.

5. De: “Las pilas secas son celdas electroquímicas aunque las celdas electroquímicas no son celdas
fotoeléctricas”. Se infiere:
A) Es mentira que las pilas secas no sean celdas electroquímicas.
B) Las pilas secas no son celdas electroquímicas.
C) Las pilas secas son celdas fotoeléctricas.
D) Las celdas electroquímicas son celdas fotoeléctricas.
E) Las pilas secas son celdas fotoeléctricas.

6. De las premisas:
P1: p  q P2: s  r P3: p  r
Se infiere:
1) s  q 2) s  q 3) s  q 4) s  q 5)  (s  q)
Son incorrectas, excepto:
A) 1, 2 y 4 B) 1, 2 y 5 C) 2, 3 y 4 D) 3, 4 y 5 E) 1, 3 y 5
80

7. De las premisas formales:


P1: (p  q  r)  s P2:  [r  (q  s)]
La conclusión que se obtiene es:
A) p B) p C) q D) p  q E) q

8. De: “Lenin fue líder de los bolcheviques si fue ciudadano ruso, pero, si Lenin fue líder de los
bolcheviques entonces gobernó la URSS hasta su muerte”. Se infiere:
A) Porque Lenin gobernó la “URSS” hasta su muerte fue ciudadano ruso.
B) Si Lenin no fue ciudadano ruso, gobernó la URSS.
C) Lenin fue ciudadano ruso si gobernó hasta su muerte la “URSS”.
D) Dado que Lenin no fue ruso luego no pudo gobernar la URSS.
E) Si Lenin fue ciudadano ruso entonces gobernó hasta su muerte la “URSS”.

9. De las premisas:
P1: (x  1)  (x  4) P2: (x  4)  x2 = 9 P3: (x 1)  (x = 0) P4: x  0
Se infiere:
A) x  1 B) x = 0 C) x  4 D) x2 = 9 E) x2  9

10. De las premisas:


P1: A  (B  C) P2: A  C P3: B  D P4: D  C
Se infiere:
A) A  B B) A & C C) B  D D) A  C E) A  D

REFERENCIAS BIBLIOGRÁFICAS

1) Tarsky, A. (1968). “Introducción a la lógica y a la metodología de las ciencias deductivas”.


Espasa Calpe SA. España.
2) Copi, I. (1962). “Introducción a la Logica”. Editorial Universitaria de Buenos Aires. Argentina.
3) Copi, I. (1997). “Introducción a la Lógica”. Edit. LIMUSA, Noriega editores. México, DF.
4) Edminister, J. (1965). “Teoría y Problemas de Circuitos Eléctricos”. Serie SHAUM. Mac Graw
Hill.

Claves Cáp. 1 2 3 4 5 6 7 8 9 10

Ejercicios de 06 B B C C E D A B E D
Evaluación 07 C C B C D B B A A D
08 B B B D A D A B E D
09 E A D C C E C D D C
10 D D A D A E A E D D