<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Basic Math on MuS</title><link>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/</link><description>Recent content in Basic Math on MuS</description><generator>Hugo</generator><language>id-ID</language><lastBuildDate>Sat, 16 May 2026 00:00:00 +0700</lastBuildDate><atom:link href="https://www.musnotes.my.id/digital-garden/musnotes/basic-math/index.xml" rel="self" type="application/rss+xml"/><item><title>Apakah Proposisi Benar-Benar Ada?</title><link>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/apakah-proposisi-benar-benar-ada/</link><pubDate>Sat, 16 May 2026 00:00:00 +0700</pubDate><guid>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/apakah-proposisi-benar-benar-ada/</guid><description>Konsep proposisi membantu analisis logika, tetapi status keberadaannya sebagai entitas abstrak masih menjadi bahan perdebatan filosofis.</description><content:encoded><![CDATA[<p>Dalam filsafat dan logika, istilah proposisi tidak hanya berfungsi sebagai istilah teknis. Ia juga membawa pertanyaan filosofis yang cukup dalam:</p>
<blockquote>
<p>Apakah proposisi benar-benar ada, atau hanya alat konseptual yang kita gunakan untuk menganalisis bahasa dan pikiran?</p>
</blockquote>
<p>Pertanyaan ini membuat proposisi menjadi lebih dari sekadar topik logika. Ia masuk ke wilayah ontologi, yaitu pembahasan tentang apa yang sungguh-sungguh ada.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="masalah-keberadaan-proposisi">Masalah Keberadaan Proposisi</h2>
<p>Jika proposisi dipahami sebagai makna yang diekspresikan oleh kalimat, maka muncul pertanyaan berikutnya: di mana proposisi itu berada?</p>
<p>Apakah proposisi ada di dalam pikiran manusia?<br>
Apakah dia berada di dalam struktur bahasa?<br>
Atau apakah dia merupakan entitas abstrak yang tidak bergantung pada manusia, seperti angka dalam matematika?</p>
<p>Di sinilah perdebatan dimulai. Proposisi tampak berguna, tetapi status keberadaannya tidak mudah dijelaskan.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="pandangan-yang-skeptis">Pandangan yang Skeptis</h2>
<p>Sebagian pemikir merasa bahwa kita tidak perlu mengasumsikan keberadaan entitas abstrak bernama proposisi.</p>
<p>Menurut pandangan ini, yang benar-benar kita temui hanyalah kalimat, ujaran, tulisan, atau aktivitas berbahasa. Daripada berbicara tentang “proposisi” sebagai sesuatu yang tersembunyi di balik kalimat, lebih aman jika analisis langsung diarahkan pada kalimat itu sendiri.</p>
<p>Dengan kata lain, proposisi dianggap terlalu metafisik: seolah-olah kita menciptakan makhluk abstrak hanya karena ingin menjelaskan makna.</p>
<p>Sedikit ironis, tentu saja. Filsafat kadang menciptakan hantu, lalu mengadakan seminar untuk membuktikan apakah hantu itu perlu membayar pajak ontologis.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="pandangan-yang-membela-proposisi">Pandangan yang Membela Proposisi</h2>
<p>Di sisi lain, banyak ahli logika dan filsuf bahasa tetap menggunakan konsep proposisi karena konsep ini sangat membantu.</p>
<p>Proposisi memungkinkan kita membedakan antara kalimat sebagai bentuk bahasa dan makna logis yang dinyatakan oleh kalimat tersebut.</p>
<p>Misalnya, dua kalimat dalam bahasa berbeda bisa mengekspresikan makna yang sama. Tanpa konsep proposisi, sulit menjelaskan mengapa dua kalimat yang berbeda secara sintaksis tetap bisa memiliki isi logis yang identik.</p>
<p>Dalam konteks ini, proposisi berfungsi seperti lapisan dalam dari bahasa: tidak selalu terlihat secara langsung, tetapi berguna untuk memahami bagaimana pikiran manusia menyusun, membandingkan, dan menilai klaim.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="alat-analisis-atau-entitas-nyata">Alat Analisis atau Entitas Nyata?</h2>
<p>Perdebatan utama bisa diringkas menjadi dua kemungkinan:</p>
<ol>
<li>
<p>Proposisi sebagai entitas abstrak<br>
Proposisi dianggap benar-benar ada sebagai objek abstrak yang bisa menjadi pembawa nilai kebenaran.</p>
</li>
<li>
<p>Proposisi sebagai alat analisis<br>
Proposisi tidak perlu dianggap sebagai sesuatu yang benar-benar ada, tetapi tetap berguna sebagai konsep untuk memahami bahasa, logika, dan penalaran.</p>
</li>
</ol>
<p>Kedua posisi ini memiliki kekuatan masing-masing. Yang pertama memberi dasar yang kuat bagi logika dan teori makna. Yang kedua lebih <a href="https://plato.stanford.edu/entries/simplicity/">hemat secara ontologis</a> karena sejalan dengan prinsip parsimoni: jangan menambah entitas atau asumsi baru tanpa kebutuhan penjelasan.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="catatan-kritis">Catatan Kritis</h2>
<p>Mungkin pertanyaan yang lebih menarik bukan hanya apakah proposisi “ada” seperti batu, pohon, atau neuron.</p>
<p>Proposisi jelas tidak tampak seperti benda fisik. Ia tidak punya massa, tidak memantulkan cahaya, dan tidak bisa dimasukkan ke dalam tabung reaksi. Namun, konsep ini tetap bekerja dalam cara manusia bernalar.</p>
<p>Dengan demikian, proposisi bisa dipahami sebagai salah satu alat konseptual yang membantu kita membaca struktur pikiran dan bahasa.</p>
<p>Ia mungkin bukan benda di alam semesta fisik. Tetapi dalam ruang logika, dia berfungsi seperti koordinat: tidak harus bisa disentuh untuk tetap membantu kita menemukan arah.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="-references--context">📚 References &amp; Context</h2>
<ul>
<li>Catatan ini merupakan refleksi setelah pembahasan tentang proposisi, nilai kebenaran, dan struktur atomik-molekuler.</li>
<li>Fokus utamanya adalah status ontologis proposisi: apakah proposisi harus dianggap sebagai entitas abstrak, atau cukup dipahami sebagai alat analisis dalam logika dan filsafat bahasa.</li>
<li>Catatan ini sengaja tidak mengambil satu posisi final, melainkan membuka ruang diskusi untuk pembacaan lanjutan.</li>
</ul>
]]></content:encoded></item><item><title>Proposisi Sebagai Bentuk Makna</title><link>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/proposisi/</link><pubDate>Sat, 16 May 2026 00:00:00 +0700</pubDate><guid>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/proposisi/</guid><description>Proposisi bisa dipahami sebagai bentuk makna yang diekspresikan oleh kalimat deklaratif, bukan sebagai kalimat itu sendiri.</description><content:encoded><![CDATA[<p>Dalam tradisi filsafat dan logika, proposisi sering dipahami sebagai entitas makna yang diungkapkan oleh sebuah kalimat deklaratif.</p>
<p>Dengan kata lain, proposisi bukan sekadar rangkaian kata. Ia adalah isi makna yang bisa dinyatakan, diterjemahkan, dan dinilai benar atau salah.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="analogi-energi">Analogi Energi</h2>
<p>Untuk memahaminya, aku suka membayangkan proposisi seperti energi dalam fisika.</p>
<p>Energi bisa bermanifestasi dalam berbagai bentuk: panas, gerak, cahaya, atau listrik. Bentuk penampakannya berbeda, tetapi kita tetap mengenalinya sebagai energi. Ia tidak identik dengan satu bentuk tertentu, melainkan  hadir melalui banyak wujud.</p>
<p>Begitu pula proposisi. Ia bisa hadir melalui kalimat yang berbeda, bahkan melalui bahasa yang berbeda, tetapi tetap membawa satu bentuk makna yang sama.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="kalimat-berbeda-proposisi-sama">Kalimat Berbeda, Proposisi Sama</h2>
<p>Misalnya, kalimat berikut:</p>
<blockquote>
<p>&ldquo;Homo sapiens sedang mempersulit kehidupan di bumi.&rdquo;</p>
</blockquote>
<p>dan kalimat berikut:</p>
<blockquote>
<p>&ldquo;Homo sapiens are complicating life on earth.&rdquo;</p>
</blockquote>
<p>Keduanya memiliki struktur bahasa yang berbeda. Yang pertama memakai Bahasa Indonesia, sedangkan yang kedua memakai Bahasa Inggris. Namun, keduanya mengekspresikan satu bentuk logis yang sama.</p>
<p>Dalam pengertian ini, proposisi bukanlah kalimat Indonesia atau kalimat Inggris itu sendiri, melainkan makna yang tetap bertahan di balik kedua ekspresi tersebut.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="proposisi-dan-logical-form">Proposisi dan Logical Form</h2>
<p>Proposisi bisa dipahami sebagai semacam bentuk logis atau <em>logical form</em> yang berada di balik ekspresi bahasa.</p>
<p>Kalimat adalah kendaraan linguistiknya. Proposisi adalah muatan maknanya.</p>
<p>Karena itu, dua kalimat bisa berbeda secara sintaksis tetapi tetap menyampaikan proposisi yang sama. Sebaliknya, dua kalimat yang tampak mirip secara gramatikal belum tentu memiliki proposisi yang sama jika maknanya berbeda.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h3 id="-references--context">📚 References &amp; Context</h3>
<ul>
<li>These notes are based on various digital sources (Classical Logic (Stanford Encyclopedia of Philosophy) &amp; Other open resources).</li>
<li>All sources were compiled and synthesised using <strong>NotebookLM</strong> as a tool for reading and organising ideas.</li>
</ul>
]]></content:encoded></item><item><title>Struktur Logika: Atomik dan Molekuler</title><link>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/struktur-logika/</link><pubDate>Sat, 16 May 2026 00:00:00 +0700</pubDate><guid>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/struktur-logika/</guid><description>Proposisi memiliki tingkatan struktur: bentuk atomik yang sederhana dan bentuk molekuler yang terbentuk melalui operator logika.</description><content:encoded><![CDATA[<p>Dalam logika, proposisi tidak hanya dibedakan berdasarkan maknanya, tetapi juga berdasarkan strukturnya.</p>
<p>Seperti materi di alam semesta dapat dipahami sebagai susunan dari unit-unit dasar, proposisi juga memiliki tingkatan hierarki. Ada proposisi yang berdiri sebagai bentuk paling sederhana, dan ada pula proposisi yang tersusun melalui operasi logis tertentu.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="diagram-sederhana">Diagram Sederhana</h2>

<div class="flow-container">
  <div class="flow-wrapper">
    <div class="flow-node node-sage">
      <span class="node-label">Tuan Jawa mencintai Emma</span>
    </div>
    <div class="flow-arrow arrow-sage"></div>
    <div class="flow-node node-orchid">
      <span class="node-label">dan</span>
    </div>
    <div class="flow-arrow arrow-orchid"></div>
    <div class="flow-node node-sage">
      <span class="node-label">Emma mencintai Tuan Jawa</span>
    </div>
  </div>
</div>

<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="proposisi-atomik">Proposisi Atomik</h2>
<p>Proposisi atomik adalah bentuk proposisi yang paling dasar dan paling sederhana. Ia tidak mengandung operator logika seperti <code>dan</code>, <code>atau</code>, <code>tidak</code>, atau <code>jika ... maka ...</code>.</p>
<p>Karena itu, proposisi atomik biasanya menyatakan satu klaim tunggal yang belum dibentuk melalui operasi logis lain.</p>
<p>Contoh:</p>
<blockquote>
<p>&ldquo;Tuan Jawa mencintai Emma.&rdquo;</p>
</blockquote>
<p>Kalimat ini bisa diperlakukan sebagai proposisi atomik karena dia menyatakan satu relasi sederhana tanpa operator logika tambahan.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="proposisi-molekuler">Proposisi Molekuler</h2>
<p>Proposisi molekuler, atau proposisi majemuk, muncul ketika sebuah proposisi dibentuk dengan bantuan operator logika.</p>
<p>Operator tersebut bisa menggabungkan dua proposisi, seperti pada <code>dan</code> dan <code>atau</code>, atau mengubah satu proposisi, seperti pada <code>tidak</code>.</p>
<p>Contohnya:</p>
<blockquote>
<p>&ldquo;Tuan Jawa mencintai Emma <strong>dan</strong> Emma mencintai Tuan Jawa.&rdquo;</p>
</blockquote>
<p>Kalimat ini bersifat molekuler karena terdiri atas dua proposisi atomik yang digabungkan oleh operator <code>dan</code>.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="negasi-sebagai-operator-unik">Negasi sebagai Operator Unik</h2>
<p>Negasi memiliki posisi khusus dalam logika formal.</p>
<p>Berbeda dari <code>dan</code>, <code>atau</code>, dan <code>jika ... maka ...</code> yang biasanya bekerja dengan dua proposisi, negasi hanya bekerja pada satu proposisi. Karena itu, negasi disebut operator monadik.</p>
<p>Misalnya, dari proposisi atomik:</p>
<blockquote>
<p>&ldquo;Tuan Jawa mencintai Emma.&rdquo;</p>
</blockquote>
<p>kita bisa membentuk proposisi baru:</p>
<blockquote>
<p>&ldquo;Tuan Jawa tidak mencintai Emma.&rdquo;</p>
</blockquote>
<p>Dalam notasi sederhana, jika proposisi pertama dilambangkan sebagai <code>P</code>, maka bentuk negasinya bisa ditulis sebagai <code>~P</code>.</p>
<p>Meskipun hanya melibatkan satu proposisi awal, bentuk <code>~P</code> tetap termasuk proposisi molekuler karena sudah mengandung operator logika.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="peran-operator-logika">Peran Operator Logika</h2>
<p>Yang membedakan proposisi molekuler dari proposisi atomik adalah kehadiran operator logika.</p>
<p>Beberapa operator logika yang umum adalah:</p>
<ul>
<li><strong>tidak</strong> (<em>negation</em>) → operator monadik</li>
<li><strong>dan</strong> (<em>conjunction</em>) → operator diadik</li>
<li><strong>atau</strong> (<em>disjunction</em>) → operator diadik</li>
<li><strong>jika &hellip; maka &hellip;</strong> (<em>conditional</em>) → operator diadik</li>
</ul>
<p>Dengan bantuan operator-operator ini, logika bisa membangun struktur makna yang lebih kompleks dari proposisi yang sederhana.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="dari-unit-dasar-ke-struktur-kompleks">Dari Unit Dasar ke Struktur Kompleks</h2>
<p>Dengan demikian, proposisi atomik bisa dipahami sebagai unit dasar, sedangkan proposisi molekuler adalah proposisi yang sudah dibentuk melalui operator logika.</p>
<p>Pembedaan ini penting karena banyak analisis logika bergantung pada kemampuan untuk memecah proposisi kompleks menjadi bagian-bagian yang lebih sederhana.</p>
<p>Di titik ini, proposisi mulai terlihat seperti arsitektur kecil: satu klaim bisa berdiri sendiri, tetapi beberapa klaim bisa disusun, dinegasikan, atau dihubungkan hingga membentuk bangunan logis yang lebih rumit.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="-references--context">📚 References &amp; Context</h2>
<ul>
<li>Catatan ini merupakan lanjutan dari pembahasan tentang proposisi dan nilai kebenarannya.</li>
<li>Fokus utamanya adalah membedakan proposisi atomik dan proposisi molekuler berdasarkan struktur logisnya.</li>
<li>Istilah &ldquo;operator logika&rdquo; digunakan agar mencakup operator diadik seperti <code>dan</code> dan <code>atau</code>, sekaligus operator monadik seperti <code>tidak</code>.</li>
</ul>
]]></content:encoded></item><item><title>Syarat Nilai Kebenaran dalam Proposisi</title><link>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/nilai-kebenaran/</link><pubDate>Sat, 16 May 2026 00:00:00 +0700</pubDate><guid>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/nilai-kebenaran/</guid><description>Sebuah proposisi harus bisa dievaluasi sebagai benar atau salah, sehingga tidak semua bentuk kalimat bisa disebut proposisi.</description><content:encoded><![CDATA[<p>Karakteristik paling mendasar dari sebuah proposisi adalah kemampuannya untuk memiliki nilai kebenaran.</p>
<p>Dalam logika klasik, sebuah proposisi pada dasarnya bisa dievaluasi secara biner: benar atau salah. Ia tidak hanya menyampaikan ekspresi bahasa, tetapi juga membawa klaim yang bisa dinilai.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="nilai-kebenaran">Nilai Kebenaran</h2>
<p>Nilai kebenaran adalah status logis dari sebuah proposisi.</p>
<p>Sebuah proposisi bisa bernilai benar jika klaimnya sesuai dengan kenyataan, atau bernilai salah jika klaimnya tidak sesuai dengan kenyataan. Karena itu, proposisi selalu berkaitan dengan kemungkinan penilaian.</p>
<p>Misalnya:</p>
<blockquote>
<p>&ldquo;Air mendidih pada suhu 100°C di tekanan 1 atmosfer.&rdquo;</p>
</blockquote>
<p>Kalimat ini mengekspresikan proposisi karena dia mengajukan klaim yang bisa diperiksa. Klaim tersebut bisa dinilai benar atau salah berdasarkan kondisi tertentu.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="bukan-sekadar-kalimat">Bukan Sekadar Kalimat</h2>
<p>Tidak semua kalimat otomatis mengekspresikan proposisi.</p>
<p>Pertanyaan, seruan, perintah, atau puisi sering kali tidak mengekspresikan proposisi murni, karena bentuk-bentuk bahasa tersebut tidak selalu mengajukan klaim faktual yang bisa diuji.</p>
<p>Misalnya:</p>
<blockquote>
<p>&ldquo;Apakah Homo sapiens sedang mempersulit kehidupan di bumi?&rdquo;</p>
</blockquote>
<p>Kalimat ini berbentuk pertanyaan. Ia membuka kemungkinan penyelidikan, tetapi belum menyatakan klaim yang bisa langsung dinilai benar atau salah.</p>
<p>Berbeda dengan:</p>
<blockquote>
<p>&ldquo;Homo sapiens sedang mempersulit kehidupan di bumi.&rdquo;</p>
</blockquote>
<p>Kalimat ini mengajukan klaim. Karena itu, dia bisa diperlakukan sebagai ekspresi dari sebuah proposisi.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="seruan-perintah-dan-puisi">Seruan, Perintah, dan Puisi</h2>
<p>Seruan seperti:</p>
<blockquote>
<p>&ldquo;Manusia mempersulit diri!&rdquo;</p>
</blockquote>
<p>tidak secara langsung menyatakan proposisi, meskipun bisa mengandung sikap, emosi, atau penilaian.</p>
<p>Begitu pula perintah seperti:</p>
<blockquote>
<p>&ldquo;Jangan mempersulit kehidupan di bumi.&rdquo;</p>
</blockquote>
<p>Kalimat tersebut bisa bermakna secara praktis dan etis, tetapi tidak bernilai benar atau salah dalam bentuk langsungnya. Ia meminta tindakan, bukan menyatakan fakta.</p>
<p>Puisi lebih rumit lagi. Sebuah puisi bisa mengandung proposisi tersembunyi, tetapi bentuk puitiknya sering tidak bertujuan mengajukan klaim faktual secara langsung. Puisi lebih sering bekerja melalui imaji, suasana, ambiguitas, dan resonansi makna.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="proposisi-sebagai-klaim">Proposisi sebagai Klaim</h2>
<p>Dengan demikian, proposisi bisa dipahami sebagai isi makna yang membawa klaim.</p>
<p>Agar sesuatu bisa disebut proposisi, dia harus bisa masuk ke dalam ruang penilaian: apakah benar, atau apakah salah.</p>
<p>Tanpa kemungkinan nilai kebenaran, sebuah ungkapan mungkin tetap bermakna, indah, mendesak, atau menggugah. Namun, menurut aturan logika, ia belum tentu merupakan proposisi.</p>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h2 id="-references--context">📚 References &amp; Context</h2>
<ul>
<li>Catatan ini disusun sebagai lanjutan dari pembahasan tentang proposisi sebagai bentuk makna.</li>
<li>Fokus catatan ini adalah syarat nilai kebenaran sebagai ciri dasar proposisi dalam logika klasik.</li>
</ul>
]]></content:encoded></item><item><title>Basic Math Symbols</title><link>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/math_symbol_basic/</link><pubDate>Fri, 06 Feb 2026 00:00:00 +0000</pubDate><guid>https://www.musnotes.my.id/digital-garden/musnotes/basic-math/math_symbol_basic/</guid><description>Catatan dasar mengenai simbol-simbol matematika, mulai dari operasi dasar, perbandingan, hingga proporsi desimal.</description><content:encoded><![CDATA[<p>Saat membaca rumus atau menulis ekspresi matematika, ada beberapa simbol dasar yang hampir selalu muncul. Masing masing punya fungsi kecil, seperti tanda jalan dalam bahasa numerik.</p>
<h3 id="equality-and-comparison">Equality and Comparison</h3>
<div class="table-wrapper">
<table>
  <thead>
    <tr>
      <th>Symbol</th>
      <th>Meaning</th>
      <th>Example</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><code>=</code></td>
      <td>Menunjukkan dua nilai memiliki nilai yang sama</td>
      <td><code>5 = 2 + 3</code></td>
    </tr>
    <tr>
      <td><code>≠</code></td>
      <td>Menyatakan dua nilai tidak setara</td>
      <td><code>5 ≠ 4</code></td>
    </tr>
    <tr>
      <td><code>≈</code></td>
      <td>Menandakan nilai perkiraan atau hampir sama</td>
      <td><code>sin(0.01) ≈ 0.01</code></td>
    </tr>
    <tr>
      <td><code>&gt;</code></td>
      <td>Nilai di kiri lebih besar dari kanan</td>
      <td><code>5 &gt; 4</code></td>
    </tr>
    <tr>
      <td><code>&lt;</code></td>
      <td>Nilai di kiri lebih kecil dari kanan</td>
      <td><code>4 &lt; 5</code></td>
    </tr>
    <tr>
      <td><code>≥</code></td>
      <td>Lebih besar atau sama dengan</td>
      <td><code>x ≥ y</code></td>
    </tr>
    <tr>
      <td><code>≤</code></td>
      <td>Lebih kecil atau sama dengan</td>
      <td><code>x ≤ y</code></td>
    </tr>
  </tbody>
