KARAKTERISASI SUATU IDEAL DARI SEMIGRUP IMPLIKATIF
Abstrak: 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.
Penulis: ELVA SUSANTI
Kode Jurnal: jpmatematikadd130126
