P. 1
Sistem Aksiomatik

Sistem Aksiomatik

|Views: 1,050|Likes:
Published by bambir739419

More info:

Published by: bambir739419 on Oct 20, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

10/20/2010

pdf

text

original

SISTEM AKSIOMATIK

Bambang Irawan Universitas PGRI Banyuwangi

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

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

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

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

Dengan demikian. 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.

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->