Universidad Alejandro de Humboldt.

Facultad de Ingeniería. Ciclo Básico. Asignatura: Lógica

Profesora: Yrma Rodriguez.

LEYES DE LÓGICA

Son proposiciones universales, necesarias, evidentes y verdaderas, se usan en las operaciones con conceptos y juicios, en los
razonamientos, demostraciones y refutaciones.

SIMPLIFICACIÓN DE PROPOSICIONES

La simplificación de una proposición, es reducir la expresión lógica a una forma más simple mediante el uso de los axiomas y/o
leyes lógicas. Consiste en ir desarrollando la expresión paso a paso mediante la sustitución en cada paso de una expresión lógica
equivalente a la anterior, hasta llegar a una expresión lógica irreducible.
Es importante destacar, que al resolver se copian los conectivos ( ^ v → ↔ ) y los paréntesis, tal cual están en las leyes, mientras
que los enunciados (o sea las letras) que tienen los ejercicios, se dejan igual. Hay que demostrar la equivalencia ↔ existente entre
las fórmulas.

LEYES DE LÓGICA
p˄F↔F CONMUTATI
VA CONDICIONAL
IDENTIDA pvV↔V
D pvq↔qvp (p → q ) ↔ (~p v q)
p˄V↔p
pvF↔p p˄q↔q˄p ~(p → q) ↔ ( p ˄ ~q)
 ~(
IDEMPOTEN
CIA ABSORCION ASOCIATIVA

(p v p) ↔ p COMPLEMENTACI p ˄ (p v q) ↔ p (p v q) v r ↔ p v (q v r )
ON
(p ˄ p) ↔ p p v (p ˄ q) ↔ p (p ˄ q) ˄ r ↔ p ˄ (q ˄
( p v ~p) ↔ V r)
p ˄ (~p v q) ↔( p ˄ q
( p ˄ ~p) ↔ F )

~V↔F p v (~p ˄ q) ↔( p v q
~( )
~F↔V

DISTRIBUTIVA DOBLE BICONDICIONAL

NEGACION
p v (q ˄ r) ↔ (p v q) ˄ (p v r) (p ↔ q) ↔ (p → q) ˄ (q →p)
~(~p) ↔ p
p ˄ (q v r) ↔ (p ˄ q) v (p ˄ r)

Lógica 1er Semestre Ciclo Básico Prof. Yrma Rodriguez

EJERCICIOS
SIMPLIFICAR APLICANDO LAS LEYES DE LÓGICA
DADA LA FORMULA LEYES APLICAR PASOS A SEGUIR
PROPOSICIONAL
p^(~pvq) Buscar en la Ley distributiva, donde haya p ^ (q v
r) y sustituir por el equivalente o sea (p ˄ q) v (p ˄
(p ˄ ~ p) v (p ˄ q) Distributiva r).

F v (p ˄ q) Complementación Esa ley establece que la conjunción de un enunciado

verdadero y falso es equivalente a Falso, entonces
sustituir (p ˄ ~ p) por F (aplica solo en el primer
 paréntesis, ya que tiene un enunciado y el otro tiene
dos.
(p ˄ q) v F Conmutativa La ley establece p v q ↔ q v p, entonces sustituir los
enunciados y el conectivo queda igual.
(p ˄ q) Identidad Según la ley p v F ↔ p o sea, al enunciado que está a
la izquierda, en el ejercicio se refiere a (p ˄ q). Sustituir
DADA LA FORMULA LEYES APLICAR PASOS A SEGUIR
PROPOSICIONAL
~ (p ˄ q ) ˄ ( q v ~ p ) Ubicar en el ejercicio cual de las dos formulas se parece
alguna de Morgan y convertirla en el equivalente, la otra
( ~ p v ~q) ˄ ( q v ~ p ) Morgan fórmula queda igual
~ p v ( ~q ˄ q) Distributiva Buscar en la Ley distributiva, donde haya (p v q) ˄ (p v
r) y sustituir por el equivalente o sea p v (q ˄ r)
~pvF Complementación Esa ley establece que la conjunción de un enunciado
verdadero y falso es equivalente a Falso, entonces
sustituir (~q ˄ ~q) por F.
~p Identidad Según la ley p v F ↔ p o sea, al enunciado que está a
la izquierda en el ejercicio se refiere a ~ p Sustituir

Lógica 1er Semestre Ciclo Básico Prof. Yrma Rodriguez

DADA LA FORMULA LEYES APLICAR PASOS A SEGUIR
PROPOSICIONAL
p˄(pvq)
 (p ˄ p) v (p ˄ q) Distributiva Buscar en la Ley distributiva, donde haya p ^ (q v
r) y sustituir por el equivalente o sea (p ˄ q) v (p ˄
r).

pv(p˄q) Idempotencia Esa ley establece que la conjunción de un mismo

enunciado es equivalente a ese enunciado entonces
sustituir (p ˄ p) por p (aplica solo en el primer
paréntesis, ya que tiene un enunciado y el otro tiene
dos.

p Absorción Se ubica en la ley, toda la formula y se coloca el

equivalente

DADA LA FORMULA LEYES APLICAR PASOS A SEGUIR

PROPOSICIONAL
(p ˄ q) → r

~ (p ˄ q) v r Condicional Se utiliza la 1ra ley que establece p → q ↔ ~ p v q,

donde (p ˄ q) es p (se niega el paréntesis) se cambia el
condicional → por la disyunción v y r queda igual.

(~p v ~ q) v r Morgan Ubicar en el ejercicio cuál de las dos fórmulas se parece

alguna de Morgan y convertirla en el equivalente.

~p v ( ~ q v r) Asociativa Solo se cambia el orden de los signos de agrupación, lo

demás queda igual

p → ( ~ q v r) Condicional Se utiliza la 1ra ley que establece p → q ↔ ~ p v q,

para colocarle el equivalente p → q. Se elimina la
negación de p y la disyunción cambia a condicional
Lógica 1er Semestre Ciclo Básico Prof. Yrma Rodriguez
DADA LA FORMULA LEYES APLICAR PASOS A SEGUIR
PROPOSICIONAL
( q ) → ( ~p ) Se utiliza la 1ra ley que establece p → q ↔ ~ p v q,
donde (q) es p (y se niega), luego se cambia el
~ (~q ) v ( ~p ) Condicional condicional → por la disyunción v y ( ~p ) queda igual.

q v ~p Doble negación Establece que, al negar dos veces un enunciado, éste

cambia verdadero, en este caso es ~ (~q )
~p v q Conmutativa La ley establece p v q ↔ q v p, entonces sustituir los
enunciados y el conectivo queda igual.
p→q Condicional Se utiliza la 1ra ley que establece p → q ↔ ~ p v q,
para colocarle el equivalente p → q. Se elimina la
negación de p y la disyunción cambia a condicional
DADA LA FORMULA LEYES APLICAR PASOS A SEGUIR
PROPOSICIONAL
~ [ (~p ^ ~ q ) v ~ q ] Solo se cambia el orden de los signos de agrupación
(los paréntesis), lo demás queda igual.
~ [ ~p ^ (~ q v ~ q ) ] Asociativa

~ [ ~p ^ ~ q ] Idempotencia Esa ley establece que la conjunción de un mismo

enunciado es equivalente a ese enunciado entonces
sustituir (~ q v ~ q ) por ~ q, lo demás queda igual.

~ (~p ) v ~ (~ q) Morgan Aplicar la ley y eliminar los corchetes y colocar paréntesis

 pvq Doble negación Establece que, al negar dos veces un enunciado, éste
cambia a verdadero.

Lógica 1er Semestre Ciclo Básico Prof. Yrma Rodriguez