Universidad Mayor de San Simón

Facultad de Ciencias Económicas

Administración de Empresas

Álgebra
1 1 1 ... 1
1 1  a1 1 ... 1
1 1 1  a2 ... 1  a1a 2 ...a n
... ... ... ... ...
1 1 1 ... 1  an

( p  q )  ( p  q)  ( q  p)

pq
p
q

M. Sc. René Quispe Cabrera

M. Sc. René Quispe Cabrera Página 1|9

 PRÁCTICA Nº 1: LÓGICA PROPOSICIONAL

1. PROPOSICIÓN. Una proposición o enunciado es una afirmación a la que puede asociarse

un valor de verdad, es decir, puede ser verdadera o falsa.
a) Proposiciones atómicas. Es una proposición que no contiene ningún conectivo
lógico. Tiene como solución dos valores de verdad (verdadero V o falso F).
b) Proposiciones moleculares. Son aquellas formadas por la combinación de dos
o más proposiciones atómicas, mediante la utilización de conectivos lógicos.

2. CONECTIVOS LÓGICOS. Son expresiones que sirven para unir dos o más proposiciones.
Conectivo Operación asociada Significado
 Negación No p (no es cierto que p)
 Conjunción pyq
 Disyunción inclusiva p y/o q (uno u otro o ambos)
 Disyunción exclusiva p o q (uno u otro, pero no ambos)
 Condicional o implicación p implica q (Si…entonces...)
 Bicondicional p si y solo si q (...si y solo si …)
En general: para calcular los valores de verdad se utiliza la siguiente fórmula: 2n Filas o
combinaciones posibles, donde n es el número de proposiciones atómicas.

3. OPERACIONES CON PROPOSICIONES. Dada una o dos proposiciones, cuyos valores

de verdad se conocen, se puede hallar la proposición resultante a través de su valor de
verdad.
3.1. Negación () . Si la proposición es verdadera, su negación será falsa y viceversa.
p p p: Existe inflación  p : No existe inflación
V F q: Hay inversión  q : No hay inversión
F V

3.2. Conjunción () . La característica es si ambas proposiciones son verdaderas V, la

respuesta siempre será verdadera V, caso contrario falsa F.
. p q pq
V V V p: Hay empleo
V F F q: Incrementa los ahorros
F V F ∴ ℎ𝑎𝑦 𝑒𝑚𝑝𝑙𝑒𝑜 𝒚 𝑎𝑢𝑚𝑒𝑛𝑡𝑎 𝑙𝑜𝑠 𝑎ℎ𝑜𝑟𝑟𝑜𝑠
F F F

3.3. Disyunción inclusiva ( ) . Puede suceder p, así como q y ambas a la vez. La

característica es, si ambas proposiciones son falsas F, la respuesta siempre será falsa F,
caso contrario verdadero V.
p: José es un buen jugador
p q pq q: José es muy afortunado
V V V
∴ 𝐽𝑜𝑠𝑒 𝑒𝑠 𝑢𝑛 𝑏𝑢𝑒𝑛 𝑗𝑢𝑔𝑎𝑑𝑜𝑟 𝑜 𝑒𝑠 𝑚𝑢𝑦 𝑎𝑓𝑜𝑟𝑡𝑢𝑛𝑎𝑑𝑜
V F V
F V V
F F F
M.Sc. René Quispe Cabrera P á g i n a 1 | 29
 3.4. Disyunción exclusiva (  ) . Puede suceder p o q, pero no ambas a la vez. La
característica es, si ambas proposiciones son iguales (verdadera o falsa) la respuesta será
falsa F, lo demás verdadero V.
p q p q p: La capital de Bolivia es La Paz
q: La capital de Bolivia es Sucre
V V F
V F V ∴ 𝐿𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒 𝐵𝑜𝑙𝑖𝑣𝑖𝑎 𝑒𝑠 𝐿𝑎 𝑃𝑎𝑧 𝒐 𝑆𝑢𝑐𝑟𝑒
F V V
F F F

