LEYES DE LOGICA
LEYES DE LOGICA
Embedded Files
La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir de los conectores lógicos. Permite validar o no las afirmaciones que se hacen en matemáticas o en otras ramas del conocimiento. Es por esto que el estudio y comprensión de las estructuras que componen la lógica y la forma como validan o no las proposiciones es fundamental en todas las ramas de las ciencias.
La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir de los conectores lógicos. Permite validar o no las afirmaciones que se hacen en matemáticas o en otras ramas del conocimiento. Es por esto que el estudio y comprensión de las estructuras que componen la lógica y la forma como validan o no las proposiciones es fundamental en todas las ramas de las ciencias.
DOBLE NEGACIÓN
DOBLE NEGACIÓN
~ ~ (P∧ Q) = (P∧ Q)
~ ~ (P∧ Q) = (P∧ Q)
LEY DE MORGAN
LEY DE MORGAN
~ (P∧ Q) = ~P V ~Q
~ (P∧ Q) = ~P V ~Q
~ (P v Q) = ~P ∧ ~Q
~ (P v Q) = ~P ∧ ~Q
LEY CONMUTATIVA
LEY CONMUTATIVA
P ∧ Q = Q ∧ P
P ∧ Q = Q ∧ P
Q V P = P V Q
Q V P = P V Q
LEY ASOCIATIVA
LEY ASOCIATIVA
p ∧ (q∧r) = (p∧q) ∧ r
p ∧ (q∧r) = (p∧q) ∧ r
p v (q∧r) = (pvq) v r
p v (q∧r) = (pvq) v r
[Doble negación]
[Ley de Morgan]
[Ley Conmutativa]
[Ley Asociativa]
LEY DISTRIBUTIVA
LEY DISTRIBUTIVA
p v (q∧r) = (pvq) ∧ (pvr)
p v (q∧r) = (pvq) ∧ (pvr)
LEY IDEMPOTENTE
LEY IDEMPOTENTE
PVP = P
PVP = P
P∧P = P
INVERSA
INVERSA
P∧~P = F
PV~P = T
LEY NEUTRA
LEY NEUTRA
PVF = P
PVF = P
P∧ T = P
[Ley Distributiva]
[Ley Idempotente]
[Ley Inversa]
[Ley Neutra]
Únete al equipo
Únete al equipo
Si desea aprender más acerca de leyes de logica puede inscribirse en la carrera de Ingeniería en Sistemas de UMG Coban Alta Verapaz
Page updated
Report abuse