Sie sind auf Seite 1von 4

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
p p V
ppF

6) Leyes distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r)

2) Ley de involucin o doble


negacin
~ (~ p) p

7) Leyes de De Morgan
(p q) p q
(p q) p q

3) Ley de idempotencia
ppp
ppp

8) Leyes condicionales
pqpq

4) Leyes conmutativas
pqqp
pqqp
pqqp

9) Leyes bicondicionales
p q (p q) (q p)

5) Leyes asociativas
(p q) r p (q r)
(p q) r p (q r)

10) Leyes de absorcin


p (p q) p
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)

http://matematica1.com/logica-proposicional-ejercicios-resueltos-de-nivelpreuniversitario-pdf/
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

..

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

______

___________

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
son
son
son

ministros no comunican al pueblo sobre las obras del gobierno dado que
mudos. No es cierto que, los ministros sean mudos porque con frecuencia
entrevistados en los medios de comunicacin. Por tanto, los ministros no
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

Das könnte Ihnen auch gefallen