Upload
teodoro-fosco
View
7
Download
2
Embed Size (px)
Citation preview
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
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
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
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
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
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
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
Absorción (Demostración)
Disyunto/Conjuntiva
Natán Finol
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
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
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
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
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
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
Gracias por su atención