Logika Proposisional

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

Popular posts from this blog

Contoh Inheritance (Pewarisan) di Java

Deploy CodeIgniter 3 Menggunakan Docker

Physical address dan Logical Address (1)