</table>
</div>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h3 id="grouping-symbols">Grouping Symbols</h3>
<div class="table-wrapper">
<table>
  <thead>
    <tr>
      <th>Symbol</th>
      <th>Function</th>
      <th>Example</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><code>( )</code></td>
      <td>Prioritas menghitung isi di dalam kurung terlebih dahulu</td>
      <td><code>2 × (3 + 5) = 16</code></td>
    </tr>
    <tr>
      <td><code>[ ]</code></td>
      <td>Sama seperti kurung, sering dipakai untuk struktur yang lebih kompleks</td>
      <td><code>[(1+2) × (1+5)] = 18</code></td>
    </tr>
  </tbody>
</table>
</div>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h3 id="basic-operations">Basic Operations</h3>
<div class="table-wrapper">
<table>
  <thead>
    <tr>
      <th>Symbol</th>
      <th>Operation</th>
      <th>Example</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><code>+</code></td>
      <td>Penjumlahan</td>
      <td><code>1 + 1 = 2</code></td>
    </tr>
    <tr>
      <td><code>−</code></td>
      <td>Pengurangan</td>
      <td><code>2 − 1 = 1</code></td>
    </tr>
    <tr>
      <td><code>±</code></td>
      <td>Bisa bernilai positif atau negatif</td>
      <td><code>3 ± 5</code></td>
    </tr>
    <tr>
      <td><code>∓</code></td>
      <td>Kebalikan dari simbol <code>±</code></td>
      <td><code>3 ∓ 5</code></td>
    </tr>
    <tr>
      <td><code>×</code>, <code>*</code>, <code>⋅</code></td>
      <td>Perkalian</td>
      <td><code>2 × 3 = 6</code></td>
    </tr>
    <tr>
      <td><code>÷</code>, <code>/</code></td>
      <td>Pembagian</td>
      <td><code>6 ÷ 2 = 3</code></td>
    </tr>
    <tr>
      <td><code>mod</code></td>
      <td>Sisa hasil bagi</td>
      <td><code>7 mod 2 = 1</code></td>
    </tr>
  </tbody>
