UNIVERSIDAD TÉCNICA DE AMBATO

FACULTAD DE CONTABILIDAD Y AUDITORIA 15

DATOS INFORMATIVOS:
NOMBRE: Anahí Guevara
CURSO: C.A. 1 A
FECHA: 23/10/2023

TEMA DE INVESTIGACIÓN: 38 Leyes de lógica matemática

BIBLIOGRAFIA, LINKOGRAFIA, WEBGRAFÍA:

https://www.feandalucia.ccoo.es/docu/p5sd7481.pdf

file:///C:/Users/Lenovo/Documents/anahi/cato/matematica%20basica/extras/Dialnet-ElPrincipioDeIdentidad-
7921629.pdf

https://books.google.com.ec/books?id=bLnH4BbOk0EC&pg=PA44&dq=Leyes+de+la+l%C3%B3gica+matem
%C3%A1tica&hl=es-
419&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwjfpZb_tY2CAxUvpIkEHWZPDL0Q6AF6BAgHEAI#v=onepage&q=Le
yes%20de%20la%20l%C3%B3gica%20matem%C3%A1tica&f=false

https://ciencias-basicas.com/matematica/superior/logica-proposicional/las-principales-leyes-logicas/

https://es.scribd.com/document/432436196/LEYES-LOGICAS-docx

CONTENIDO DEL TRABAJO:

1. Ley de identidad: p→p
 Esta ley establece que una proposición es igual a sí misma.
2. Ley de no contradicción: ¬(p∧¬p)
 Esta ley establece que una proposición no puede ser verdadera y falsa al mismo tiempo.
3. Ley del tercero excluido: p∨¬p
 Esta ley establece que una proposición o su negación debe ser verdadera.
4. Ley conmutativa de la conjunción: p∧q≡q∧p
 Esta ley establece que el orden de las proposiciones en una conjunción no afecta el resultado.
5. Ley conmutativa de la disyunción: p∨q≡q∨p
 Esta ley establece que el orden de las proposiciones en una disyunción no afecta el resultado.
6. Ley asociativa de la conjunción: (p∧q)∧r≡p∧(q∧r)
 Esta ley establece que la agrupación de proposiciones en una conjunción no afecta el resultado.
7. Ley asociativa de la disyunción: (p∨q)∨r≡p∨(q∨r)
 Esta ley establece que la agrupación de proposiciones en una disyunción no afecta el resultado.
8. Ley distributiva: p∧(q∨r)≡(p∧q)∨(p∧r)
 Esta ley relaciona la conjunción y la disyunción, permitiendo distribuir una proposición a través de una
disyunción.
9. Ley de la negación de la conjunción: ¬(p∧q)≡¬p∨¬q
 Esta ley establece que la negación de una conjunción es equivalente a la disyunción de las negaciones de las
proposiciones individuales.
10. Ley de la negación de la disyunción: ¬(p∨q)≡¬p∧¬q
 Esta ley establece que la negación de una disyunción es equivalente a la conjunción de las negaciones de las
proposiciones individuales.
11. Ley de la implicación: p→q≡¬p∨q
 Esta ley establece que una implicación puede reescribirse como una disyunción de la negación de la proposición
antecedente y la proposición consecuente.
12. Ley de la doble implicación: p↔q≡(p→q)∧(q→p)
 Esta ley establece que una doble implicación es verdadera si y solo si ambas implicaciones unidireccionales son
verdaderas.
13. Ley de De Morgan para la negación de una conjunción: ¬(p∧q)≡¬p∨¬q
 Esta ley es una forma de la Ley 9 y establece que la negación de una conjunción es equivalente a la disyunción
de las negaciones de las proposiciones individuales.
14. Ley de De Morgan para la negación de una disyunción: ¬(p∨q)≡¬p∧¬q
 Esta ley es una forma de la Ley 10 y establece que la negación de una disyunción es equivalente a la conjunción
de las negaciones de las proposiciones individuales.
15. Ley de la tautología: p∨¬p
 Esta ley es un ejemplo de una tautología, una proposición siempre verdadera, ya que una proposición o su
negación debe ser verdadera (Ley del tercero excluido).
16. Ley de la contradicción: p∧¬p
 Esta ley es un ejemplo de una contradicción, una proposición siempre falsa, ya que una proposición no puede se
verdadera y falsa al mismo tiempo (Ley de no contradicción).
17. Regla de simplificación: p∧q→p y p∧q→q
 Esta regla permite extraer una de las proposiciones conjuntas cuando se conoce que ambas son verdaderas.
