KARAKTERISASI SUATU IDEAL DARI SEMIGRUP IMPLIKATIF

Abstract

Semigrup Implikatif S merupakan suatu himpunan terurut parsial yang bersifat semigrup, semigrup terurut parsial secara negatif (NPO semigrup) dan NPO semigrup komutatif. Selanjutnya didefinisikan himpunan S(u, v) = {z ∈ S|u ∗ (v ∗ z) = 1},
kemudian dari definisi tersebut dapat ditentukan idealnya apabila memenuhi hukum distributif kiri. Ideal merupakan suatu himpunan bagian dari S yang semigrup implikatif
dengan memenuhi sifat-sifat tertentu. Pada makalah ini akan dikaji tentang Ideal dari
Semigrup Implikatif, karakteristik dari ideal dan juga diberikan beberapa contoh dari
semigrup implikatif yang selanjutnya ditentukan idealnya.