“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” LÓGICA

CENTRO PREUNIVERSITARIO
LEYES LÓGICAS DE SIMPLIFICACIÓN
CEPU CICLO I-2022

PRINCIPIOS Y LEYES LÓGICAS

(a) p  (q  r)  (p  q)  r
Son esquemas tautológicos, es decir, son fórmulas (b) p  (q  r)  (p  q)  r
formalmente verdaderas, ya que están en función al (a) p  (q  r)  (p  q)  r
orden de sus componentes y no a los valores de los (b) p  (q  r)  (p  q)  r
mismos, constituyéndose una de ellas en instrumentos
para el análisis de inferencias (formas inferenciales) y 7) Distributiva:
otras se sustituyen por sus equivalentes (formas de Esta ley consiste en distribuir una variable (o una
equivalencias). fórmula parcial) que esté unida por una conjunción
(o disyunción incluyente) a un esquema molecular
Un principio lógico es el fundamento de toda verdad disyuntivo incluyente (o conjuntivo), según sea el
lógica (tautologías). Aquí se ubican los principios caso.
clásicos. En cambio, una fórmula es una ley lógica si y Es muy similar a la multiplicación de monomios y
solo si cualquiera sea la interpretación formalmente polinomios en álgebra. La operación inversa es
correcta que se haga de la misma se obtiene como muy similar a la factorización algebraica por el
resultado una verdad lógica, mientras que la regla lógica método del factor común.
es una forma válida de razonamiento cuyo objetivo es (a) p  ( q  r)  (p  q)  (p  r)
la operatividad, permitiendo efectuar operaciones para (b) p  ( q  r)  (p  q)  (p  r)
transformar una formula o derivar una consecuencia
lógica. 8) Doble Negación o Involución:
La doble negación de una proposición equivale a la
PRINCIPIOS LÓGICOS CLÁSICOS proposición sin negaciones. Esto es, la doble
negación consiste en agregar o quitar dos
1) Identidad: negaciones que afecten simultáneamente a la
(a) p → p  V misma proposición.
(b) p  p  V  (p)  p
2) No Contradicción:
(p  p)  F  V 9) Absorción:
3) Tercio Excluido: Esta ley se utiliza mucho en la simplificación de
p  p  V fórmulas lógicas.
Consiste en reducir una fórmula lógica conjuntiva
LEYES EQUIVALENTES O EQUIVALENCIAS o disyuntiva incluyente aprovechando que una de
NOTABLES sus variables se repite.
(a) p  (p  q)  p
4) Idempotencia: (b) p  (p  q)  p
Por esta ley se reducen las variables redundantes Debes tener en cuenta que cuando la variable que
a una sola. Se aplica a esquemas conjuntivos y se repite (simple o compuesta) tiene negación en
disyuntivos. un lado y no la tiene en el otro. En este caso, la
(a) p  p  p variable que está fuera queda como está (con o sin
(b) p  p  p negación) junto a la(s) variable(s) que no se
repite(n). Queda el conector que está afuera.
5) Conmutativa: (c) p  (p  q)  p  q
En una proposición conjuntiva o disyuntiva, si se (d) p  (p  q)  p  q
permutan las variables el resultado no se ve
afectado. 10) Morgan:
(a) p  q  q  p La negación de la disyunción de dos variables
(b) p  q  q  p equivale a la conjunción de dichas variables
negadas.
6) Asociativa: La negación de la conjunción de dos variables
En un esquema conjuntivo o disyuntivo incluyente, equivale a la disyunción de dichas variables
las variables se pueden agrupar aprovechando la negadas.
igualdad de conectores que exista entre dichas Es decir, el negador externo afecta a cada variable
proposiciones componentes, ya sean simples o y al conjuntor o disyuntor según sea el caso; y
compuestas. También se puede aplicar al viceversa.
biimplicador o al disyuntor excluyente. (a) (p  q)  p  q  p/q
(b) (p  q)  p  q  p  q

1
 LÓGICA Práctica 02

(f) p  q  p  q
11) Condicional: (g) p  q  q  p
Para ejecutar esta ley debemos identificar al (h) p  q  q  p
Antecedente y al Consecuente de la implicación. La (i) (p  q)  q  p ≡ ~ p  ~ q
aplicación consiste en Negar el Antecedente; (j) p  q  q  p  p  q
cambiar el Implicador por Disyuntor incluyente; y (k) p  q   (p  q)
el Consecuente permanece inalterable.
(a) p → q  p  q
(b) (p → q)  p  q EJERCICIOS RESUELTOS

