o_19k4mfqjp16he1pptuoe1st17bma.pdf
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
erada ditingkat paling bawah karena persegi<br />
didefinisikan dari segiempat dengan menambah empat<br />
syarat. Diagram di atas menunjukkan bahwa makin ke<br />
bawah syarat yang diperlukan makin bertambah.<br />
Sebagai akibat dari pembuatan diagram yang<br />
memperhatikan posisi atau tingkat, akan berakibat jika<br />
segiempat talibusur ditambah satu syarat akan menjadi<br />
trapesium, ditambah tiga syarat menjadi<br />
persegipanjang, dan ditambah empat syarat menjadi<br />
persegi. Demikian juga jika trapesium ditambah satu<br />
syarat menjadi segiempat talibusur atau jajargenjang,<br />
ditambah tiga syarat menjadi segiempat garis<br />
singgung.<br />
E. Pernyataan Bukan Pangkal<br />
Di depan telah dikenalkan aksioma yang juga<br />
dapat disebut sebagai pernyataan pangkal. Pemyataan<br />
yang disepakati, dan oleh karena itu tidak memerlukan<br />
pembuktian. Sekarang akan dibicarakan pernyataan<br />
lain, yang dapat diturunkan dari aksioma ataupun<br />
teorema sebelumnya. Pada umumnya suatu teorema<br />
dapat dinyatakan sebagai suatu implikasi (Jika ........<br />
maka ........).<br />
Di bagian terdahulu telah dikemukakan bahwa<br />
suatu teorema atau suatu sifat tertentu tidak selalu<br />
didapat dengan pemikiran deduktif, tetapi juga<br />
mungkin ditemukan melalui pengalaman lapangan<br />
ataupun data empirik. Namun demikian akhimya<br />
kebenarannya harus dapat dibuktikan dengan pola<br />
pikir deduktif dalam strukturnya.<br />
Jadi, suatu teorema atau suatu sifat tertentu<br />
dapat saja diperoleh melalui langkah-Iangkah induktif,<br />
baru kemudian dibuktikan kebenarannya dengan cara<br />
Aksiomatika / 55
Change language