Logika Predikat Simbol, dan Pendahuluan

Logika Predikat Simbol, dan Pendahuluan - Setelah kita selesai membahas mengenai pembahasan logika proposisional, sekarang kita akan beranjak ke pembelajaran selanjutnya, yakni Logika Predikat, logika predikat merupakan perluasan dari logika proposisional dalam perkara ini.

Pengantar Logika Predikat

Logika Proposisional terlalu kasar dan primitif untuk mengungkapkan konsep obyek, sifat-sifat dari obyek dan hubungan antara obyek. Logika predikat yang akan kita diskusikan kali ini merupakan perluasan dari logika proposisional dalam perkara ini. Dengan cara yang sama dengan logika proposisional, kita juga akan mendiskusikan bagaimana membangun sebuah kalimat dan kemudian menentukan kebenaran dari kalimat tersebut dalam logika predikat.

Materi yang kita pelari dalam belajar logika predikat untuk pertama kali yakni sebagai berikut :
1.  Apa itu Logika Predikat
2.  Simbol,

Langsung saja mari kita belajar di blog ini dengan semangat yang membara.

1.  Logika Predikat

Logika predikat merupakan perluasan dari logika proposisional dalam perkara ini yang dianggap logika proposisional terlalu kasar dan primitif.

Pendahuluan untuk mengenal lebih mengenai Logika Predikat

Pendahuluan Logika Predikat

Kalimat pada logika proposisi tidak dapat menjelaskan konsep objek dan relasi antar objek

Contoh 1,

Batuan di Mars berwarna putih

atau

Batuan di Mars tidak berwarna putih

Dengan aturan logika propsosisi, pernyataan tersbut dapat dibuat menjadi skema kalimat.

(P or not P)

dan selanjutnya dapa kita tentukan nilai kebenaran dari kalimat tersebut.

Contoh Pernyataan lain,

Ada batuan di Pluto warnanya hitam

atau

Semua batuan di Pluto berwarna hitam

Maka dari itu pernyataan dari dua kalimat diatas tidak bisa dijadikan sebuah skema kalimat Logika Proposisi. Karena kita tahu dari pernyataan kalimat tersebut terkandung kuantisasi dari sebuah objek. Oleh sebab itu diperlukan suatu bahasa logika baru yang dapat mengenal adanya konsep objek dan juga hubungan antar objek, yakni Logika Predikat.

Nah jika kita gunakan Logika Predikat pernyataan akan menjadi seperti dibawah ini.

(for some a) (p(a) and q(a))

or

(for all a)(if p(a) then q(a))

pejelasan :

p(a) = a adalah batuan di Mars

q(a) = a adalah batuan berwarna putih

"for some a" disebut kuantifier (simbol : ∃a)

"for all a" disebut kuantifier (simbol : ∀a)

2.  Pembahasan mengenai Simbol

-  Simbol Pada Logika Predikat

Simbol yang digunakan, Kalimat dalam logika predikat dibuat dari simbol - simbol pada pembahasan berikut :

• Simbol Kebenaran : true dan false
• Simbol Konstanta : a, b, c, a1, b1, ...
• Simbol variabel : x, y, z, x1, x2, ...
• Simbol fungsi : f, g, h, g1, f1, h1, ... disetiap simbol fungsi memiliki arit-y yang dapat saya artikan sebagai suatu banyaknya parameter/ argumen yang harus ada.
• Simbol Predikat (diartikan sebagai Hubungan) : p, q, r, s, p1, q1, r1, ...Nah disetiap simbol predikat, mempunyai arti yang beda beda

Catatan :

• Objek yang terdapat didalam suatu logika predikat bisa dikatakan sebagai suatu konstanta ataupun variabel.
• Setiap simbol fungsi memiliki arit-y, yaitu suatu bilangan bulat positif, yang mengindikasikan banyaknya argumen fungsi tersebut. 
• Bisa dikatan pula disetiap simbol predikat dapat mempunyai arit-y.
• Fungsi atau predikat dengan arity n disebut fungsi atau predikat n-ary. 1-ary, 2-ary, 3-ary disebut unary, binary dan ternary.
• Konstanta dan variabel akan melambangkan obyek-obyek, sementara fungsi dan predikat akan melambangkan fungsi dan relasi antara obyek-obyek yang ada.
• Kita akan membangun bahasa logika predikat dalam 3 tahap: kita definisikan term, kemudian proposisi, dan terakhir kalimat.

Itulah Sedikit Pembahasan mengeani Logika Predikat di dalam Logika Informatika, Pada postingan pertama pembahasan ini yang kita pelajari selama postingan ini yakni, simbol.

Demikian pembahasannya, saya cukupkan saja. Jika terdapat pertanyaan, kritik, ataupun saran bisa langsung tulis di kolom komentar, jika ada waktu akan saya respon secepatnnya/ Semoga dengan artikel dapat memberikan banyak materi kepada kalian dan akan lebih aham mengenai Logika Predikat ini. Sekian dan Terimakasih telah berkunjung di Situs Kami

Logika Predikat Simbol, dan Pendahuluan

Terima Kasih

OmahInformatika.xyz

Tweet

Subscribe to receive free email updates: