Logical Connectives

Jika atom-atom akan dikombinasikan untuk memperoleh proposisi baru maka diperlukan operator logika atau operator sambung yang dilambangkan dng simbol :  1) Negasi (not) Jika p sebarang proposisi, pernyataan “not p” atau “negasi dp p” akan bernilai F jika p bernilai T dan sebaliknya. Dan ditulis dengan  2) Konjungsi/conjunction (and) Konjungsi adalah suatu operator binary atau […]

Logika Proposisi

Proposisi adalah kalimat deklaratif (atau pernyata an) yang memiliki hanya satu nilai kebenaran yaitu banar saja atau salah saja, akan tetapi tidak keduanya. Proposisi yang bukan hasil kombinasi dari proposisi-proposisi disebut atom. Andaikan p dan q variabel yang menyajikan proposisi logis. Mereka menyajikan pernyataan seperti misalnya : Saya mempunyai uang Benda ini tenggelam dalam air […]