LOGIKA-PROPOSISI

Proposisi (Pernyataan) Elementer

Perhatikan kalimat pada contoh di bawah ini.

1)      Semarang Ibu Kota Jawa Tengah

2)      a faktor dari 6

3)      Dua adalah bilangan ganjil

4)      Mudah-mudahan lulus ujian

5)      2+ 6 = 8

6)      x faktor dari 5

7)      5 + 4 < 7

8)      Selesaikan soal di bawah

9)      x + 5 = 9

10)  x - 2 < 7

Kalimat pada contoh yang merupakan pernyataan adalah 1, 3, 5, dan 7 sebab kalimat tersebut sudah dapat ditentukan nilai kebenarannya (benar atau salah). Nilai kebenaran pernyataan di atas berturut­-turut: benar, salah, dan salah.

Definisi

Pernyataan adalah kalimat yang sudah dapat ditentukan nilai kebenarannya (benar atau salah).

Pernyataan pada contoh diatas sering disebut pernyataan elementer dan selanjutnya dinyatakan dengan simbol p, q, r, s, dan seterusnya.