Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Leyes Logicas
Leyes Logicas
-
p ^ (q v ~q )
p^V LEY DE COMPLEMENTO
p LEY DE IDENTIDAD
B.-
~q v (~p ^ p)
~q v F LEY DE COMPLEMENTO
~q LEY DE IDENTIDAD
C.-
~(p ^ ~q) v q
(~p v q) v q LEY DE MORGAN
~p v (q v q ) LEY DE ASOCIATIVA
~p v q LEY DE IDEMPOTENCIA
D.-
~(p => ~q) ^ p
~ (~p v ~ q) ^ p LEY CONDICIONAL
(p ^ q ) ^ p LEY DE MORGAN
(p ^ p ) ^ q LEY ASOCIATIVA
p^q LEY DE IDEMPOTENCIA
E.-
q ^ (~p => ~q)
q ^ (p v ~ q) LEY CONDICIONAL
(q ^ p ) v (q ^ ~q ) LEY DISTRIBUTIVA
(q ^ p ) v F LEY DE COMPLEMENTO
q^p LEY DE IDENTIDAD
F.-
(~p => q) ^ (p v ~ q)
(p v q) ^ (p v ~ q) LEY CONDICIONAL
p v (q ^ ~q) LEY DISTRIBUTIVA
pvF LEY DE COMPLEMENTO
p LEY DE IDENTIDAD
G.-
p v~(p => r)
p v~ (~ p v r) LEY CONDICIONAL
p v (p ^ ~r ) LEY DE MORGAN
p LEY DE ABSORCIÓN
H.-
q v (p => ~q)
q v(~ p v ~q) LEY CONDICIONAL
p v (q v ~q ) LEY DE ASOCIATIVA
pvV LEY DE COMPLEMENTO
V LEY DE IDENTIDAD
I.-
p ^ [q v (p ^ ~q )]
P ^ [(q v p) ^ (q v ~ q)] LEY DISTRIBUTIVA
P ^ [(q v p) ^ V ] LEY DE COMPLEMENTO
P ^ (q v p) LEY IDENTIDAD
P LEY DE ABSORCIÓN
J.-
~(p ^ q) ^ (p => q)
(~p v ~ q) ^ (~p v q) LEY DE MORGAN/LEY CONDIC
~p v (~ q ^ q) LEY DISTRIBUTIVA
~p v F LEY DE COMPLEMENTO
~p LEY DE IDENTIDAD
K.-
[(p ^ ~q) v (p ^ q) ] => (~ p ^ ~q)
[ p ^ (~q v q )] => (~ p ^ ~q) LEY DISTRIBUTIVA
[ p ^ V ] => (~ p ^ ~q) LEY DE COMPLEMENTO
P => (~ p ^ ~q) LEY DE IDENTIDAD
~ p v (~ p ^ ~q) LEY CONDICIONAL
~p LEY DE ABSORCION
L.-
[q ^(q => ~p)] => ~ (p ^ q)
[q ^(~q v ~p)] => (~ p v ~q) L. CONDICIONAL/L.D.M.
[(q ^~q) v (q ^~p)] => (~ p v ~q) LEY DISTRIBUTIVA
[ F v (q ^~p)] => (~ p v ~q)LEY DE COMPLEMENTO
(q ^~p) => (~ p v ~q) LEY DE IDENTIDAD
~ (q ^~p) v(~ p v ~q) LEY CONDICIONAL
(~q v p) v(~ p v ~q) LEY DE MORGAN
~q v (p v ~ p) LEY ASOCIATIVA
~q v V LEY DE COMPLEMENTO
V LEY DE IDENTIDAD