Scribd
Cargar
83 vistas1 página

Leyes Lógicas y Identidad Proposicional

Este documento presenta las leyes lógicas, las leyes del álgebra y las leyes conjuntistas. Describe las leyes comutativas, asociativas, distributivas, de identidad, de negación, de Morgan, de absorción, de Poretsky, de idempotencia, así como las definiciones de implicación, doble implicación, diferencia y disyunción fuerte.

Cargado por

Acero Jr 10
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
83 vistas1 página

Leyes Lógicas y Identidad Proposicional

Este documento presenta las leyes lógicas, las leyes del álgebra y las leyes conjuntistas. Describe las leyes comutativas, asociativas, distributivas, de identidad, de negación, de Morgan, de absorción, de Poretsky, de idempotencia, así como las definiciones de implicación, doble implicación, diferencia y disyunción fuerte.

Cargado por

Acero Jr 10
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

LEYES LÓGICAS LEYES LEYES CONJUNTISTAS

ÁLGEBRA
Leyes conmutativas Leyes conmutativas Leyes conmutativas
p⋀q = q⋀p a.b = b.a A∩B = B∩A
p⋁q = q⋁p a+b = b+a A∪B = B∪A
Leyes asociativas Leyes asociativas Leyes asociativas
(p⋀q)⋀r = p⋀ (q⋀r) (a.b).c = a.(b.c) (A∩B)∩C = A∩(B∩C)
(p⋁q)⋁r = p⋁ (q⋁r) (a+b)+c = a+(b+c) (A∪B)∪C = A∪(B∪C)
Leyes distributivas Leyes distributivas Leyes distributivas
p⋀ (q⋁r) = (p⋀q)⋁ (p⋀r) a.(b+c) = (a.b)+(a.c) A∩(B∪C) = (A∩B)∪(A∩C)
p⋁ (q⋀r) = (p⋁q)⋀ (p⋁r) a+(b.c) ≠ (a+b).(a+c) A∪(B∩C) = (A∪B)∩(A∪C)
Leyes de identidad Elemento Neutro Leyes de identidad
p⋀V =p a.1 = a A∩U =A
p⋁F =p a+0 = a A∪∅=A
Leyes de negacion Elemento Opuesto Leyes de complemento
p⋀~p =F a.(-a) = 1 A∩Aᶜ = ∅
p⋁~p =V a+(-a) = 0 A∪Aᶜ = U
Ley de doble negación Ley de doble complemento
~ (~p) = p (Aᶜ)ᶜ = A
Leyes de Morgan ⋀ . ∩ Leyes de Morgan
~ (p⋀q) = ~p⋁~q ⋁ + ∪ (A∩B)ᶜ = Aᶜ∪Bᶜ
~ (p⋁q) = ~p⋀~q ~ - ᶜ (A∪B)ᶜ = Aᶜ∩Bᶜ
V 1 U
Ley de Absorción Ley de Absorción
F 0 ∅
P⋀(p⋁r) = p A∩(A∪B) = A
P⋁ (p⋀r) = p A∪(A∩B) = A
p⋀F=F CONDICION DE A∩∅=∅
ANTITAUTOLOGIA
p⋁V=V CONDICION DE TAUTOLOGIA A∪ U = U
Leyes de poretski Leyes de poretski
~p⋀ (p⋁r) = ~p⋀r Aᶜ∩(A∪B) = Aᶜ∩B
~p⋁ (p⋀r) = ~p⋁r Aᶜ∪(A∩B) = Aᶜ∪B
Leyes de Idempotencia Leyes de Idempotencia
p⋀p = p A∩A = A
p⋁p = p A∪A = A
Definicion de implicación Definicion de diferencia
p⇒q = ~p⋁q A-B = A∩Bᶜ
Definición de dobleimplicación Definición de diferencia simétrica
p⇔q = (p⇒q)⋀(q⇒p) A∆B = (A-B)∪(B-A)
p⇔q = ( p⋀q )⋁~ (p⋁q ) A∆B = (A∪B)∩(B∩A)ᶜ
Definición de disyuncion
fuerte
pvq = ~(p⇔q)

También podría gustarte