Logika Predikat (Sub-term, sub-kalimat, sub-ekspresi, variabel bebas/terikat)

Logika Predikat  (Sub-term, sub-kalimat, sub-ekspresi, variabel bebas/terikat) - Setelah kita selesai membahas mengenai pembahasan logika predikat mengenai Definisi Logika predikat, simbol, term, proposisi, kalimat, sekarang kita akan beranjak ke pembelajaran selanjutnya, yakni Logika Predikat mengenai Konjungsi dan disjungsi jamak, If-then-else, Ekspresi, Sub-term, Sub-kalimat, sub-ekspresi, Notasi, Representasi kalimat, dan Variabel Bebas/terikat.

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.  Konjungsi dan disjungsi jamak, If-then-else, Ekspresi,
2.  Sub-term, Sub-kalimat, sub-ekspresi, Notasi,
3.  Representasi kalimat, dan Variabel Bebas/terikat.

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

1.  Konjungsi dan Disjungsi Jamak, If then else, Ekspresi di dalam Logika Predikat

kita petakan kembali menjadi 3 bagian yakni Konjungsi dan disjungsi jamak, If then else, dan yang terakhir pada bagian pertama yakni ekspresi

-  Konjungsi dan Disjungsi Jamak
Dengan cara yang sama dengan logika proposisional, kita dapat memperluas penggunaan konjungsi dan disjungsi:
Konjungsi jamak F1 ∧ F2 ∧ F3 ∧ .....∧ Fn adalah singkatan dari

(( ....((F1 ∧ F2) ∧ F3) ....) ∧ Fn).

Disjungsi jamak F1 ∨ F2 ∨ F3 ∨ ......∨ Fn adalah singkatan dari

(( ......((F1 ∨ F2) ∨ F3) ....) ∨ Fn).


-  If - then - else
Construct if - then - else bisa jadi sebuah term atau kalimat, tergantung pada ekspresi-ekspresi setelah then dan else.
Jika ekspresi setelah then dan else adalah term, maka construct if-then-else adalah sebuah term. Contoh:
if (for all z) p(c, d, z) then f(c, d) else g(d, y)
merupakan term.
Jika ekspresi setelah then dan else adalah kalimat, maka construct if-then-else adalah sebuah kalimat. Contoh:
if (for all z) p(c, d, z) then (for some y) q(z, y) else r(y) merupakan kalimat.

-  Ekspresi di dalam Logika Predikat

Suatu bentuk ekspresi didalam Logika predikat bisa berupa kalimat atau bahkan term
Contoh:

z adalah ekspresi
f(z, y) adalah ekspresi
(for some z) p(z) adalah ekspresi

2.  Sub - Term, Sub - Kalimat, Sub - Ekspresi di dalam Logika Predikat

• Subterm dari sebuah term i ataupun dari kalimat A merupakan setiap term antara yang digunakan dalam membangun i atau A
• Subkalimat adalah setiap kalimat antara yang digunakan untuk membangun term atau kalimat yang lebih luas
• Subekspresi adalah subterm atau subkalimat yang terdapat pada sebuah ekspresi

Definisi (Sub-term, Sub-kalimat dan Sub-ekspresi)

• Term-term dan kalimat-kalimat “antara” yang digunakan untuk membangun kalimat F (termasuk F sendiri) disebut sub-ekspresi dari F.
• Sub-term proper, sub-kalimat proper, atau sub-ekspresi proper dari suatu ekspresi E adalah semua sub-term, semua sub-kalimat, atau sub-ekspresi yang berbeda dengan E.

Notasi untuk Mempermudah Pembahasan logika predikat kali ini. Mulai sekarang akan menggunakan notasi baru :

Notasi Lama	Notasi Baru
(for all x)	(∀x)
(for some x)	(∃X)

Contoh :
(for all x)[p(a, x, f(a, x)) ∧ (for some y) q(g(b, x), y)] ≡ (∀ x) [p(a, x, f(a, x)) ∧ (∃ y) q(g(b, x), y)].

Demikian Pembahasan mengenai Logika Predikat dalam Logika Informatika, mengenai materi Konjungsi dan Disjungsi Jamak, Ekspresi, Sub-term, Sub-kalimat dan Sub-ekspresi. Semoga dengan artikel kalian mendapat ilmu yang bermanfaat. Terimakasih telah berkunjung di OmahIT, jika kalian ingin bertanya silahkan bertanya dengan menulisnya di kolom komentar.

Logika Predikat  (Sub-term, sub-kalimat, sub-ekspresi, variabel bebas/terikat)

Terima Kasih

OmahInformatika.xyz

Tweet

Subscribe to receive free email updates: