leyes del lgebra de

proposiciones
Lgica Matemtica |
Prueba Deductiva
Posted on 12 enero, 2016 by matematicapositiva

Una Prueba o Demostracin es un argumento que nos

permite asegurar o afirmar la verdad de una proposicin
usando otras proposiciones ya demostradas o mediante
axiomas.
Con el uso de las leyes del lgebra de Proposiciones vista
en una entrada anterior podemos probar otras
equivalencias lgicas.
Ejemplo:
EJ.1) Probar la Ley de Reduccin al Absurdo:

p q p ~q 0

p ~q 0 ~(p ~q) 0(Ley del Condicional)

~(p ~q)(Ley de Identidad)
~p q(Ley de Morgan)
p q (Ley del Condicional)

EJ.2) Probar la ley de Exportacin

(p q) r p (q r)

(p q) r ~(p q ) r(Ley del Condicional)

(~p ~q ) r(Ley de Morgan)
~p ( ~q r)(Ley Asociativa)
p (q r) (Ley del Condicional)
BIBLIOGRAFIA:
Senz J.(2005). Fundamentos de la Matemtica.
Barquisimeto: Hipotenusa
Comprtelo:

Twitter
Facebook
WhatsApp
Google
Telegram
Reddit
 LinkedIn

Cargando...
Publicado en Lgica Matemtica, Sin categoraEtiquetado lgica
matemtica, leyes del lgebra de proposiciones, leyes
lgicas, matemtica, prueba deductivaDeja un comentario

lgebra de Proposiciones
Posted on 21 septiembre, 2015 by matematicapositiva
Del Estudio de las Tautologas se derivan dos tipos
especiales de estas: La Equivalencia Lgica y las
Implicaciones. Estas son Tautologas que tienen la
forma proposicional de un Bicondicional y un
Condicional, respectivamente.
EQUIVALENCIA LGICA >
Bicondicional()
IMPLICACIONES> Condicional()
EQUIVALENCIA LGICA
Definicin:
Sean A y B dos formas proposicionales. Diremos que A
es lgicamente equivalente a B, o simplemente que A es
equivalente a B, y escribiremos:
ABAB
si y slo si la forma Bicondicional AB es una
Tautologa
Observar que el Bicondicional A B es una tautologa
si y slo si A tiene los mismos valores lgicos que B.
Dos formas proposicionales son equivalente slo
cuando es absolutamente imposible que tengan
diferentes valores de verdad. Por lo tanto, las
proposiciones lgicamente equivalentes tienen el mismo
significado y se pueden sustituir uno por otro en
cualquier contexto sin que se modifique el valor lgico.
Propiedades de la Equivalencia Lgica:
1. Reflexiva: Para toda proposicin se cumple que:
AA
2. Simtrica: Si AB entonces BA
3. Transitiva: Si AB y BC, entonces AC
LGEBRA DE PROPOSICIONES:
Existen abundantes equivalencias lgicas. Sin embargo,
todas estas pueden deducirse a partir de unas pocas
equivalencias fundamentales , llamadas comnmente
leyes del lgebra de proposiciones.
LEYES DEL LGEBRA DE PROPOSICIONES:
Definicin:
Son Equivalencias Lgicas que nos permiten reducir
esquemas moleculares complejos y expresarlos en
forma ms sencilla.
Tambin son llamadas leyes lgicas, y representan
formas proposicionales en la que si se sustituyen sus
variables por los enunciados correspondiente el
resultado ser una proposicin lgicamente verdadera.
Con fundamento en el contenido de la definicin de ley
lgica se evidencia la relacin de est con las
tautologas: toda tautologa es una ley lgica.
A continuacin se muestran las leyes lgicas
fundamentales:
Descargar Imagen

La Demostracin de estas leyes se puede realizar

medieante el uso de Tablas de Verdad o por deduccin
utilizando otras leyes del lgebra de Proposiciones.
Aqu un Video que muestra algunas demostraciones
mediante Tabla de Verdad.

LEYES LGICAS, LEYES DEL LGEBRA PROPOSICIONAL E INFERENCIA LGICA O

ARGUMENTO LGICO
LEYES DEL LGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lgicas. Existen

infinitas proposiciones equivalentes. Pero slo consideraremos algunas a las que
llamaremos leyes del lgebra proposicional

1) Leyes del tercio excluido 6) Leyes distributivas

p p V ppF p (q r) (p q) (p r)

p (q r) (p q) (p r)

2) Ley de involucin o doble 7) Leyes de De Morgan

negacin
(p q) p q
~ (~ p) p
(p q) p q

3) Ley de idempotencia 8) Leyes condicionales

ppp ppp pqpq

4) Leyes conmutativas 9) Leyes bicondicionales

pqqp p q (p q) (q p)
 pqqp

