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

Ley de doble negacin

Ley distributiva
Ley del tercio excluido
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

..

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