Soğurma yasası

Olarak cebri , emme kanunu bir bir kimlik iki köprü iç bileşimin yasaları .

Tanım

İç kompozisyonun iki yasa ve emilim halinde kanununu doğrulamak: $\üst$ $\ bot$

{\ Displaystyle a \ top (a \ bot b) = a \ bot (a \ üst b) = a}

Özellikleri

Izin vermek iki iç kompozisyon yasası ile sağlanan bir set ve . Bu yasalar değişmeli , birleşmeli ve soğurma yasasını doğrularsa, ortaya çıkan cebirsel yapı bir kafestir . $E$ $\üst$ $\ bot$ ${\ displaystyle (E, \ top, \ bot)}$

Örnekler

Herhangi bir Boole cebirinde (veya daha genel olarak herhangi bir Heyting cebirinde ), iki işlem ve soğurma yasasını doğrular: $\ lor$ $\ arazi$

{\ Displaystyle a \ vee (a \ kama b) = a \ kama (a \ vee b) = a ~,}

özellikle mantık ve bilgisayar biliminde kullanılan Boole cebri ( , ve = ardından sırasıyla tayin mantıksal ayırma , mantıksal birleşim ve mantıksal denklik ). $\ vee$ ${\ displaystyle \ kama}$

(fr) Bu makale kısmen veya tamamen Wikipedia makalesinden alınmıştır İngilizce başlıklı " Soğurma yasası " ( yazarların listesini görmek ) .