Istilah dalam Matematika dalam Konteks Penulisan Formal

Posted on by
  1. W.L.O.G. (Without Loss of Generality)
    • Digunakan untuk menyatakan bahwa suatu kasus khusus dapat diambil sebagai perwakilan dari kasus yang lebih umum, tanpa mengurangi keabsahan argumen.
  2. IFF (If and Only If)
    • Digunakan untuk menyatakan hubungan dua pernyataan yang ekuivalen; “jika dan hanya jika” (jika A maka B, dan jika B maka A).
  3. Axiom (Aksioma)
    • Pernyataan dasar yang diterima sebagai kebenaran tanpa pembuktian.
  4. Lemma (Lema)
    • Sebuah hasil atau teorema kecil yang digunakan untuk membuktikan teorema yang lebih besar.
  5. Corollary (Akibat)
    • Pernyataan yang langsung mengikuti suatu teorema atau pembuktian.
  6. Theorem (Teorema)
    • Pernyataan yang telah dibuktikan berdasarkan aksioma, lema, atau hasil sebelumnya.
  7. Proof (Bukti)
    • Argumen logis yang menunjukkan kebenaran suatu pernyataan matematika.
  8. ∎ (Tombstone) atau Halmos Symbol
    • Simbol yang digunakan di akhir pembuktian untuk menunjukkan bahwa pembuktian selesai. Ini sering digunakan sebagai pengganti Q.E.D.