![Page 1: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/1.jpg)
Leyes Lógicas
Julio Garrido C.I.V-19242913
Natán Finol C.I.V-11820777
Jesús León C.I.V-15232809
Emmy Hurtado C.I.V-17530530
![Page 2: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/2.jpg)
Ley Idempotencia
Propiedad para realizar una determinada acción varias veces y aún así conseguir el mismo resultado que se obtendría si se realizase dicha acción una sola vez.
Julio Garrido
![Page 3: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/3.jpg)
Idempotencia (Disyuntiva)
p: La Vinotinto ganó el domingo
p ν p ↔ p
La Vinotinto ganó el domingo o La Vinotinto ganó el domingo, si y solo si, La Vinotinto ganó el domingo.
Julio Garrido
![Page 4: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/4.jpg)
Idempotencia (Conjuntiva)
p: La Vinotinto ganó el domingo
p Λ p ↔ p
La Vinotinto ganó el domingo y La Vinotinto ganó el domingo, si y solo si, La Vinotinto ganó el domingo.
Julio Garrido
![Page 5: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/5.jpg)
Ley de Absorción
Ley derivada de la conjunción que presenta dos modalidades para su resolución, la Absorción Conjunto/disyuntiva y la Absorción Disyunto/conjuntiva. Al aplicarse cualquiera de éstas reglas, la premisa inicial es equivalente a la fórmula lógica en su totalidad.
Natán Finol
![Page 6: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/6.jpg)
Absorción (Disyunto/Conjuntiva)
p: Llueveq: Hace frío
p ν ( p Λ q ) ↔ p
Llueve o, Llueve y Hace frío, si y solo si, Llueve.
Natán Finol
![Page 7: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/7.jpg)
Absorción (Conjunto/Disyuntiva)
p: Llueveq: Hace frío
p Λ ( p ν q ) ↔ p
Llueve y, Llueve o Hace frío, si y solo si, Llueve.
Natán Finol
![Page 8: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/8.jpg)
Absorción (Demostración)
Disyunto/Conjuntiva
Natán Finol
![Page 9: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/9.jpg)
Ley Asociativa
Para cualesquiera premisas de una fórmula lógica, no importa el orden en que se operen las parejas de premisas, mientras no se cambien el orden de éstas ni sus operadores, se obtendrá el mismo resultado.
Jesús León
![Page 10: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/10.jpg)
Ley Asociativa (Disyunción)
p: Hace calor q: Me tomo una Cervezar: Enciendo el A/A s: Me siento mejor
( p ν q ) ν r → s ↔ p ν ( q ν r ) → s
Hace calor o Me tomo una Cerveza, o Enciendo el A/A, entonces Me siento mejor, si y solo si, Hace calor o, Me tomo una Cerveza o
Enciendo el A/A, entonces Me siento mejor.
Jesús León
![Page 11: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/11.jpg)
Ley Asociativa (Conjunción)
p: Hace calor q: Me tomo una Cervezar: Enciendo el A/A s: Me siento mejor
( p Λ q ) Λ r → s ↔ p Λ ( q Λ r ) → s
Hace calor y Me tomo una Cerveza, y Enciendo el A/A, entonces Me siento mejor, si y solo si, Hace calor y, Me tomo una Cerveza y
Enciendo el A/A, entonces Me siento mejor.
Jesús León
![Page 12: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/12.jpg)
Ley Conmutativa
Para cualesquiera premisas de una fórmula lógica, no importa el orden en que se operen dichas premisas en la resolución, mientras no se cambien sus operadores, se obtendrá el mismo resultado.
Emmy Hurtado
![Page 13: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/13.jpg)
Ley Conmutativa (Disyunción)
p: Ahorroq: Me compro un carro
r: Soy feliz
p ν q → r ↔ q ν p → r
Ahorro o Me compro un carro, entonces Soy feliz, si y solo si, Me compro un carro o Ahorro, entonces Soy feliz.
Emmy Hurtado
![Page 14: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/14.jpg)
Ley Conmutativa (Conjunción)
p: Ahorroq: Me compro un carro
r: Soy feliz
p Λ q → r ↔ q Λ p → r
Ahorro y Me compro un carro, entonces Soy feliz, si y solo si, Me compro un carro y Ahorro, entonces Soy feliz.
Emmy Hurtado
![Page 15: Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy HurtadoC.I.V-17530530](https://reader033.vdocumento.com/reader033/viewer/2022042623/54ea70cb4a795936438b4eaa/html5/thumbnails/15.jpg)
Gracias por su atención