Logika Proposisional

By -

Contoh proposisi :
"1 + 1 = 2", ini nilainya benar, penjumlahan 1 + 1 hasilnya adalah 2
"Hari ini adalah hari Rabu", akan bernilai benar apabila hari ini bertepatan dengan hari Rabu dan sebaliknya.

Pernyataan "x > 0" bukan merupakan proposisi karena terdapat variabel x yang baru dapat dinyatakan nilai kebenarannya apabila sudah ada nilai yang diberikan untuk variabel x.
"This sentence is false" juga bukan merupakan proposisi karena berisi self-reference yang memuat kontradiksi.

Variabel proposisional dapat digunakan untuk sebuah proposisi, misalnya variabel P untuk mewakili proposisi “2 + 2 = 4”.

Sebuah well-formed formula (WFF) dalam logika proposisional adalah formula yang benar secara sintaks yang dibuat berdasarka aturan sintaks dalam kalkulus poposisional.
WFF terdiri dari variabel, konstanta, terms, dan penghubung logika misalnya konjungsi (and), disjungsi (or), implikasi (if ... then ...). ekuivalensi (if and only if), dan negasi.

Truth Table

Setiap variabel proposisi memiliki 2 kemungkinan nilai (true atau false), apabila terdapat 2 variabel proposisional dalam formula W dapat dijabarkan menjadi truth table dengan 22 = 4 baris dan 3 kolom.




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

Contoh Penerapan Interface di Pemrograman Java

By -
Image
Dalam pemrograman Java kita mengenal adanya Class dan Interface. Class adalah template dari suatu object. Di dalam sebuah class kita bisa mendefinisikan atribut-atribut yag mewakili data-data yang dimiliki oleh sebuah object, di dalam Class juga didefinisikan method-method / fungsi yang mewakili behaviour atau operasi yang bisa dilakukan oleh suatu object. Sedangkan Interface sendiri bisa dianalogikan sebagai template dari class. Di dalam sebuah Interface terdapat method-method abstract, ada nama method beserta parameternya namun isi / code dari method di dalam Interface tersebut belum dituliskan. Untuk menggunakan Interface kita perlu membuat Class yang mengimplementasikan Interface tersebut, Class yang dibuat nanti otomatis akan memiliki method-method yang dituliskan di dalam Interface dan kode dari method-method tersebut dituliskan dalam Class yang dibuat. Agar lebih jelas mari kita simat ilustrasi berikut : Kita akan membuat sebuah Interface dengan nama BangunDatar. Di dalam Interf
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 untu
Read more