https://wiki.unissula.ac.id/index.php?action=history&feed=atom&title=Logika_predikat_tingkat_pertama
Logika predikat tingkat pertama - Riwayat revisi
2026-09-15T22:40:05Z
Riwayat revisi halaman ini di wiki
MediaWiki 1.46.0
https://wiki.unissula.ac.id/index.php?title=Logika_predikat_tingkat_pertama&diff=1126&oldid=prev
Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi
2026-08-23T04:13:51Z
<p>Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi</p>
<table style="background-color: #fff; color: #202122;" data-mw-interface="">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="id">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisi sebelumnya</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisi per 23 Agustus 2026 04.13</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l34">Baris 34:</td>
<td colspan="2" class="diff-lineno">Baris 34:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* www.ltn.lv/~podnieks/</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* www.ltn.lv/~podnieks/</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* john.fremlin.de/schoolwork/logic/index.html</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* john.fremlin.de/schoolwork/logic/index.html</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sumber dan atribusi ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Sumber dan atribusi ==</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Logika+predikat+tingkat+pertama&oldid=26338687 Wikipedia bahasa Indonesia], revisi 26338687 (2024-09-23T14:50:18Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Logika+predikat+tingkat+pertama&oldid=26338687 Wikipedia bahasa Indonesia], revisi 26338687 (2024-09-23T14:50:18Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.</div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><!-- WIKI_UNISSULA_PRESENTATION_V4 --></ins></div></td></tr>
</table>
Maintenance script
https://wiki.unissula.ac.id/index.php?title=Logika_predikat_tingkat_pertama&diff=726&oldid=prev
Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 26338687; atribusi sumber disertakan.
2026-08-23T03:47:01Z
<p>Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 26338687; atribusi sumber disertakan.</p>
<p><b>Halaman baru</b></p><div>'''Logika predikat tingkat pertama''' adalah sistem deduksi formal yang digunakan dalam [[matematika]], [[filosofi]], [[linguistika]], dan [[ilmu komputer]].<br />
<br />
Jika [[kalkulus proposisional]] membahas [[proposisi]] sederhana, LTP menambahkan predikat dan kuantor. Misalnya:<br />
* Sokrates adalah seorang manusia<br />
* [[Plato]] adalah seorang manusia<br />
<br />
Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan ''p'' dan ''q''. Dalam LTP, keduanya dihubungkan dengan satu sifat, yaitu Manusia(x), artinya x adalah seorang manusia. Bila x = Socrates kita mendapatkan proposisi pertama, ''p''; dan jika x = Plato kita mendapatkan proposisi kedua, ''q''.<br />
<br />
Contoh berikut menjabarkan perbedaan kalkulus proposisional dan LTP:<br />
* Semua manusia perlu makan<br />
* Sokrates adalah manusia<br />
* Sokrates perlu makan<br />
<br />
Dalam kalkulus proposisional, ketiga kalimat di atas diterjemahkan sebagai:<br />
* A<br />
* B<br />
* <math>\therefore</math> C<br />
(<math>\therefore</math> artinya "maka")<br />
<br />
Ketiga kalimat di atas tidak dapat dihubungkan dalam kalkulus proposisional. Dalam LTP, kita dapat menerjemahkan ketiga kalimat itu sebagai:<br />
* <math>\forall x (\mbox{Manusia}(x) \rightarrow \mbox{PerluMakan}(x))</math><br />
* <math>\,\mbox{Manusia}(\mbox{Sokrates})</math><br />
* <math>\therefore \mbox{PerluMakan}(\mbox{Sokrates})</math><br />
<br />
== Pustaka ==<br />
* Jon Barwise dan John Etchemendy, 2000. ''Language Proof and Logic''. CSLI (University of Chicago Press) and New York: Seven Bridges Press.<br />
* David Hilbert dan Wilhelm Ackermann 1950. [[Principles of Theoretical Logic]] (English translation). Chelsea. The 1928 first German edition was titled ''Grundzüge der theoretischen Logik''.<br />
* Wilfrid Hodges, 2001, "Classical Logic I: First Order Logic," in Lou Goble, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell.<br />
<br />
== Pranala luar ==<br />
* plato.stanford.edu/entries/logic-classical/<br />
* www.fecundity.com/logic/<br />
* us.metamath.org/index.html<br />
* www.ltn.lv/~podnieks/<br />
* john.fremlin.de/schoolwork/logic/index.html<br />
<br />
<br />
<br />
== Sumber dan atribusi ==<br />
<br />
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Logika+predikat+tingkat+pertama&oldid=26338687 Wikipedia bahasa Indonesia], revisi 26338687 (2024-09-23T14:50:18Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.</div>
Maintenance script