Professional Documents
Culture Documents
proposiciones
Lgica Matemtica |
Prueba Deductiva
Posted on 12 enero, 2016 by matematicapositiva
p q p ~q 0
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
p p V ppF p (q r) (p q) (p r)
p (q r) (p q) (p r)
pqqp p q (p q) (q p)
pqqp
pqqp
(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
VVV FFF
pVp pFp
pFF pVV
Ejemplo:
(p q) (p q) Ley condicional
p ( q q) Ley distributiva
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://www.youtube.com/watch?v=gOK8FsGc15E
http://www.youtube.com/watch?v=uFj5o7uuWrg
Ejemplo:
Vlida el argumento (p q) p
Solucin
(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
_____________________________________________________________
Cant bien
________________________________________________________
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.