3.5. Condicional () La característica es, si el antecedente p es verdadero y el consecuente

q es falso F, la respuesta siempre será falsa F, lo demás verdadero V.

p q pq
p: El BCB incrementa la emisión monetaria
V V V
V F F q: Existe inflación en Bolivia
F V V
F F V
∴ 𝐸𝑙 𝐵𝐶𝐵 𝑎𝑢𝑚𝑒𝑛𝑡𝑎 𝑙𝑎 𝑒𝑚𝑖𝑠𝑖ó𝑛 𝑚𝑜𝑛𝑒𝑡𝑎𝑟𝑖𝑎 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 ℎ𝑎𝑦 𝑖𝑛𝑓𝑙𝑎𝑐𝑖ó𝑛 𝑒𝑛 𝐵𝑜𝑙𝑖𝑣𝑖𝑎

3.6. Bicondicional () . La característica es, si ambas proposiciones son iguales (verdadera
o falsa), la respuesta siempre será verdadera V, lo demás falso F.
p q p q p: Existe inflación en Bolivia
V V V q: Incrementa la emisión monetaria
V F F
F V F
F F V
∴ 𝐸𝑥𝑖𝑠𝑡𝑒 𝑖𝑛𝑓𝑙𝑎𝑐𝑖ó𝑛 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑒𝑙 𝐵𝐶𝐵 𝑎𝑢𝑚𝑒𝑛𝑡𝑎 𝑙𝑎 𝑒𝑚𝑖𝑠𝑖ó𝑛 𝑚𝑜𝑛𝑒𝑡𝑎𝑟𝑖𝑎

4. CLASIFICACIÓN DE FÓRMULAS PROPOSICIONALES. Las proposiciones moleculares

se clasifican según sus valores de verdad, en tautología, contradicción y contingencia.

a) Tautología. Si la última columna de respuestas de una serie de proposiciones son

todas verdaderas V, se llama tautología.
b) Contradicción. Si la última columna de respuestas de una serie de proposiciones
son todas falsas F, se denomina contradicción.
c) Contingencia. Si la última columna de respuestas de una serie de proposiciones
son falsas F y verdaderas V, se conoce como contingencia.

M.Sc. René Quispe Cabrera P á g i n a 2 | 29

PARTE Nº 1: TABLAS DE VERDAD
Mediante las tablas de verdad, establecer si cada una de las siguientes proposiciones moleculares
es tautología, contradicción o contingencia.
1. (q  p)p Sol. Contingencia
2. q  (q  p) Sol. Contingencia
3. p  (p  q) Sol. Contingencia
4. (q  p)(q  p) Sol. Contingencia
5. (q p)  (p  q) Sol. Contingencia
6. ( p  q)  (p  q) Sol. Contingencia
7. ( p  q)  p(q  p) Sol. Contradicción
8. p  (q  p)  (p  q)  q Sol. Contingencia
9. ( p  q)  (p)  (q) Sol. Tautología
10. q  ( p  p)  ( p  q)  p  ( p  q)  p Sol. Contingencia
11. p  (q  r ) Sol. Contingencia
12. ( p  q)  r Sol. Contingencia
13.  p  (qr )  r  (q  p) Sol. Contingencia
14. p  (q  r ) Sol. Contingencia
15. ( pq)  r Sol. Contingencia
16. ( pr )  (r  p) Sol. Contingencia
17. (r  p)  q  (p  q)  r  Sol. Contradicción
18.  p  (q  r )  ( p  r )  q Sol. Tautología
19. (p  q)  r   p  r (p  q) Sol. Contingencia
20. ( pq)  (q  r )(q  r )  (p)  q Sol. Contingencia

PASOS PARA SOLUCIONAR

1. Ver el número de proposiciones atómicas: p, q, r.
2. Determinar el número de valores de verdad: 𝟐𝒏
3. Resolver las proposiciones, mediante las tablas de verdad,
considerando los signos de agrupación: ( ); [ ]; { }.

PARTE Nº 2: IMPLICACIÓN Y EQUIVALENCIA LÓGICA

