LEYES DE LA LGICA (LEYES DEL LGEBRA PROPOSICIONAL)

Para denotar que dos proposiciones son equivalentes se utiliza el signo , as:
p q
Nota: Estas leyes debe notarse, aparecen formuladas por pares debido a la
naturaleza DUA !A precede a " y " precede a A# del $lgebra de
proposiciones%
1) LEYES DE IDEMPOTENCIA.- para V y para
Dice: &si p es una proposici'n simple o compuesta, entonces(:
a# !p V p# p
b# !p p# p
!) sea seg*n estas leyes, las proposiciones: p V p ' p p pueden
sustituirse por p#%
2) LEYES DE IDENTIDAD.- para V y para
Dice: &si p es una proposici'n simple o compuesta, entonces(:
a# p V !v# !v# !es decir, cuando formamos la disyunci'n de una
proposici'n p, cuyo valor de verdad no conocemos, con otra cuyo valor
de verdad es !v# !verdadero#, el resultado es !v#, ya que la disyunci'n es
verdadera cuando al menos una de las proposiciones dadas es
verdadera#%
b# p V !f# p !es decir, el valor de verdad de la disyunci'n de una
proposici'n p, cuyo valor de verdad no conocemos, con otra cuyo valor
de verdad es !f#, depende del valor de p#%
c# p !v# p !es decir, el valor de verdad de la con+unci'n de una
proposici'n p, cuyo valor de verdad no conocemos, con otro cuyo valor
de verdad es !v#, depende del valor de p#%
d# p !f# !f# !es decir, cuando formamos la con+unci'n de una proposici'n
p, cuyo valor de verdad no conocemos, con otra cuyo valor de verdad es
!f#, el resultado es !f#, ya que la con+unci'n es falsa cuando al menos
una de las proposiciones dadas es falsa#%
3) LEYES CONMTATIVAS.- para V y para
Dice: &si p y q son proposiciones, entonces(:
a# !p V q# !q V p#
b# !p q# !q p#
Es decir, dos proposiciones conectadas con disyunci'n !V# o con+unci'n ! #
pueden escribirse en cualquier orden%
!) LEYES ASOCIATIVAS.
Dice: &si p, q, r, son proposiciones cualquiera, entonces(:
a# p V !q V r# !p V q# V r
b# p !q r# !p q# r
") LEYES DISTRIBTIVAS.
Dice: &si p, q, r son proposiciones cualquiera, entonces(:
a# ,p V !q r#- ,!p V q# !p V r#-
b# ,p !q V r#- ,!p q# V !p r#-
#) LEY DE LA DOBLE NEGACIN O INVOLCIN O COMPLEMENTO.
Dice: &si p es una proposici'n cualquiera, entonces(:
.!.p# p !es decir, al negar dos veces una proposci'n obtenemos una
afirmaci'n, o sea, no y no p es p, igual es .f v, .v f%
$) LEY DEL TERCERO E%CLIDO.
p V !.p# !v#
&) LEY DE CONTRADICCIN.
p !.p# !f#
') LEYES DE D(MORGAN.
Dice: &si p y q son proposiciones simples o compuestas, entonces(:
a# .!p q# !.p V .q# !dice que para negar una con+unci'n es necesario
cambiar la con+unci'n por disyunci'n ! por V# y negar las
proposiciones dadas#%
b# .!p V q# !.p .q# !dice que para negar una disyunci'n debemos
cambiar la disyunci'n por con+unci'n !V por # y negar las
proposiciones dadas#%
1)) LEY DE DE*INICIN ALTERNA DEL CONDICIONAL
Dice: a proposici'n !p / q# es una abreviaci'n de la proposici'n !.p V q# o
sea: !p / q# !.p V q#%
Nota: 0on muc1os los esquemas l'gicos que ofrecen alguna comple+idad y
pueden simplificarse utilizando esta definici'n alterna del condicional%