Logika predikat tingkat pertama

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan "[[" dan "]]" pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut). Mohon jangan memasang pranala pada kata yang sudah diketahui secara umum oleh para pembaca, seperti profesi, istilah geografi umum, dan perkakas sehari-hari. Sunting bagian pembuka. Buat atau kembangkan bagian pembuka dari artikel ini. Susun header artikel ini sesuai dengan pedoman tata letak. Tambahkan kotak info bila jenis artikel memungkinkan. Hapus tag/templat ini.

artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini)

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu. Cari sumber: "Logika predikat tingkat pertama" – berita · surat kabar · buku · cendekiawan · JSTOR

Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam matematika, filosofi, linguistika, dan ilmu komputer.

Jika kalkulus proposisional membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya:

• Sokrates adalah seorang manusia
• Plato adalah seorang manusia

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.

Contoh berikut menjabarkan perbedaan kalkulus proposisional dan LTP:

• Semua manusia perlu makan
• Sokrates adalah manusia
• Sokrates perlu makan

Dalam kalkulus proposisional, ketiga kalimat di atas diterjemahkan sebagai:

• A
• B
• ${\displaystyle \therefore }$ C

(${\displaystyle \therefore }$ artinya "maka")

Ketiga kalimat di atas tidak dapat dihubungkan dalam kalkulus proposisional. Dalam LTP, kita dapat menerjemahkan ketiga kalimat itu sebagai:

• ${\displaystyle \forall x({\mbox{Manusia}}(x)\rightarrow {\mbox{PerluMakan}}(x))}$
• ${\displaystyle \,{\mbox{Manusia}}({\mbox{Sokrates}})}$
• ${\displaystyle \therefore {\mbox{PerluMakan}}({\mbox{Sokrates}})}$

• Jon Barwise dan John Etchemendy, 2000. Language Proof and Logic. CSLI (University of Chicago Press) and New York: Seven Bridges Press.
• 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.
• Wilfrid Hodges, 2001, "Classical Logic I: First Order Logic," in Lou Goble, ed., The Blackwell Guide to Philosophical Logic. Blackwell.

• plato.stanford.edu/entries/logic-classical/
• www.fecundity.com/logic/
• us.metamath.org/index.html
• www.ltn.lv/~podnieks/
• john.fremlin.de/schoolwork/logic/index.html