

Kalkulus predikat
DWIJONO, Djoni
Tersedia di:
Deskripsi
Pokok pembahasan logika sebenarnya masih tetap sama yakni pembuktian validitas suatu argument, tetapi di sini adalah argument yang tidak mungkin dibuktikan dengan logika proposisional. Argument yang dimaksudkan adalah yang memiliki kata-kata “Semua…. (all…)” dan atau “Ada… (There is …)” yang menunjukkan suatu jumlah pada statement-statement yang menyusunnya. Untuk mengatasi hal tersebut diperkenal konsep yang disebut predikat (predicate), sehingga logika yang menanganinya disebut Logika Predikat (Predicate Logic). Metode yang digunakan untuk pembuktian tetap sama dengan logika proposisional yakni Metode Derivasi dengan aturan-aturan yang tidak berbeda dengan aturan-aturan yang digunakan pada Logika Proposisional, tetapi dengan tambahan beberapa aturan yang hanya ada pada Logika Predikat. Pembahasan pada buku ini dimulai dengan konsep kuantor, yakni kuantor universal dan kuantor eksistensial serta semesta pemikiran (universe of discourse) yang melengkapinya, dan dilanjutkan dengan pembuktian validitas melalui ekspresi logika predikat yang dibentuk dari argument memakai Metode Derivasi. Semua aturan-aturan pada logika proposisional digunakan pada logika predikat, hanya ditambah aturan Universal Quantifier Elimination (UE) dan Universal Quantifier Introduction (UI) serta Existensial Quantifier Elimination (EE) dan Existensial Quantifier Introduction. Semua aturan tersebut digunakan pada Metode Derivasi untuk pembuktian ekspresi logika predikat dari argument yang memiliki kuantor-kuantor.
Ulasan
Buku Rekomendasi Lainnya

Arsitek Bicara Tentang Arsitektur Indonesia
BUDIHARDJO, Eko

Robotika, Sensor Dan Aktuator : Persiapan Lomba Kontes Robot Indonesia Dan Kontes Robot Cerdas Indonesia
RIYANTO, Sigit

Misteri dilema seorang menantu
S. Mara Gd

The secret of shambhala = rahasia shambhala
REDFIELD, James ; TARYADI, Alfons

My lord vampire : kekasih vampirku
IVY, Alexandra ; OKTAVIA, Yolanda ; JANTJE

Poultry and Ratite Nutrition
PATHAK, Nityanand

marcel and the mona lisa
RABLEY, Stephen

Strawberry generation : anak-anak kita berjak keluar dari perangkap yang bisa membuat mereka rapuh
Rhenald Kasali, (penulis.) ; Moh. Sidik Nugraha, (editor)

Hemat (sampah) pangkal kaya : tips praktis bikin cuan dengan cara mengurangi sampah dan jejak karbon dari kegiatan sehari-hari
Denia Isetianti, Aldy Mardhika ; ALDY MARDHIKA ; MAGGIE RUDY PRANATA

Get the Glue, Lew!
Jane Clarke (Pengarang)

Menjadi suami & ayah hebat
Haikal Hassan Baras (Pengarang) ; Aminah Nur Habibah (Penyunting)

Preambule : Matoshi family
Auntie Zara (Pengarang) ; Any Alaine (Penyunting) ; Firda Sulistiana (Penyunting)

Dalam buai : kumpulan puisi
Singgih Dwi Husanda (Pengarang) ; S Jai (penyunting)

Pangeran katak & sang putri
Hendry Ch Bangun (Pengarang) ; Frieda Amran (Pengarang) ; Wahyu Wibowo (Pengarang)
