4.

2 Beberapa Letis Khusus

Definisi

Misalkan L adalah letis. L disebut terbatas di bawah jika ada elemen di L yang dilambangkan 0
sehingga 0 ≤ 𝑎 untuk setiap 𝑎 ∈ L. Sebaliknya L disebut terbatas di atas jika terdapat elemen
di L yang dilambangkan 1 sehingga ɑ ≤ 1 untuk setiap 𝑎 ∈ L. L dikatakan terbatas jika L
terbatas di bawah dan L di atas.

Di bawah ini adalah dua catatan penting yang berkenaan dengan elemen 0 dan 1 dalam sebuah
letis terbatas.

(1) Sebagai akibat langsung dari sifat antisimetris, elemen 0 dan 1 (bila ada) adalah tunggal.

(2) Untuk setiap 𝑎 ∈ L, berlaku

0*𝑎=0 1*𝑎=𝑎

0⨁𝑎=𝑎 1⨁𝑎=1

4.3 Letis Berkomplemen

Definisi

Misalkan L adalah letis terbatas dan 𝑎 ∈ L. b ∈ L disebut komplemen dari 𝑎 jika 𝑎 * b = 0 dan
𝑎 ⨁ b = 1. Pernyataan “b komplemen dari 𝑎” secara singkat dilambangkan dengan b = 𝑎’.
Jika setiap elemen dari L mempunyai komplemen, maka L disebut berkomplemen.

Contoh 3

Perhatikan letis L yang diagramnya seperti yang dibawah ini.

Karena untuk setiap 𝑥 ∈ L berlaku ɑ ≤ 𝑥 dan 𝑥 ≤ 𝑒, maka L adalah letis terbatas di bawah
dan terbatas di atas.

Dengan kata lain L adalah letis terbatas. Elemen ɑ dan 𝑒 berturut-turut dapat
dilambangkan dengan 0 dan 1. Pada diagram diatas dapat dilihat bahwa b * c = 0,

𝑏 ⨁ 𝑐 = 1, b * 𝑑 = 0 dan 𝑏 ⨁ 𝑑 = 1. Dengan demikian komplemen dari suatu elemen tidak

perlu tunggal.

4.4 Letis Distributif

Letis L disebut distributif jika untuk setiap 𝑎,𝑏,𝑐 ∈ L berlaku

(i) 𝑎 * (𝑏 ⨁ 𝑐) = (𝑎 * 𝑏) ⨁ (𝑎 * 𝑐) dan

(ii) 𝑎 ⨁ (𝑏 * 𝑐) = (𝑎 ⨁ 𝑏) * (𝑎 ⨁ 𝑐)

Contoh 4

Teliti apakah letis L pada contoh 3 distributif atau tidak.

Penyelesaian

Karena 𝑏 * (𝑐 ⨁ 𝑑) = 𝑏 * 𝑒 = 𝑏 dan

(𝑏 * 𝑐) ⨁ (𝑏 * 𝑑) = 𝑎 ⨁ 𝑎 = 𝑎, maka

𝑏 * (𝑐 ⨁ 𝑑) ≠ (𝑏 * 𝑐) ⨁ (𝑏 * 𝑑)

Dengan demikian L tidak distributif.

Teorema 2

Hasil kali Cartes dua letis distributif adalah distributif.

Teorema 3

Misalkan L adalah letis distributif. Untuk setiap 𝑎,𝑏,𝑐 ∈ L beerlaku

(𝑎 * 𝑏 = 𝑎 * 𝑐) ∧ (𝑎 ⨁ 𝑏 = 𝑎 ⨁ 𝑐) ⇒ 𝑏 = c

Bukti

(𝑎 * 𝑏) ⨁ 𝑐 = (𝑎 * 𝑐) ⨁ 𝑏 = 𝑐

(𝑎 * 𝑏) ⨁ 𝑐 = (𝑎 ⨁ c) * (𝑏 ⨁ 𝑐)

= (𝑎 ⨁ c) * (𝑏 ⨁ 𝑐)

= 𝑏 ⨁ ( 𝑎 * c)

= 𝑏 ⨁ ( 𝑎 * 𝑏)

=𝑏