MATEMÁTICA: LÓGICA Y FUNCIONES Dra.

Mariella Salcedo Núñez

MATEMÁTICA
LÓGICA Y FUNCIONES

LEYES LÓGICAS

Dra. Mariella Salcedo Núñez

 MATEMÁTICA: LÓGICA Y FUNCIONES Dra. Mariella Salcedo Núñez

Si ocurrió, puede ser, y si ocurriera,

seria. Pero como no ocurre, no es. Eso
es la lógica.

Lewis Carroll

LEYES LÓGICAS

PROPOSICIONES LÓGICAMENTE EQUIVALENTES

Dos proposiciones son equivalentes o lógicamente equivalentes, si sus tablas de verdad
son idénticas, en cuyo caso se simboliza “≡”

OTRAS LEYES LÓGICAS:

Leyes asociativas Leyes distributivas Leyes de absorción

(𝑝∨𝑞) ∨𝑟≡𝑝∨(𝑞∨𝑟) 𝑝∧ (𝑞 ∨𝑟) ≡(𝑝∧q) ∨(𝑝∧𝑟) 𝑝∨(𝑝∧q) ≡𝑝

(𝑝∧𝑞) ∧𝑟≡𝑝∧(𝑞∧𝑟) 𝑝∨(𝑞∧r) ≡(𝑝∨q) ∧(𝑝∨𝑟) 𝑝∧(𝑝∨q) ≡𝑝
(𝑝↔𝑞)↔𝑟≡𝑝↔(𝑞↔𝑟) 𝑝 → (𝑞 ∧ 𝑟) ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) 𝑝∨( ~𝑝∧q)≡𝑝∨q
𝑝 → (𝑞 ∨ 𝑟) ≡ (𝑝 → 𝑞) ∨ (𝑝 → 𝑟) 𝑝∧( ~𝑝∨q)≡𝑝∧q
 MATEMÁTICA: LÓGICA Y FUNCIONES Dra. Mariella Salcedo Núñez

Leyes de la bicondicional Leyes del Leyes de identidad

complemento
𝑝↔𝑞≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝) 𝑝∨ ~𝑝≡T 𝑝∨T≡T
𝑝↔𝑞≡ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞) 𝑝∧~𝑝≡C 𝑝∨C≡𝑝
𝑝↔𝑞≡ ~(𝑝 △ 𝑞) T: tautología 𝑝∧T≡𝑝
C: contradicción 𝑝∧C≡C

Leyes de la disyunción exclusiva

𝑝△𝑞≡ (𝑝 ∨ 𝑞) ∧ ~(p ∧ q)
𝑝△𝑞≡ ~(𝑝↔𝑞)

Ejemplo:

1. Simplifique la siguiente expresión lógica

~{[(𝑞 → 𝑝) ∧ (𝑝 → 𝑞)] ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)}

Solución:

Observamos bien la expresión lógica y buscamos que leyes podemos utilizar

para simplificar.

~{[(𝑞 → 𝑝) ∧ (𝑝 → 𝑞)] ∨ (∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)}

~{[(∼ 𝑞 ∨ 𝑝) ∧ (∼ 𝑝 ∨ 𝑞)] ∨ [∼ 𝑝 ∧ (𝑞 ∨∼ 𝑞)]}

~{[(∼ 𝑞 ∨ 𝑝) ∧ (∼ 𝑝 ∨ 𝑞)] ∨ [∼ 𝑝 ∧ (𝑇)]}

~{[(∼ 𝑞 ∨ 𝑝) ∧ (∼ 𝑝 ∨ 𝑞)] ∨ [∼ 𝑝]}

~{[∼ 𝑝] ∨ [(∼ 𝑞 ∨ 𝑝) ∧ (∼ 𝑝 ∨ 𝑞)]}

~{[(∼ 𝑝) ∨ (∼ 𝑞 ∨ 𝑝)] ∧ [(∼ 𝑝) ∨ (∼ 𝑝 ∨ 𝑞)]}

~{[∼ 𝑝 ∨ 𝑝 ∨∼ 𝑞 ] ∧ [∼ 𝑝 ∨∼ 𝑝 ∨ 𝑞]}

~{[𝑇 ∨∼ 𝑞 ] ∧ [∼ 𝑝 ∨ 𝑞]}

~{[𝑇 ] ∧ [∼ 𝑝 ∨ 𝑞]}

~{∼ 𝑝 ∨ 𝑞}

~ ∼ 𝑝 ∧∼ 𝑞

𝑝 ∧∼ 𝑞
 MATEMÁTICA: LÓGICA Y FUNCIONES Dra. Mariella Salcedo Núñez

VAMOS A PRACTICAR:
1. Observe cada caso y luego escriba a la derecha la ley lógica que se
aplicó:

a) (𝑝∨~𝑞)∨𝑟≡𝑝∨(~𝑞∨𝑟)
…………………………………………..
b) ~(𝑟 ∧ 𝑞) ≡ ~𝑟 ∨ ~𝑞 …………………………………………..
c)𝑝∧~𝑝≡C …………………………………………..
d) ~𝑝∨( 𝑝∧~q)≡ ~𝑝∨~q …………………………………………..
e) r∧( ~r∨s)≡r∧s …………………………………………..
…………………………………………..
f) ~(~(~p) ≡ ~p
…………………………………………..
g) ~(𝑠 → 𝑟) ≡ 𝑠 ∧∼ 𝑟
…………………………………………..
h) ~s∨ s≡T
…………………………………………..
i) ~𝑟 ↔ 𝑠 ≡ 𝑠 ↔ ~𝑟
…………………………………………..
j) ~r∧(s∨t)≡( ~𝑟∧s)∨( ~𝑟∧t)

2. Compruebe mediante tablas de verdad la veracidad de las leyes:

a) 𝑝↔𝑞≡ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞)
b) 𝑝∨( ~𝑝∧q)≡𝑝∨q

3. Simplifique las siguientes expresiones lógicas:

a) ~[~(𝑝 ∧ 𝑞) → ~𝑞]
b) ~{(𝑝 ∧ 𝑞) ∨ [𝑝 ∧ (∽ 𝑝 ∨ 𝑞)]}

Bibliografía:

Figueroa, R. (2006) Matemática básica 1. Lima, Perú. Ediciones RFG.

Academia internet (2016) Algebra de proposiciones lógicas, leyes lógicas. Disponible en:
https://www.youtube.com/watch?v=nnWSSURO29Y

Profeguille (2016) Simplificación de proposiciones lógicas resueltos. Disponible en:

https://www.youtube.com/watch?v=O9hWYbXjjcc