Pengenalan Logika Proposisional dan Logika Predikat

By -

Logika Proposisional

Logika Proposisional atau propositional logic melibatkan proposisi.
Proposisi adalah pernyataan yang bisa bernilai benar atau salah (salah satu saja, tidak bisa sekaligus benar dan salah).
Proposisi bisa dikombinasikan dengan proposisi lainnya (dengan penghubung logika) untuk membentuk compound proposition.
Truth table digunakan untuk menentukan nilai kebenaran suatu ekpresi logika yang kompleks.
Logika proposisinal dapat digunakan untuk melakukan encode argumen sederhana yang diekpresikan dalam bahasa alami, dan menentukan validitasnya. Validitas suatu argumen dapat ditentukan berdasarkan truth table, atau menggunakan aturan inferensi misalnya modus ponens untuk menghasilkan kesimpulan melalui langkah-langkah deduktif.

Logika Predikat

Logika predikat memungkinkan fakta fakta kompleks yang ada di dunia nyata dapat diekpresikan, fakta baru dapat dihasilkan melalui deductive reasoning. 
Terdapat tools untuk membantu penggunaan logika predikat yaitu menggunakan kalkulus predikat. Dalam kalkulus predikat terdapat predikat, variabel, dan kuantifier. Sebuah predikat adalah karakteristik atau properti yang dapat dimiliki oleh subjek sebuah statement. Sebuah predikat dapat berisi variabel-variabel, dan statement yang dilengkapi variabel dapat menjadi proposisi setelah variabel diisi suatu nilai.

Terdapat dua jenis kuantifier, universal dan eksistensial. Universal quantifier digunakan untuk mengekspresikan statement di mana semua member dari domain yang dimaksud memiliki properti P. Bisa ditulis sebagai (∀x) P(x), atau ini menyatakan statement bahwa properti P(x) benar untuk semua x. Sementara existential quantifier menyatakan setidaknya ada satu anggota domain yang memiliki properti P, dapat ditulis sebagai (∃x)P(x).

Comments

Post a Comment

Popular posts from this blog

Contoh Inheritance (Pewarisan) di Java

By -
Image
diupdate 24 November 2023 Inheritance atau pewarisan, dalam paradigma pemrograman berorientasi objek bisa diartikan membuat suatu class yang mirip seperti class yang lain. Ada class yang ditiru (class induk / parent / superclass) dan ada class hasil tiruan / hasil turunan (class child / subclass). Subclass akan mewarisi atribut dan method-method yang ada pada superclass. Contoh inheritance atau pewarisan dalam OOP misalnya sebagai berikut. Ada class Karyawan yang memiliki atribut NIP, nama, dan jenis kelamin serta dua buah method yaitu masukKerja() dan beriNama(String nama). Apabila digambarkan dalam class diagram seperti berikut Dibuat source code dalam bahasa pemrograman Java sebagai berikut Dibuat class baru yaitu Dosen, class Dosen adalah turunan dari class Karyawan. Dalam bahasa pemrograman Java untuk membuat pewarisan digunakan keyword extends ketika menuliskan deklarasi class (lihat baris ke tiga di source berikut). Class Dosen akan mewarisi atribut NIP, nama, dan je...
Read more

Review Singkat Pilihan Transportasi Umum Rute Solo - Wonosobo

By -
Karena satu hal, saya cukup sering bolak balik Solo - Wonosobo. Jarak dua kota tersebut cukup jauh, sebenarnya bisa saja ditempuh dengan kendaraan pribadi seperti sepeda motor namun kadang untuk meminimalisir rasa capek akibat mengemudi saya memilih naik kendaraan umum. Terdapat beberapa pilihan moda transportasi umum untuk rute Solo - Wonosobo. Sejumlah bus AKAP asal Jawa Timur saat ini telah memperluas jangkauannya hingga mencapai Purbalingga, kita dapat memilih naik Eka atau Sugeng Rahayu jurusan Purbalingga yang melalui Wonosobo. Bus-bus AKAP ini cukup nyaman dengan fasilitas standar bus PATAS Jawa Timuran : AC dingin, interior terawat, dan tidak ketinggalan full music Jawa.  Dari segi harga, saya sudah agak lupa karena sudah lama tidak naik bus ini, namun kalau saya tidak salah ingat saat ini untuk jurusan Solo - Wonosobo sudah tembus di atas 100 ribu rupiah. Kenaikan harga BBM yang kemudian diikuti pandemi Covid-19 berkontribusi mengerek tarif bus, padahal dulu di tahun 2018 ...
Read more

Physical address dan Logical Address dalam Jaringan Komputer

By -
Image
Dalam jaringan komputer, setiap node (misalnya PC atau perangkat smartphone) yang terhubung diberikan suatu alamat agar dapat berkomunikasi dengan node lainnya. Dalam arsitektur TCP/IP, terdapat empat jenis alamat, yaitu : 1. Physical address 2. Logical address 3. Port address 4. Application-specific address   Physical address adalah alamat suatu node yang ditentukan oleh jaringan (LAN atau WAN), alamat ini diinclude-kan dalam frame data yang digunakan oleh data link layer. Ukuran dan format dari physical address tersebut sangat bervariasi tergantug pada jaringannya, misal pada ethernet digunakan alamat 6-byte (48 bit) yang diasosiasikan dengan sebuah network interface card (NIC). Karena ukuran dan format physical address yang berbeda-beda (tergantung jenis jaringan), maka jenis alamat ini kurang cocok untuk lingkungan internetwork yang di dalamnya terdapat sejumlah jaringan dengan format alamat yang berbeda-beda. Untuk mengatasi hal tersebut, diperlukan adanya alamat univ...
Read more