pqqp

5) Leyes asociativas 10) Leyes de absorcin

(p q) r p (q r) p (p q) p

(p q) r p (q r) p (p q) p

p ( p q) p q

p ( p q) p q

11) Formas normales para la conjuncin y disyuncin

VVV FFF

pVp pFp

pFF pVV

Las leyes del lgebra proposicional se aplican o utilizan en la validacin

de proposiciones compuestas, es decir, para determinar el valor de verdad de
una proposicin. Adems se utiliza en la simplificacin de proposiciones
compuestas.

Ejemplo:

Simplifica la proposicin (p q) (p q) aplicando las leyes del

lgebra proposicional.

(p q) (p q) Ley condicional

(p q) (p q) Ley de doble negacin

p ( q q) Ley distributiva

pV Ley del tercio excluido

p Formas normales

ACTIVIDAD DE APRENDIZAJE
Simplifica los siguientes esquemas moleculares aplicando las leyes del lgebra
proposicional:

1) (p q) p

2) (p q) p ( q p)

3) ( p q) ( q p)

4) (p q) p ( q p)

VDEOS SOBRE LEYES LGICAS:

1) LEYES LGICAS PARTE (1)

http://www.youtube.com/watch?v=gOK8FsGc15E

2) LEYES LGICAS PARTE (2)

http://www.youtube.com/watch?v=uFj5o7uuWrg

3) SIMPLIFICACIN DE PROPOSICIONES (1)

http://www.youtube.com/watch?v=LPumjaEUy5o
4) SIMPLIFICACIN DE PROPOSICIONES (2)
http://www.youtube.com/watch?v=uFj5o7uuWrg
5) COMO SIMPLIFICAR PROPOSICIONES
http://www.youtube.com/watch?v=Mid7_qEoUt8

LA INFERENCIA LGICA O ARGUMENTO LGICO

Se llama inferencia lgica o argumento lgico a toda condicional de la forma:

(p1 p2 pk ) q donde las proposiciones p1, p2, pk son llamadas premisas, y
originan como consecuencia otra proposicin denotada por q llamada conclusin.

Una inferencia puede ser tautologa, contingencia o contradiccin.

Si la condicional es una tautologa, es decir si es una implicacin entonces
recibe el nombre de argumento vlido o inferencia vlida.

Si la condicional no es una tautologa entonces se denomina falacia o

simplemente argumento no vlido.

Ejemplo:

Vlida el argumento (p q) p

Solucin

Aplicando las leyes del lgebra proposicional

 ( p q) p .. Ley condicional

(p q) p .. Ley de De Morgan

p .. Ley de absorcin
VDEO DE INFERENCIA LGICA:
http://www.youtube.com/watch?v=OmX1Xg6bnlk

ACTIVIDAD DE APRENDIZAJE

1) Verifica la validez de los siguientes argumentos aplicando las leyes del lgebra
proposicional y construyendo tablas de verdad:

a) p q b) (p q) r

qp qr

______ ___________

q Pq

2) Valida el siguiente argumento lgico:

La parada militar no se realizar en Huancayo porque Doe Run bloquea la

carretera central

Lo colegios emblemticos amenazan con protestas en contra del gobierno

Doe Run no bloquear la carretera central

Por lo tanto, La parada militar se realizar en Huancayo

3) Valida la siguiente inferencia lgica:

Si el gobierno suspende el estado de emergencia entonces Espinar vuelve a la

calma

Los dirigentes de Espinar tienen intereses electoreros

Espinar no vuelve a la calma

 Por lo tanto, El gobierno no suspende el estado de emergencia

4) Valida el siguiente argumento lgico:

Si no se realiza el estudio tcnico entonces el aeropuerto de Jauja va

No se realiza el estudio tcnico porque los jaujinos protestan

Los jaujinos no protestan

_____________________________________________________________

Por tanto, el aeropuerto de Jauja no va

5) Valida el siguiente argumento lgico:

Si canto bien entonces no gano el concurso

No ganar el concurso porque tengo pocos votos por la red

Cant bien

________________________________________________________

Por tanto, no gan el concurso

6) Valida la siguiente inferencia lgica:

Los ministros no comunican al pueblo sobre las obras del gobierno dado que son
mudos. No es cierto que, los ministros sean mudos porque con frecuencia son
entrevistados en los medios de comunicacin. Por tanto, los ministros no son
mudos.

7) Valida el siguiente argumento lgico:

Si trabajo no puedo estudiar. Estudio o apruebo matemtica. Trabaj. Por lo

tanto, aprob matemtica

8) Valida la siguiente inferencia lgica:

Conga no va porque la minera contamina las lagunas. Si la minera no
contamina las lagunas entonces los ros traen agua no contaminada. Los ros
traen agua contaminada. Por lo tanto, Conga va