KARAKTERISASI SUATU IDEAL DARI SEMIGRUP IMPLIKATIF

Authors

  • Elva Susanti

DOI:

https://doi.org/10.25077/jmu.2.4.10-17.2013

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.

Downloads

Published

01-12-2013

Issue

Section

Articles