</table>
</div>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h3 id="powers-and-roots">Powers and Roots</h3>
<div class="table-wrapper">
<table>
  <thead>
    <tr>
      <th>Symbol</th>
      <th>Meaning</th>
      <th>Example</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><code>aᵇ</code> atau <code>a^b</code></td>
      <td>Pangkat atau eksponen</td>
      <td><code>2³ = 8</code></td>
    </tr>
    <tr>
      <td><code>√a</code></td>
      <td>Akar kuadrat</td>
      <td><code>√9 = 3</code></td>
    </tr>
    <tr>
      <td><code>³√a</code></td>
      <td>Akar pangkat tiga</td>
      <td><code>³√8 = 2</code></td>
    </tr>
    <tr>
      <td><code>⁴√a</code></td>
      <td>Akar pangkat empat</td>
      <td><code>⁴√16 = 2</code></td>
    </tr>
    <tr>
      <td><code>ⁿ√a</code></td>
      <td>Akar pangkat <em>n</em></td>
      <td><code>ⁿ√a</code></td>
    </tr>
  </tbody>
</table>
</div>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<h3 id="decimal-and-proportional-symbols">Decimal and Proportional Symbols</h3>
<div class="table-wrapper">
<table>
  <thead>
    <tr>
      <th>Symbol</th>
      <th>Meaning</th>
      <th>Example</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><code>.</code></td>
      <td>Pemisah desimal</td>
      <td><code>2.56</code></td>
    </tr>
    <tr>
      <td><code>%</code></td>
      <td>Persen, per seratus</td>
      <td><code>10% × 30 = 3</code></td>
    </tr>
    <tr>
      <td><code>‰</code></td>
      <td>Per seribu (<em>per mille</em>)</td>
      <td><code>10‰ × 30 = 0.3</code></td>
    </tr>
    <tr>
      <td><code>ppm</code></td>
      <td>Parts per million</td>
      <td><code>10 ppm × 30 = 0.0003</code></td>
    </tr>
    <tr>
      <td><code>ppb</code></td>
      <td>Parts per billion</td>
      <td><code>10 ppb × 30 = 3 × 10⁻⁷</code></td>
    </tr>
    <tr>
      <td><code>ppt</code></td>
      <td>Parts per trillion</td>
      <td><code>10 ppt × 30 = 3 × 10⁻¹⁰</code></td>
    </tr>
  </tbody>
</table>
</div>
<div class="mus-divider" aria-hidden="true"><svg viewBox="0 0 100 100" class="mus-symbol" xmlns="http://www.w3.org/2000/svg">
  <circle cx="50" cy="50" r="8" fill="currentColor"/>
  <ellipse cx="50" cy="50" rx="40" ry="25" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(-15 50 50)"/>
  <ellipse cx="50" cy="50" rx="30" ry="45" fill="none" stroke="currentColor" stroke-width="2" transform="rotate(60 50 50)"/>
</svg>
</div>

<p>Reference <a href="https://www.rapidtables.com/math/symbols/Basic_Math_Symbols.html?utm_source=chatgpt.com">RapidTables: Math Symbols List</a></p>
]]></content:encoded></item></channel></rss>