SISTEM AKSIOMATIK

Bambang Irawan Universitas PGRI Banyuwangi

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

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

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

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

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

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

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

. Misalkan terdapat tiga Fe yang termasuk pada satu Fo. Selanjutnya.BUKTI Bukti. setiap Fo memiliki paling sedikit dua Fe yang terletak padanya. Menurut Aksioma 2. andaikan terdapat lebih dari dua Fe yang termasuk pada tepat 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. Kontradiksi ini akan terjadi juga jika terdapat lebih dari tiga Fe yang termasuk pada satu Fo. .

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

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

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

Jadi antara aksioma yang satu dengan aksioma yang lain saling bebas atau independen.SIFAT SISTEM AKSIOMATIK Suatu sistem aksiomatik harus memiliki beberapa sifat. adalah konsisten. 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. Sifat terakhir yang harus dimiliki oleh suatu sistem aksioma adalah lengkap. Yang pertama. 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. Maksudnya. . tidaklah mungkin manambahkan aksioma lain yang konsisten dan independen tanpa menambahkan istilah-istilah primitif.