12) Leyes bicondicionales: 1. La fórmula proposicional:

Se puede expresar como:
El biimplicador está compuesto por dos {[(p  q)  (r  -s)]  (t  u)}  -w
proposiciones; una implicativa y otra replicativa,
estas dos unidas por un conjuntor. Equivale, lógicamente a:
(a) p  q  (p → q)  (q → p)
(b) p  q  (p  q)  (p  q) A) p  q B) p  q C) r  -r
D) -t  w E) No se puede simplificar
El biimplicador está compuesto por dos
proposiciones; una conjuntiva y otra conjuntiva Solución:
pero con ambas variables negadas, estas dos unidas
por un disyuntor. No puede ser simplificado ya que ninguna variable
(c) p  q  (p  q)  (~p  ~q) proposicional se repite para poder simplificar.

13) Disyunción Fuerte: Respuesta: E) No se puede simplificar

Se puede expresar como:
El disyuntor excluyente está compuesto por dos 2. Simplificar:
proposiciones: una disyuntiva y otra disyuntiva
pero con ambas variables negadas. [(A  B)  (-A  B)]  (A  -B)
(a) p  q  (p  q)  ( p  q)
A) A B) 0 C) –B  A
El disyuntor excluyente está compuesto por dos D) -B E) 1
proposiciones conjuntivas: la primera con una de
las variables negada y la segunda con la otra Solución:
variable negada.
(b) p  q  (p  q)  (q  p) Simplificamos:
[(A  B)  (-A  B)]  (A  -B)
14) Transposición o contraposición:
En una proposición condicional se permutan las Debido a que la conjunción es asociativa, podemos:
variables y cada una se niega simultáneamente. (A  B)  [(-A  B)  (A  -B)]
(a) p → q  p → q Luego, utilizamos la definición de la implicancia:
(A  B)  [(A  B)  (A  B)]
15) Elementos Neutros Respecto a  y 
Otra de las leyes con similar aplicación que las dos
Utilizamos la ley de la doble negación en: B = B
anteriores. La diferencia, en este caso, es que una
(A  B)  [(A  B)  (A  B)]
proposición cualquiera (llamémosla “p”) es
evaluada al lado de una Tautología (V) o una
Contradicción (F). Lo subrayado es la definición de la disyunción
(a) p  V  p excluyente: p  q  (p  q)  ( p  q)
(b) p  V  V
(c) p  F  F Reemplazamos en el esquema:
(A  B)  (A  B)
(d) p  F  p
Aplicamos la ley de la idempotencia, quedando:
16) Otros:
AB
(a) p  q  p  q
(b) p  q  p  q
Lo que es equivalente a: –B  A
(c) p  q  p  q
(d) p  q  p  q
Respuesta: C) –B  A
(e) p  q  p  q

2
 LÓGICA Práctica 02

Respuesta: A) p  q
3. Reducir: 5. Simplificar el esquema:

 r  ( t  t )   ( p  q )  r  [(B  C)  A]  [(A  B)  B]

A) p B) r C) r A) A  B B) B C) A  B
D) p  q E) t D) C E) A

Solución: Solución:

En:  r  ( t  t )   ( p  q )  r  En el esquema molecular, inicialmente aplicamos

equivalencias entre la bicondicional y la disyunción
Aplicamos la ley de tercio excluido en la proposición exclusiva y la ley asociativa:
subrayada, quedando:
[(B  C)  A]  [(A  B)  B]
 r  V    ( p  q )  r  [(B  C)  A]  [A  (B  B)]
r   ( p  q )  r  [(B  C)  A]  [A  F]
[(B  C)  A]  A
En el esquema subrayado aplicamos la definición de
la negación de la disyunción: Aplicamos la ley de la Absorción, quedaría:
r   ( p  q )  r  A

En el esquema subrayado aplicamos la ley de Respuesta: E) A

Morgan:
r   ( p  q )  r 
r   (p  q )  r  EJERCICIOS PROPUESTOS

Aplicamos la ley de la doble negación: 1. Simplificar el siguiente esquema molecular:

