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 :

  1. Saya mempunyai uang
  2. Benda ini tenggelam dalam air
  3. Kotak ini berisi cabe
  4. Bangkok adalah ibukota negara Vietnam
  5. Ir.Sukarno adalah presiden pertama RI
  6. “Kotagede” mempunyai 9 huruf.
  7. Saya lapar
  8. Benda ini padat
  9. India merupakan suatu negara
  10. 10.1 + 101 = 110
    Masing-masing dapat bernilai satu dari nilai kebenaran yang tetap yaitu T(rue) atau F(alse)

Logika Proposisional
Pengenalan Informal

  • Logika adalah suatu system berbasis proposisi.
  • Suatu proposisi adalah suatu pernyataan (statement) yang dapat ber”nilai” Benar (true) atau Salah (false) dan tidak keduanya.
  • Dikatakan bahwa nilai kebenaran daripada suatu proposisi adl salah satu dari benar (true disajikan dng T) atau salah (false disajikan dengan F).
  • Dalam untaian digital (digital circuits) disajikan dng 0 dan 1

Variabel-variabel tersebut diatas dihubungkan dengan menggunakan penghubung logis yang disebut operator atau functor.

Sebagai contoh :

1) Saya mempunyai uang dan saya lapar
2) Jika balok mempunyai berat jenis lebih besar dari 1 maka ia (balok) akan tenggelam diair.
3) Ir. Sukarno presiden pertama RI dan ia proklamator negara RI
4) Saya berangkat kantor naik becak atau naik angkot.
5) Lampu mobil mati karena plentongnya mati atau kabelnya putus.

Perhatikan kalimat-kalimat sebagai berikut :

 1) Tutuplah pintu itu

 2) Dilarang merokok

 3) Nilai daripada x terletak diantara nol dan satu

Kalimat-kalimat tersebut tidak dimasukkan dalam pembicaraankita karena mereka tidak dapat ber “nilai” benar ataupun salah sedang yang terakhir tidak dimasukkan disini tetapi masuk dalam logika predikat karena ada variabel x yang nilainya belum ditentukan.

Leave a comment

Your email address will not be published. Required fields are marked *