• Source: Teorema

Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami, yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui. Dalam logika, sebuah teorema adalah pernyataan dalam bahasa formal yang saat diturunkan dengan mengaplikasikan aturan inferensi dan aksioma dari sebuah sistem deduktif.
Teorema dari sejumlah fungsi memiliki nama lain:

Identitas - digunakan untuk teorema yang menampakkan persamaan antara 2 pernyataan matematika.
Lema - pra-teorema. Pernyataan proposisi yang diikuti dengan bukti yang sedikit atau tidak ada sama sekali dari sebuah teorema atau definisi lain. Yaitu, proposisi B adalah korolar proposisi A jika B bisa dideduksikan dari A.
Proposisi - pernyataan yang tak dikaitkan dengan "teorema" apapun.
Klaim - hasil menarik yang diperlukan atau bebas.
Aturan - digunakan untuk teorema tertentu seperti aturan Bayes dan aturan Cramer, yang mendirikan formula yang berguna
Banyak matematikawan yang juga menggunakan nama lain untuk teorema, seperti postulat, sublema, dll.
Konjektur adalah sebuah pernyataan yang belum terbukti namun dianggap benar. Sebagai contoh konjektur Goldbach. Konjektur terkenal lainnya termasuk konjektur Collatz dan hipotesis Riemann.




Lihat pula


Matematika

Kata Kunci Pencarian:

• Teorema Pythagoras
• Teorema ketaklengkapan Gödel
• Teorema
• Teorema ketunggalan Alexandrov
• Teorema Bayes
• Teorema Terakhir Fermat
• Bilangan prima
• Teorema nilai purata
• Teorema Cauchy (geometri)
• Teorema dasar kalkulus
• Teorema
• Teorema (disambiguation)
• The Visitor (2024 film)
• Teorema (journal)
• Dreams (upcoming film)
• Memory (2023 film)
• Silvana Mangano
• Alessandro Defilippi
• List of films about angels
• Fermat's Last Theorem