RELATIONAL LOGIC LOGIKA PROPOSIONAL LOGIKA RELASIONAL Konstanta merujuk

RELATIONAL LOGIC

LOGIKA PROPOSIONAL •

LOGIKA RELASIONAL • Konstanta merujuk ke sebuah obyek, misalnya : Budi, Sita • Konstanta juga dapat merujuk pada sebuah hubungan, misalnya : Mencintai, Bahagia

• Proposisi atomik mengungkapkan hubungan antara objek-objek tersebut, misalnya: Budi mencintai Sita Budi senang Logika relasionalnya: Mencintai (Budi, Sita) Mencintai (Sita, Budi) Senang (Budi)

• Variabel : Untuk menuliskan variabel, harus dengan huruf yang dimulai dari u, v, w, x, y, z • Konstanta : Konstanta dapat ditulis dengan angka, atau huruf alfabet dari a sampai t, atau sebuah kata, misalnya budi, tuti, siti • Konstanta ada beberapa jenis

• Konstanta ada beberapa jenis, walaupun tidak secara tegas disebutkan 1. Konstanta. Objek mengacu pada benda dalam semesta pembicaran Budi, Sita 2. Konstanta Fungsi menunjukan sebuah fungsi ayah, ibu, tambah, umur 3. Konstanta Hubungan menunjukan suatu hubungan anak, senang, orang tua, mencintai

ARITY •

LATIHAN •

LATIHAN • berikut : (a) Setiap manusia merupakan mahluk hidup. (b)Untuk semua x, jika x adalah manusia maka x merupakan mahluk hidup