Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MADRE DE DIOS
COMPLEMENTO MATEMÁTICO DE
DERECHO
QUINTA SEMANA: SESION 13
LEYES LOGICAS
1) LEYES DE IDEMPOTENCIA
1 a) 𝑝 ∧ 𝑝 ≡ 𝑝 1𝑏) 𝑝 ∨ 𝑝 ≡ 𝑝
2) LEY DE INVOLUCION O DOBLE NEGACION
∼ ( ∼ 𝑝) ≡ 𝑝
3) LEYES CONMUTATIVAS
4) LEYES ASOCIATIVAS
4a) (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑝 ∧ 𝑟) 4𝑏) (𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
4𝑐) (𝑝 ⇔ 𝑞) ⇔ 𝑟 ≡ 𝑝 ⇔ (𝑞 ⇔ 𝑟)
5) LEYES DISTRIBUTIVAS
5a) 𝑝 ∧ 𝑞 ∨ 𝑟 ≡ 𝑝 ∧ 𝑞 ∨ 𝑝 ∧ 𝑟
5𝑏) 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
5𝑐) 𝑝 ⇒ (𝑞 ∧ 𝑟) ≡ (𝑝 ⇒ 𝑞) ∧ (𝑝 ⇒ 𝑟)
5𝑑) 𝑝 ⇒ (𝑞 ∨ 𝑟) ≡ (𝑝 ⇒ 𝑞) ∧ (𝑝 ⇒ 𝑟)
6) IDENTIDAD O DEL ELEMENTO NEUTRO
6a) 𝑝 ∧ 𝑉 ≡ 𝑝
6𝑏) 𝑝 ∨ 𝐹 ≡ 𝑝
7) LEYES DE MORGAN
7a) ~(𝑝 ∧ 𝑞) ≡ ~𝑝 ∨∼ 𝑞
7𝑏) ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
8) LEYES DE ABSORCION
8a) 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
8b) 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
8𝑐) 𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ≡ 𝑝 ∧ 𝑞
8𝑑) 𝑝 ∨ (∼ 𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
9) LEYES CONDICIONALES
9a) 𝑝 ⇒ 𝑞 ≡∼ 𝑝 ∨ 𝑞
9b) 𝑝 ⇒ 𝑞 ≡ ~𝑝 ⇒ ~𝑞
10) LEYES BICONDICIONALES
10a) 𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑞)
10b) 𝑝 ⇔ 𝑞 ≡ 𝑝 ∧ 𝑞 ∨ ∼ 𝑝 ∧∼ 𝑞
10𝑐) 𝑝 ⇔ 𝑞 ≡ (∼ 𝑝 ⟺∼ 𝑞)
TEOREMA: Si p es una proposición cualquiera , T es una tautología
y C es una contradicción, entonces:
a) 𝑇 ∧ 𝑝 ≡ 𝑝 b) 𝐶 ∧ 𝑝 ≡ 𝐶
𝑐) 𝑇 ∨ 𝑝 ≡ 𝑇 d) 𝐶 ∨ 𝑝 ≡ 𝑝
EJERCICIOS
Haciendo uso de las reglas del algebra de proposiciones, simplificar:
𝑎) 𝑡: ∼ [∼ (𝑝 ∧ 𝑞) ⇒ ~𝑞] ∨ 𝑞
b) 𝑟: ∼ 𝑝 ∧∼ 𝑝 ∧∼ 𝑞 ∨ [𝑞 ∧∼ ∼ 𝑞 ∧∼ 𝑝 ]
GRACIAS