SISTEM AKSIOMATIK

Bambang Irawan Universitas PGRI Banyuwangi

PENGERTIAN SISTEM AKSIOMATIK Sistem aksiomatik memuat himpunan yang terdiri dari istilah-istilah yang tidak didefinisikan atau primitif. Istilah-istilah itu disebut definisi. Semua istilah selain istilah-istilah primitif didefinisikan berdasarkan istilah-primitif. Sistem aksiomatik juga mengandung himpunan pernyataan yang tidak perlu dibuktikan. . Pernyataan-pernyataan tersebut disebut aksioma atau postulat. Pernyataanpernyataan yang tidak perlu dibuktikan tersebut dirumuskan menggunakan istilah-istilah primitif dan definisi-definisi. Konsekuensi logis dari aksioma-aksioma pada suatu sistem aksiomatik disebut sebagai teorema. dan memiliki arti yang bergantung pada interpretasi pembaca. yang keabsahannya tidak bergantung pada interpretasi terhadap istilah-istilah primitif.

Tidak semua Fe termasuk pada Fo yang sama. dan relasi ´termasuk padaµ. dinamai dengan sistem aksiomatik Fe-Fo. Aksioma-aksiomanya adalah : Aksioma 1. Aksioma 3. Dua Fe yang berbeda termasuk pada tepat satu Fo. dengan istilahistilah primitif : ´Feµ. Aksioma 2. Aksioma 4. ´Foµ.CONTOH SISTEM AKSIOMATIK Diberikan suatu sistem aksiomatik. Setiap dua Fo yang berbeda memuat paling sedikit satu Fe yang termasuk pada keduanya . Terdapat tepat tiga Fe yang berbeda pada sistem aksioma ini.

Dua Fo yang berbeda memuat tepat satu Fe. .TEOREMA FE-FO 1 Teorema Fe-Fo 1.

Kita akan menggunakan bukti kontradiksi. Aksioma 4 mengatakan bahwa setiap dua Fo yang berbeda memuat paling sedikit satu Fe.BUKTI Bukti. . Karenanya. Andaikan setiap dua Fo yang berbeda memuat dua Fe. kita cukup membuktikan bahwa tidak mungkin setiap dua Fo yang berbeda memuat lebih dari satu Fe. untuk membuktikan Teorema Fe-Fo 1.

dua Fo yang berbeda haruslah memuat tepat satu Fe. .BUKTI Namun pengandaian ini bertentangan atau kontradiksi dengan aksioma 2 yang menyatakan bahwa dua Fe yang berbeda termasuk pada tepat satu Fo. Pengandaian setiap dua Fo yang berbeda memuat lebih dari dua Fe juga akan menimbulkan pertentangan dengan aksioma 2. Dengan demikian.

TERDAPAT TEPAT TIGA FO Bukti. Aksioma 1 menyatakan terdapat tepat tiga Fe yang berbeda pada sistem. Kontradiksi seperti itu akan terjadi pula jika kita mengandaikan terdapat lebih dari empat Fo. maka terdapat paling sedikit tiga Fo. Jadi haruslah tidak boleh lebih dari tiga Fo. Akibatnya. hanya terdapat tepat tiga Fe yang berbeda. Kita akan menggunakan bukti kontradiksi. Padahal menurut Aksioma 1. Andaikan terdapat empat Fo. kita cukup membuktikan tidak mungkin terdapat lebih dari tiga Fo. . Menurut Teorema Fe-Fo 1. terjadi kontradiksi. Fo yang keempat bersama dengan tiga Fo sebelumnya akan membentuk enam Fe. Berdasarkan Aksioma 1 dan 2 tersebut.TEOREMA FE-FO 2. Dengan demikian terdapat tepat tiga Fo. Untuk membuktikan Teorema Fe-Fo 2. Aksioma 2 menyatakan setiap pasang Fe yang berbeda termasuk pada tepat satu Fo.