Determinar cuáles de las siguientes formulas son implicación lógica y lógicamente equivales?
1. ( p  q)  p Sol. No es implicación lógica
2. ( p  q)  (p  q) Sol. No es implicación lógica
3. ( p  q)  ( p  q)  q Sol. Es equivalencia lógica
4. (p  q)  q  ( p  q)  q Sol. Es equivalencia lógica
5. q  (p  q)  (p  q) Sol. Es equivalencia lógica
6.  p  q  q  p   p  q Sol. Es equivalencia lógica

M.Sc. René Quispe Cabrera P á g i n a 3 | 29

PARTE Nº 3: LEYES DEL ALGEBRA PROPOSICIONAL
Mediante las leyes del Álgebra Proposicional resolver las siguientes proposiciones lógicas,
anotando en cada caso que leyes se está aplicando al reducir la proposición lógica y represente
la misma mediante un circuito lógico:
1. ( p  q)  p  q Sol. V
2. ( p  q)  (p  q) Sol. p
3. ( p  q)  (q  p) ( p  q)  p Sol. p
4. ( p  q)  p(q  p) Sol. F
5. p  (q  p)  q  p  p Sol. p  q
6. q  p  p  q  p  p  q Sol. q
7. p  q  q  q  q  p  q  q  p Sol. V
8. p  q  p  p  q  p  p  q  p  q Sol. V
9.  p  q  q  p  q  p  p Sol. V
10.  pq  q  p  q  p   p  q Sol. p  q
11. q  p  q  p  q p  q  p Sol. p  q
12. q p  q  p  q  q Sol. V

LEYES DEL ALGEBRA DE PROPOSICIONAL

1. Ley de Idempotencia 8. Ley de Complemento

a) p  p  p a) p  p  F
b) p  p  p b) p  p  V
2. Ley de Conmutatividad 9. Ley de Identidad
a) p  q  q  p a) p  V  p
b) p  q  q  p b) p  V  V
3. Ley de Asociatividad c) p  F  F
a) p  (q  r )  ( p  q)  r
d) p  F  p
b) p  ( q  r )  ( p  q )  r 10. Ley de Involución
4. Ley de Distributividad a ) p   p
a) p  (q  r )  ( p  q)  ( p  r )
b ) V  F
b) p  ( q  r )  ( p  q )  ( p  r )
5. Ley de Absorción c ) F  V
a) p  ( p  q)  p 11. Leyes adicionales
a) Implicación o Condicional
b) p  ( p  q )  p p  q  p  q
6. Ley de Absorción Parcial b) Bicondicional
a) p  (p  q)  p  q a) p  (q  r )  ( p  q)  ( p  r )
b) p  (p  q)  p  q b) p  ( q  r )  ( p  q )  ( p  r )
7. Ley de De Morgan c) Disyunción exclusiva
a)  p  q   p  q pq   p  q   p  q 
b)  p  q   p  q

PASOS PARA SOLUCIONAR

1. Observar cómo está estructurada la proposición lógica PL: ( ), [ ], { }.
2. Excluir en la PL todos los conectivos:→, ↔
3. Eliminar sub expresiones de la PL que están negadas EJ: ~(𝑝 ∧ 𝑞).
4. Buscar en la PL la relación entre las proposiciones viendo los conectores: ∧, ∨,
5. Ordenar la expresión en caso de que fuera necesario.
6. Aplicar las leyes que convienen a cada PL, hasta reducir a la mínima expresión.

M.Sc. René Quispe Cabrera P á g i n a 4 | 29

PARTE Nº 4: CIRCUITOS LÓGICOS
Dados los siguientes circuitos lógicos, encuentre el circuito equivalente más simple:
1. Simplifique el siguiente circuito lógico:

Sol. p  q

2. Simplifique el siguiente circuito lógico:

Sol. p  q  ( p  q)  (p  q)

3. Simplifique el siguiente circuito lógico:

Sol. p

4. Simplifique el siguiente circuito lógico:

