

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

Dengan Hukum Megejar Kesejahteraan Rakyat M. Hutauruk
HUTAURUK, M

Teori dan Strategi Pembangunan Nasional
COKROAMIJOYO, Bintoro

Slam dunk deluxe # 10
TAKEHIKO, Inoue

Environmental human rights : power, ethics and law
HANCOCK, Jan

Digital imaging series : amazing art
Rahmad Widiyanto

Budidaya ikan mas di kolam hemat air
SUPRIATNA, Yadi

Cepat & mudah menggambar 120 karakter mangga
MURTI, Atitya

Psikologi pendidikan anak usia dini : menumbuh-kembangkan potensi ''bintang'' anak di TK atraktif
Rozi Sastra Purna (penulis) ; Arum Sukma Kinasih ; Bambang Sarwiji ; Marcella Virginia ; Mgrafis

Bimbingan Senam Wanita
Mary L.SCHREIBER

A time of torment = saat-saat tersiksa
John Connolly

Menembus arus menyelami Aceh : puisi-puisi perdamaian 9 negara
Maman S. Mahayana (Pengarang) ; Helmi Hass (Pengarang) ; D. Kemalawati (Pengarang) ; Sulaiman Tripa (Pengarang) ; Mahwi Air Tawar (Pengarang) ; A. Muttaqin (Pengarang) ; Abdul Hadi W. M. (Pengarang) ; Abdul Wachid B.S (Pengarang) ; Abidah El Khalieqy (Pengarang) ; Agus R. Sarjono (Pengarang)

Dragon masters : chill of the ice dragon
Tracey West (Pengarang) ; Nina De Polonia (Ilustrator)

Top marks for murder
Robin Stevens

Horimiya 01
Hero (Pengarang) ; Ayu Arsandhi (penerjemah) ; Adisti (editor) ; Hagiwara, Daisuke (penulis)
