Karena saya berkecimpung dalam Matematika maka saya sering bertemu dengan kata Definisi, Teorema, dll.

Sekarang saya mau memberi gambaran atau sedikit penjelasan tentang kata-kata tersebut dan kata-kata lainnya.

Definisi: suatu pernyataan yang dianggap benar dan tidak perlu dibuktikan keabsahannya. Dengan menggunakan definisi dalam suatu pembuktian, sebagian dari pekerjaan membuktikan dapat disederhanakan.

Postulat: suatu pernyataan yang tidak perlu dibuktikan keabsahannya lagi, yang bernilai sama dengan suatu teorema.

Teorema/dalil/formula/rumus: pernyataan yang dapat diterima setelah dibuktikan. Teorema dapat berbentuk sederhana atau rumit.

Aksioma: umumnya sama dengan postulat, hanya aksioma banyak ditemukan di aljabar, sedangkan postulat di geometri.

Akibat: berasal dari teorema, atau merupakan dalil akibat dari suatu teorema, yang terkadang harus dibuktikan terpisah dari teoremanya.

Enhanced by Zemanta