Blog de matemática, teoría, ejemplos y problemas: https://goo.gl/uuGi9s
Vídeos de lógica proposicional: https://goo.gl/93Ciuz
Enunciados y proposiciones lógicas: https://youtu.be/-mwtBmNCWBM
Conectivos u operadores lógicos: https://youtu.be/27OagHo3CXQ
Proposiciones simples y compuestas: https://youtu.be/5M0QJpGNsnI
Como expresar en el lenguaje simbólico proposiciones lógicas: https://youtu.be/DO3wXiso0-s
Operaciones con proposiciones lógicas: https://youtu.be/_U2T5fXYE1A
Valor de verdad de las proposiciones lógicas: https://youtu.be/7yG51IKT6hs
Valor de verdad de las proposiciones lógicas expresadas en el lenguaje simbólico: https://youtu.be/IIDDj9GxGSg
Leyes lógicas - Parte 1: https://youtu.be/gTPGnViPvt0
Leyes lógicas - Parte 2: https://youtu.be/M5AYSPiFsyI
Simplificación de proposiciones: https://youtu.be/w4mwDQDXL8U
Inferencia lógica o argumento lógico: https://youtu.be/EkLZ1OPYFdg
1. LEYES DEL ÁLGEBRA PROPOSICIONAL
Las proposiciones equivalentes se convierten
en leyes lógicas. Existen infinitas proposiciones equivalentes. Pero sólo
consideraremos algunas a las que llamaremos leyes del álgebra proposicional
1) Leyes del
tercio excluido
p Ú ~ p º V p Ù ~ p º F
|
6) Leyes
distributivas
p Ù (q Ú r) º (p Ù q) Ú (p Ù r)
p Ú (q Ù r) º (p Ú q) Ù (p Ú r)
|
2) Ley de
involución o doble negación
~ (~ p) º p
|
7) Leyes de De
Morgan
~ (p Ù q) º ~ p Ú ~ q
~ (p Ú q) º ~ p Ù ~ q
|
3) Ley de
idempotencia
p Ú p º p p Ù p º p
|
8) Leyes
condicionales
p ® q º ~ p Ú q
|
4) Leyes
conmutativas
p Ú q º q Ú p
p Ù q º q Ù p
p « q º q « p
|
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
absorción
p Ù (p Ú q) º p
p Ú (p Ù q) º p
p Ù (~ p Ú q) º p Ù q
p Ú (~ p Ù q) º p Ú q
|
11) Formas
normales para la conjunción y disyunción
V Ù V
º V F Ú F
º F
p Ù V
º p p Ú F
º p
p Ù F º F p Ú V º V
|
|
Las leyes del álgebra proposicional se aplican o
utilizan en la validación de proposiciones compuestas, es decir, para
determinar el valor de verdad de una proposición. Además se utiliza en la
simplificación de proposiciones compuestas.
Ejemplo:
Simplifica la proposición ~ (p Ù ~ q) ® (p Ù q) aplicando las leyes del álgebra proposicional.
~ [~ (p Ù ~ q)] Ú (p Ù q) ……………… Ley condicional
(p Ù ~ q) Ú (p Ù q) ……………… Ley de doble negación
p Ù (~ q Ú q) ……………… Ley distributiva
p Ù V ……………… Ley del tercio excluido
p ……………… Formas normales
ACTIVIDAD DE APRENDIZAJE Nro. 03
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)
Vídeos de leyes lógicas en You Tube:
1) LEYES LÓGICAS
PARTE (1)
2) LEYES LÓGICAS
PARTE (2)
3) SIMPLIFICACIÓN
DE PROPOSICIONES (1)
4) SIMPLIFICACIÓN
DE PROPOSICIONES (2)
5) COMO SIMPLIFICAR PROPOSICIONES
