Julio GarridoC.I.V-19242913 Natán FinolC.I.V-11820777 Jesús LeónC.I.V-15232809 Emmy...

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