18. Regla de adición: p→p∨q y q→p∨q
 Esta regla permite agregar una proposición a una disyunción si se sabe que la proposición es verdadera.
19. Regla de modus ponens: Si tienes p→q y p, entonces puedes concluir q.
 Esta regla se usa para derivar una conclusión a partir de una implicación y la proposición antecedente.
20. Regla de modus tollens: Si tienes p→q y ¬q, entonces puedes concluir ¬p.
 Esta regla se usa para derivar una conclusión a partir de una implicación y la negación de la proposición
consecuente.
21. Regla de silogismo hipotético: Si tienes p→q y q→r, entonces puedes concluir p→r.
 Esta regla se utiliza para combinar dos implicaciones en una implicación compuesta.
22. Regla de silogismo disyuntivo: Si tienes p∨q y ¬p, entonces puedes concluir q, y si tienes p∨q y ¬q, entonces puedes
concluir p.
 Esta regla se usa para extraer una proposición de una disyunción y su negación.
23. Regla de eliminación del condicional: Si tienes p→q y ¬p∨q, entonces puedes concluir q.
 Esta regla se utiliza para reescribir una implicación como una disyunción y luego extraer una proposición de esa
disyunción.
24. Regla de doble negación: Si tienes ¬¬p, entonces puedes concluir p.
 Esta regla permite eliminar una doble negación de una proposición.
25. Regla de contraposición: Si tienes p→q, puedes concluir ¬q→¬p.
 Esta regla relaciona una implicación con su contraposición.

26. Regla de simplificación de la doble implicación: Si tienes p↔q, puedes concluir p→q y q→p.
 Esta regla descompone una doble implicación en dos implicaciones unidireccionales.
27. Regla de la exportación: Si tienes p∧(p→q), puedes concluir q.
 Esta regla se utiliza para extraer una proposición de una conjunción y una implicación.
28. Regla de importación: Si tienes (p∧q)→r, puedes concluir p→(q→r).
 Esta regla relaciona una implicación de una conjunción con una implicación compuesta.

29. Regla de equivalencia: Si tienes p→q y q→p, puedes concluir p↔q.

 Esta regla se utiliza para combinar dos implicaciones en una doble implicación.
30. Regla de absorción: p∧(p∨q)≡p y p∨(p∧q)≡p
 Esta regla permite simplificar una conjunción o disyunción cuando una de las proposiciones es idéntica.
31. Regla de contraposición de la negación: Si tienes ¬q→¬p, puedes concluir p→q.
 Esta regla relaciona una implicación con su contraposición negativa.
32. Regla de eliminación de la disyunción: Si tienes p∨q y p→r y q→r, puedes concluir r.
 Esta regla se utiliza para extraer una conclusión de una disyunción y dos implicaciones que se derivan de las do
opciones de la disyunción.

33. Regla de reemplazo lógico: Si tienes p y p↔q, puedes concluir q.

 Esta regla permite reemplazar una proposición con una equivalente en una derivación lógica.

34. Regla de bicondicional simplificado: p↔q≡(¬p∨q)∧(p∨¬q)

 Esta regla descompone una doble implicación en dos implicaciones unidireccionales.
35. Regla de la disyunción excluyente: (p∨q)∧(¬p∨¬q)
  Esta regla establece que, si tienes una disyunción y su negación, ambas proposiciones no pueden ser verdaderas
al mismo tiempo.
36. Regla de distribución del condicional: p→(q∧r)≡(p→q)∧(p→r)
 Esta regla relaciona una implicación con una conjunción.

37. Regla de distribución del bicondicional: p↔(q∧r)≡(p↔q)∧(p↔r)

 Esta regla relaciona una doble implicación con una conjunción.
38. Regla de la negación de una tautología: ¬(p∨¬p)
 Esta regla establece que la negación de una tautología es siempre falsa.

APORTE: Este trabajo nos ayuda a comprender los conceptos de las leyes en la lógica matemática y como esta se
representa y sus símbolos, también nos centramos los conceptos de cada ley para aprender correcta mente el tema de
investigación.
CONCLUCIONES: Se concluye que los cuantificadores son aquellos que derivan para dar un número incierto de un
grupo de personas cosas animales inclusive de números dados en un ejercicio lugar espacio y tiempo determinado
RECOMENDACIONES: Se recomienda seguir con la práctica del autoestudio en casa e implementar actividades
interactivas cognitivas con los estudiantes en clases.