![Kalkulus predikat](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/18914.jpg)
![Kalkulus predikat](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/18914.jpg)
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
![Bunda , Aku Kembali](https://perpustakaan.jakarta.go.id/assets/img/no-images.png)
Bunda , Aku Kembali
ZAENUDDIN, Lalu Muhammad
![Scones and sensibility](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/64016.jpg)
Scones and sensibility
ELAND, Lindsay
![POKOK-pokok pensiun pegawai negeri sipil dan janda dudanya di Indonesia](https://perpustakaan.jakarta.go.id/assets/img/no-images.png)
POKOK-pokok pensiun pegawai negeri sipil dan janda dudanya di Indonesia
POKOK-POKOK pensiun
![Lagu-lagu Daerah dalam Permainan Gitar POP Klasik](https://perpustakaan.jakarta.go.id/assets/img/no-images.png)
Lagu-lagu Daerah dalam Permainan Gitar POP Klasik
HAKIM, Thursan
![Journal of radioanalytical chemistry : international journal](https://perpustakaan.jakarta.go.id/assets/img/no-images.png)
Journal of radioanalytical chemistry : international journal
JOURNAL of radioanalytical chemistry
![Dosa-Dosa Terindah](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/88462.jpg)
Dosa-Dosa Terindah
KURNIAWAN, Ade
![Captain Tsubasa 3](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/96656.jpg)
Captain Tsubasa 3
Takashi, Yoichi
![Perang Tuanku Tambusai Sang Harimau Rokan Melawan Penjajahan Belanda : Dalam Perspektif Kebangsaan Indonesia](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/100031.jpg)
Perang Tuanku Tambusai Sang Harimau Rokan Melawan Penjajahan Belanda : Dalam Perspektif Kebangsaan Indonesia
Juni Sjafrien Jahja
![My Own Private Mr. Cool](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/103560.jpg)
My Own Private Mr. Cool
Indah Hanaco
![Terima Kasih Tuhan, Aku Melahirkan Normal](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/121179.jpg)
Terima Kasih Tuhan, Aku Melahirkan Normal
Neni Suhaeni
![Sehat lahir batin : handbook bagi pendamba kesehatan holistik](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/128877.jpg)
Sehat lahir batin : handbook bagi pendamba kesehatan holistik
SUDIRMAN, Tebba (Pengarang)
![101 Dinosaurus Fantastis Di Dunia](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/129197.jpg)
101 Dinosaurus Fantastis Di Dunia
Ilustrasi: DNS05
![Pak Tiru](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/137000.jpg)
Pak Tiru
Yunus St.Majolelo
![Tetirah yang Sempurna](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/205894.jpg)
Tetirah yang Sempurna
Dewi Indra Puspitasari (Pengarang)
![Faith : the art of Sasya Tranggono](https://koleksiperpus.jakarta.go.id/dispusip/uploaded_files/sampul_koleksi/original/Monograf/247140.jpg)