merupakan -aljabar. Setiap -aljabar yang memenuhi aksioma komutatif disebut
disebut -aljabar implikatif. Pembentukan -aljabar bisa berawal dari sebuah
lapangan sebagai syarat awal pembentukan sebuah -aljabar, bisa diperoleh
sebuah -aljabar komutatif maupun implikatif yang bukan -aljabar.
ABSTRAK