Sol. p  r

M.Sc. René Quispe Cabrera P á g i n a 5 | 29

 5. Simplifique el siguiente circuito lógico:

Sol. p  r  q

6. Simplifique el siguiente circuito lógico:

Sol. p  q

7. Simplifique el siguiente circuito lógico:

Sol. p  q

M.Sc. René Quispe Cabrera P á g i n a 6 | 29

PARTE Nº 5: INFERENCIA LÓGICA
Demostrar si los siguientes argumentos son o no razonamientos validos:

1. Demostrar: p  r 6. Demostrar: t
1. p  q 1. r
2. q  r 2. r  q
Sol. El razonamiento es válido. 3. t  p
4. q  p
2. Demostrar: r Sol. El razonamiento es válido.
1. q  p
2. p  r 7. Demostrar: A  M
3. r  s 1. R
4. q 2. R  Q
5. s  r 3. A  P
Sol. El razonamiento es válido. 4. Q  P
Sol. El razonamiento es válido.
3. Demostrar: r
1. p  r 8. Demostrar:
2. q  p ( x  3  2)  ( y  1  3)
3. q 1. ( y  1  3)  ( 2  z  1)
Sol. El razonamiento es válido. 2. ( z  2  1)  (5  y  z )
3. ( x  3  2)  (5  y  z)
4. Demostrar:  p  r   p  r Sol. El razonamiento es válido.
1. T  (p  r )
2. s  q 9. Demostrar: (2  4)  (5  6)
3. (s  q)  T 1. (2  2  6)  (2  4)
Sol. El razonamiento es válido. 2. (5  6)  (2  5  10)
3. (2  5  10)  (2  2  6)
5. Demostrar: r Sol. El razonamiento es válido.
1. r  q
2. p  q
3. p
Sol. El razonamiento es válido.

10. Si Londres no está en Inglaterra, entonces Paris no está en Francia. Pero Paris está en
Francia. Por lo tanto, Londres está en Inglaterra.
Sol. El razonamiento es válido.

11. La testigo no dice la verdad o Patricia estaba en el campus universitario alrededor de las
diez. Si Patricia estaba en el campus universitario alrededor de las diez, entonces ella vio
que a su amiga. Si vio a su amiga, entonces ella sabe quien estuvo antes. Luego, si la
testigo dice la verdad, entonces Patricia no sabe quien estuvo antes.
Sol. El razonamiento no es válido.

M.Sc. René Quispe Cabrera P á g i n a 7 | 29

 12. Mi padre me alaba únicamente, si puedo sentirme orgulloso de mi mismo. O soy un buen
deportista o no puedo sentirme orgulloso de mi mismo. Si yo estudio intensamente,
entonces no puedo ser un buen deportista. Por tanto, si mi padre me alaba, entonces yo
no estudio intensamente.
Sol. El razonamiento es válido.

13. “Candelaria obtiene 75 puntos en el examen de lógica u obtiene 80 puntos. Si Candelaria

obtiene 75 puntos en el examen de lógica, entonces no logra la calificación de
sobresaliente. Si obtiene 80 puntos en el examen de lógica, no logra la calificación de
sobresaliente. Si Candelaria estudia, logra la calificación de sobresaliente en el examen
de lógica; luego Candelaria estudia.”
Sol. El razonamiento no es válido.

REGLAS DE INFERENCIA LÓGICA

1. Modus Ponendo Ponens (PP) 6. Ley de Conjunción (LC)

pq p
p q
q pq

2. Modus Tollendo Tollens (TT) 7. Ley de Adición (LA)

pq p
q p A
p
8. Dilema Constructivo (DC)
3. Modus Tollendo Ponens (TP) pq
pq pq r t
p o q pr
q p qt

4. Ley del Silogismo Hipotético (SH) 9. Dilema Destructivo (DD)

pq pq
qr r t
pr q  t
p  r
5. Ley de Simplificación (LS)
pq pq
o
p q

M.Sc. René Quispe Cabrera P á g i n a 8 | 29