3) Explique detalladamente de que se trata cada una de las leyes del álgebra proposicional.
Respuestas a la pregunta
Leyes del álgebra proposicional.
Ley del tercero excluido: es en la que dos proposiciones si una de ellas niega lo que la otra afirma, una de ellas es necesariamente verdadera.
Ley de involución o doble negación: si una proposición es verdadera, entonces no es el caso de que la declaración no es cierta.
Ley de idempotencia: se basa en que un enunciado repetido varias veces por los general resulta en el mismo, en otras palabras una disyunción o conjunción con la misma proposición se simplifica siendo la proposición
Ley conmutativa: es cuando el orden del enunciado no afecta el resulta, no es en todos los casos cierta
Ley asociativa: es la ley de agrupación de enunciados
Ley distributiva: nos indica que al agrupar unos enunciados, se obtendrá la misma respuesta que si se dejara cada uno por separado.
La ley de Morgan permite transformarla en una proposición disyuntiva negativa en su totalidad y en sus miembros.