r   (p  q)  r 
m  (n → p)  r  (−n  m)
Luego, aplicamos la ley de la Absorción, quedando:
r nm
A) B) m  n C) −m
D) m E) n
Respuesta: B) r
2. El esquema formal:
4. Si: p # q = p  q
[(p → q)  q]  p
Indique la proposición equivalente a:
Tiene como mínimo equivalente a:
[(p # q) # q] # p
A) p → q B) p → p C) p → p
D) p E) q → q
A) p  q B) q  p C) p → q
D) p ↑ q E) p → q
3. Simplificar la proposición compuesta siguiente:
Solución:
(~p → q)  (~p  ~p)]  [(m  n)  (~m  ~n)]
De acuerdo a los datos, debemos reemplazar p # q
A) p  q B) p  q C) p
= p  q, en [(p # q) # q] # p
D) q E) p  q
[(p # q) # q] # p
4. Dado:
[(p  q)  q]  p
p @ q = {[(p  q) → q]  p}  q
Aplicando la ley de Morgan y de la Doble negación,
Simplificar:
quedaría:
[(p  q)  q]  p
(p  q) @ [ (p  r) @ q]
Ahora aplicamos la ley de la Absorción, en el sub
esquema subrayado, resultando: A) q B) p  r C) q
qp D) p  q E) p  q

3
 LÓGICA Práctica 02

5. Se define: 11. Simplificar:

p  q = ( q  p)  ( p  q) ( p → q) → (p → q)  ( p  q)
Simplificar: A) ~q B) V C) p
D) q E) p
 (p  q) → p → (−p  q) → q
12. Si:
A) V B) q C) p p • q = q   p → ( p  q)
D) p E) F
Señale el valor de verdad de:
6. ¿Cuáles de los siguientes enunciados son
verdaderos?
I. q  ( p • q )
I) (p  q) → (p  q)
II) [p  (p → q)] → q II. q →  ( p  q) • q 
III) (p  q) → (p  q) III. {(q • p)• p   p}
Son inciertos:
A) VFV B) VFF C) VVF
A) I y II B) I y III C) Solo I D) FFV E) FVV
D) II y III E) II
13. Simplifique el esquema formal siguiente:
7. Simplificar la función:
(q  s)  {[(p  q)  q]  [(p  r)  q]}
{[(𝐴 → 𝐵) ∧ (𝐵 → 𝐴)] ∧∼ 𝐵} → 𝐵
A) p  q B) p → q C) p  q
A) A ↔ B B) 1 C) A ∨ B D) p  q E) p
D) 0 E) – B
14. Simplificar el siguiente esquema:
8. Simplificar:
[q  (p  q)]  [(p  q)   p]
a  [(a '  b ')(a  b)]
A)  p B) F C)  p  q
D) V E) p  q
A) a’ B) a C) b’
D) V E) F
15. Reducir el siguiente esquema molecular a su
mínima expresión:
9. Al simplificar:
(p  q)  q  (p  q)
{(p  q)  (~p  ~q)] → (q  p)}  (p  q)
A) p  q B) p  q C) p  q
Se obtiene:
D) q E) p  q
A) p  q B) p → q C) p  q
16. Al simplificar la fórmula proposicional:
D) p  q E) p
{[(pq)  (qp)]  [(pq)  (pq)]} → p
10. Simplificar:
Se tiene:
A  (A  B)  (A  B)
A) V B) F C) p
A) A B) B C) A
D) p E) p  q
D) A  B E) A  B

4
 LÓGICA Práctica 02

17. Se define p  q, como:

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

Simplificar:
(p  q)  (q  p)

A) p  p B) p  q C) q  p
D) p  q E) p  q

18. El siguiente esquema formal:

(p  q)  [(p  q)  (p  q)]

Simplificado equivale a:

1) p  q 2) (p  q) 3) (p  q)
4) p  (p  q) 5) p  (p  q)

Son ciertas:

A) Sólo 1, 3 y 5 B) Sólo 1 y 3
C) Sólo 1, 2 y 3 D) Todas
E) Sólo 1 y 5

19. Indicar el valor de verdad de:

I. (p  q)  (q  p) , es una contradicción.
II. (m → o) → [( n → m)  (n → o)] , es una
tautología.
III. [( n  m)  (n  o)]  m , es una
contingencia.

A) VVV B) VVF C) VFF

D) VFV E) FFF

20. Simplificar:

 A (A B)  B

A) A B) B  -A C) -A
D) A  B E) A  B