TEOREMA FE-FO 3. Setiap Fo memiliki tepat dua Fe yang termasuk padanya. .

. Misalkan terdapat tiga Fe yang termasuk pada satu Fo. Menurut Aksioma 2. setiap Fo memiliki paling sedikit dua Fe yang terletak padanya. Selanjutnya.BUKTI Bukti. andaikan terdapat lebih dari dua Fe yang termasuk pada tepat satu Fo.

Kontradiksi ini akan terjadi juga jika terdapat lebih dari tiga Fe yang termasuk pada satu Fo.BUKTI Namun hal ini bertentangan dengan Aksioma 1 dan 3. Jadi haruslah setiap Fo memiliki tepat dua Fe yang termasuk padanya. . yang menyatakan bahwa terdapat tepat tiga Fe dan tidak semuanya berada pada Fo yang sama.

Aksioma 3. Karenanya sistem aksioma Fe-Fo menjadi : Aksioma 1. dan termasuk pada diinterpretasikan sebagai terletak pada. Aksioma 4. Tidak semua titik terletak pada garis yang sama. Aksioma 2. Fo diinterpretasikan sebagai garis. misalkan Fe diinterpretasikan sebagai titik. ´Foµ. . dan ´termasuk padaµ bisa saja diinterpretasikan bermacam-macam. Terdapat tepat tiga titik yang berbeda pada sistem aksioma ini.MODEL Istilah-istilah primitif ´Feµ. Dua titik yang berbeda terletak pada tepat satu garis. Setiap dua garis yang berbeda memuat paling sedikit satu titik yang terletak pada keduanya. Sekarang.

Interpretasi yang demikian disebut sebagai model Selanjutnya. aksioma-aksioma pada sistem aksioma Fe-Fo di atas (dengan meninterpretasikan Fe sebagai titik. misalkan Fe diinterpretasikan sebagai buku. Fo diinterpretasikan sebagai rak. sistem aksioma Fe-Fo dengan interpretasi demikian menjadi : . Akibatnya. dan termasuk pada diinterpretasikan sebagai terletak pada. dan termasuk pada sebagai terletak pada) merupakan pernyataan-pernyataan yang benar. Fo sebagai garis.MODEL Kalau kita perhatikan.

Fo sebagai rak. Interpretasi seperti ini tidaklah dikatakan sebagai model. Aksioma 2. Aksioma 3. Dua buku yang berbeda terletak pada tepat satu rak. dan termasuk pada sebagai terletak pada) merupakan pernyataan yang salah.MODEL Aksioma 1. . Setiap dua rak yang berbeda memuat paling sedikit satu buku yang terletak pada keduanya. Aksioma 4 pada sistem aksioma Fe-Fo di atas (dengan meninterpretasikan Fe sebagai buku. Terdapat tepat tiga buku yang berbeda pada sistem aksioma ini. Tidak semua buku terletak pada rak yang sama. Aksioma 4.

tidaklah mungkin manambahkan aksioma lain yang konsisten dan independen tanpa menambahkan istilah-istilah primitif. Jadi antara aksioma yang satu dengan aksioma yang lain saling bebas atau independen. Suatu sistem aksiomatik dikatakan konsisten jika dari aksioma-aksioma yang ada tidak mungkin menghasilkan teorema-teorema yang kontradiksi dengan aksioma-aksioma yang ada dan dengan teorema-teorema yang telah dibuktikan sebelumnya. adalah konsisten. Yang pertama.SIFAT SISTEM AKSIOMATIK Suatu sistem aksiomatik harus memiliki beberapa sifat. . Maksudnya. Sifat kedua yang harus dimiliki oleh suatu sistem aksioma adalah setiap aksioma yang ada pada sistem tersebut bukanlah merupakan turunan (deduksi) dari aksiomaaksioma yang lain. Sifat terakhir yang harus dimiliki oleh suatu sistem aksioma adalah lengkap.

Sign up to vote on this title
UsefulNot useful