LÓGICA

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN”

CENTRO PREUNIVERSITARIO
SIMPLIFICACION DE ESQUEMAS MOLECULARES
CICLO INVIERNO 2020-II

PRINCIPIOS Y LEYES LÓGICAS 9) Absorción:

Para la simplificación de fórmulas del cálculo proposicional, p  (p  q)  p

son de suma utilidad las equivalencias o leyes lógicas. Su
p  (p  q)  p
demostración se reduce a la confección de las
correspondientes tablas de verdad (el resultado final de las p  (p  q)  p  q
mismas, siempre muestra una tautología).
p  (p  q)  p  q
En la elaboración de las siguientes leyes, se ha supuesto que p,
q y r son proposiciones que pueden asumir cualquier valor de 10) De Morgan:
verdad; mientras que V es una proposición verdadera y F es
una proposición falsa. (p  q)  p  q  p/q

PRINCIPALES LEYES LÓGICAS: (p  q)  p  q  p  q

1) Identidad 11) Condicional:

(p  V)  p p  q  p  q

(p  F)  F (p  q)  p  q

12) Leyes bicondicionales:

(p  V)  V
p  q  (p  q)  (q  p)
(p  F)  p

2) No Contradicción: p  q  p  q  p  q

 (p  p)  F  V p  q  p  q  ~p  ~q

3) Tercio Excluido: 13) Disyunción Fuerte:

p  p  V. p  q  (p  q)  ( p  q)

4) Idempotencia: p  q  (p  q)  (q  p)

ppp p  q   p  q

ppp 14) Transposición:

5) Conmutativa: p  q  p  q

pqqp (p  q)  q  p ≡ ~ p  ~ q

pqqp p  q  q  p  p  q

pqqp 15) Elementos Neutros Respecto a  y 

pqqp pVp

6) Asociativa: pVV

p  (q  r)  (p  q)  r pFF

p  (q  r)  (p  q)  r pFp

p  (q  r)  (p  q)  r 16) Otros:

p  (q  r)  (p  q)  r p  q  p  q

7) Distributiva: p  q  p  q

p  ( q  r)  (p  q)  (p  r) A B AB

p  ( q  r)  (p  q)  (p  r) A  B  A  B

8) Doble Negación o Involución: A  B  A  B

 (p)  p A  B  A  B

1
LÓGICA Práctica 02

EJERCICIOS PROPUESTOS
1. La fórmula simplificada de: 10. Se define a “#” y ” ” como:
(- p  q)  [(p v q) v (q  p)]  -q p # q = ∼ (q → p)
es:
a) – (- p  - q) b) –(-q  - p) c) – q  - p p  q = (p v ∼q)  [ (q → p) v r]
d) p  - q e) N.A. luego, la formula simplificada de
{q  [(p ∨ (r # s)) ∧ p]} → [(∼p # ∼q)  ∼q] es:
2. ¿Qué proposiciones formales tienen los mismos
a) p ∨q b) p ∧ q c) p d) q e) s
valores de verdad?
1) [- (A  B) v C] 11. Simplificar la proposición:
2) [C v (A  B)]
{ (p ∨ q ) ∧ [∼ (r → q) ∨ (∼q →∼r ) ] } ∨ [ (r ∨ ∼q) → q ]
3) –[(B  A)  - C]
4) [C v – (- B  - A)] a) p ∧ q b) ∼p ∧ q c) p ∧ ∼q d) p ∨ q e) N.A.
a) 1,2,3 b) 2,3y4 c) 3y4
d) Todas e) 1,3y4 12. Dadas las proposiciones:
I) q  r II) ∼( p  q) III) ( p  q) ∨ p IV) p  ∼q
3. La fórmula más simple de: ¿Cuáles de ellas pueden sustituir a X para que la
proposición: [(p  ∼q)  (r  p)]  X sea
{[-(p  q) v – (q  p)]  (-p  -q)} v (-p  - p), es: tautológica?
a) p  - q b) – p c) – q  - p a) I y II b) III y IV c) II y III
d) – q e) N.A. d) II y IV e) N.A.

4. Se define: * , Ø en la tabla siguiente: 13. Sean las fórmulas:

 = [~(p  q)  (~p  q)]  (~p  q)
 =[(p  ~q)  ~p ]  q
Hallar:   
a) p ∧ q b) ∼p ∨ q c) p ∨ q
d) p  p e) q  - q

14. De la proposición:
Simplificar: [ ( p Ø ~ q ) * p ] ∧ ( q Ø ~ p ) [(p  q  r)  (q  r)]  q
a) p b) q c) p ∧ ~ q Al simplificarla se obtiene:
d) p  q e) p ∧ ~ p a) q  q b)  p c) q r
d)  p  q e) p
5. Simplificar la proposición:
{[ p→(q∧∼ r) ] ∧ [p∧(q→r)]} ∨ {(p∧q) ∨ [r∧(∼r∨q)∧p]}
15. Si p = p2 ∧ p4 ∧ p6 ∧ … ∧ p2020
q = p1 ∧ p2 ∧ p3 ∧ … ∧ p2020
a) F b) p  q c) p  q Simplificar:
d) p  q e) V p ∧ [( p p1) ∧ (p p2) ∧( p p3) ∧ … ∧ (p p2020)]
a) p  q
6. Por Leyes lógicas, obtener la simplificación de: b) q
 (p  q)   q    p  q   q  c) p q
d) q
a) q b) q c) p d)  p e)q  p
e) p1  p2020
7. Reducir la siguiente proposición:
16. Se define a la Función M como:
(p q)(q p)(p q)(q p) … … 1, si x es V
M(x) = {
2M(x  V) − M(x) , si x es F
a) p  q b) ~ p  p c) p q
d) q  p e) (r  q q Luego, determinar el valor de:
M[p v q)  p  q] + M[(p  q  (r  s))  r]
8. Dado: p @ q ≡ { ∼ p → [ p → ( q ∧ t ∧ r ) ] } ∧ p
a) 2 b) 3 c) 4 d) 5 e) 8
Simplificar: [ ( p → q ) @ ( q ∧ p ) ] @ ( p ↔ q )
a) p b) p ∨ r c) p  r 17. Para que la siguiente expresión molecular tenga
como simplificación mínima únicamente a la
d) p ∨ q e) ∼ p  r
proposición atómica “p”.
p(pq)  p(pq) (p  A)
9. Reducir el Esquema:
El valores que podría tomar “A” es
B AA B A B ...... A B 1) A = p  q 2) A = p  (p v q)

99 veces  3) A = q 4) A = p  (r  r)
a) A b) ~ B  B c) ~ A ~ A Son correctas:
d) A  ~ A e) ~A a) 1y2 b) 2y3 c) 3y4 d) 2y4 e) solo3