Matemática Discreta

Reglas de Inferencia

Mg. Marco Antonio Cuentas Montenegro

Docente – Universidad Continental

mcuentas@continental.edu.pe
 PROPÓSITO

El estudiante utiliza las leyes y equivalencias notables para simplificar

esquemas lógicos

El estudiante interpreta las Reglas de inferencia y a partir de ellas

demuestra la validez de los razonamientos.

Mgº Juan Lira

RECORDEMOS LA CLASE ANTERIOR
 Leyes lógicas resumen
ley
Involución D. Neg. ~(~p) ≡ p
Idempotencia p^p≡p
pvp≡p
Leyes conmutativas p ^ q ≡ q ^p
p ^ q ≡ q ^p
Leyes Asociativas (p^q)^r≡ p^(q ^r)
(pvq)vr≡ pv(q v r)
Leyes distributivas r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
r v ( p ^ q ) ≡ ( r v p ) ^ (r v q )
Leyes de Morgan ~( p ^ q ) ≡ ~p v ~q
~( p v q ) ≡ ~p ^ ~q
Mgº Juan Lira
 ley
Leyes del condicional p →q ≡ ~p v q
~ (p →q) ≡ p ^ ~q
Leyes del bicondicional p ↔ q ≡ ( p → q ) ^ ( q → p )
p ↔ q ≡ ( p ^ q ) v ( ~p ^ ~q )
Leyes de la absorción p ^ ( p v q ) ≡ p
p ^ ( ~p v q ) ≡ p ^ q
pv(p^q)≡p
pv(~p^q)≡pvq
Leyes de transposición p → q ≡ ~ q → ~p
p ↔ q ≡ ~ q ↔ ~p
Ley de exportación ( p ^ q ) → r ≡ p → ( q → r)

Mgº Juan Lira

 ley

Normas Normales
Conjunción V^V≡V
V^p≡p
F^p≡F F = Falso

Disyunción FvF ≡F
Fvp≡p
Vvp≡V V= Verdadero

ley
Tercio excluido p v ~p ≡ V
p ^ ~p ≡ F
T = tautología
Mgº Juan Lira
C = Contradicción
Simplificar la siguiente proposición lógica:

~ [~ (p Λ q) → ~q] v p

Solución

~ [~ (p Λ q) → ~q] v p

~ [~ (~ (p Λ q) v ~q)] v p por la condicional

~ [(p Λ q) v ~q] v p por la negación

~ [~q v (p Λ q)] v p por conmutativa en la conjunción

~ [~q v p] v p por absorción

(~p Λ q) v p por Morgan

pvq por absorción

Mgº Juan Lira

Simplificar la siguiente proposición lógica:

~ [~ (p Λ q) → ~q] v p

Solución

~ [~ (p Λ q) → ~q] v p

~ [~ (~ (p Λ q) v ~q)] v p por la condicional

~ [(p Λ q) v ~q] v p por la negación

~ [~q v (p Λ q)] v p por conmutativa en la conjunción

~ [~q v p] v p por absorción

(~p Λ q) v p por Morgan

pvq por absorción

Mgº Juan Lira

 Determinar el circuito lógico que representa el siguiente esquema molecular.

∼ [p → ∼ (q v r)]
Solución
Simplificando se tiene:
∼ [p → ∼ (q v r) Ξ ∼ [∼p v ~∼ (q v r)
Ξ p Λ (q v r)

Según se observa, los esquemas moleculares que pueden ser representados por circuitos lógicos son los
conjuntivos y disyuntivos, luego, los esquemas condicionales o bicondicionales deben de ser transformadas a
esquemas conjuntivos o disyuntivos, mediante leyes lógicas.
Determinar el circuito lógico que representa el siguiente esquema molecular.

(∼ p) ←→ (p → ∼q)
Solución
(∼p) ←→ (p → ∼q) Ξ (∼p) ←→ (∼p v ∼ q)
Ξ (∼p Λ (∼p v ∼q) v (p Λ (p Λ q))
Ξ (∼p) v (p)

Mgº Juan Lira

Determinar la menor expresión que representa el circuito dado:

Solución
La función Booleana del circuito dado es: [p v (∼q Λ ∼p) v q] Λ ∼p
Ahora simplificamos la proposición obtenida:
[p v (∼q Λ ∼p) v q] Λ ∼p Ξ [p v q v ∼p] Λ ∼p
Ξ [(p v ∼q) v q] Λ ∼p
Ξ (V v q) Λ ∼p
Ξ q Λ ∼p

Mgº Juan Lira

Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
Mgº Juan Lira
RECORDEMOS QUE VIMOS EL DÍA DE HOY
¿QUÉ HAREMOS LA
PRÓXIMA CLASE?

EJERCICIOS
Ingº Juan Lira