Proposisi – Bahasa Indonesia 2

Proposisi adalah pernyataan yang dapat bernilai benar atau salah, tetapi tidak keduanya.

Contoh

Dibawah ini adalah proposisi

(a)Bulan terbuat dari keju

(b)4 adalah bilangan prima

(c)3 + 3 = 6

(d)2 adalah bilangan integer genap dan 3 bukan bilangan integer genap

(e)It snowed in the island that is now called Manhattan on the day the King of England signed the Magna Carta.

(f)My most recently written computer program always halts if allowed to run for a sufficiently long time.

Pada proposisi diatas (a) dan (b) adalah salah, (c) dan (d) adalah benar dan (e) mungkin dapat benar. Kebenaran proposisi(f) mungkin sulit ditentukan.

Dibawah ini bukan proposisi :

(g)x + y > 4(h)x = 3

(i)Apakah kamu pergi ?

(j)Belikan keempatnya.

Contoh pertama adalah pernyataan tetapi bukan sebuah proposisi karena nilai kebenarannya tergantung dari nilai x dan y. Nilai kebenaran pernyataan kedua tergantung dari nilai x. Contoh (i) dan (j) bukan pernyataan dan bukan pula proposisi.

Variabel proposional menandakan proposisi bebas tanpa nilai kebenaran khusus. Kita akan menggunakan abjad P, Q, R, … untuk variabel preposisi. Proposisi dapat dikombinasikan ke bentuk pernyataan baru menggunakan kata seperti “dan”, “atau”,dan “not”. Sebagai contoh dari proposisi “ Edi tingginya enam kaki” dan “ ada 5 ekor sapi dalam kandang”, kita dapat membentuk

“Edi tingginya enam kaki dan ada 5 ekor sapi dalam kandang”

“Edi tingginya enam kaki atau ada 5 ekor sapi dalam kandang”

“Edi tingginya bukan enam kaki”

Dengan cara yang sama

“ P dan Q”

“P atau Q”

“bukan P”

Adalah pernyataan dimana dapat dibentuk dara variabel proposional P dan Q. Dalam ekspresi seperti diatas, variabel P dan Q dinamakan operand, dan kata “dan”,”atau”, dan “bukan” dnamakan logical operators atau logical connectives. Logical connective menandakan operasi dalam proposisi sama dengan tanda “tambah” dan “kali” yang menandakan operasi pada angka. Sebagai contoh dalam aljabar ekspresi “ 4 + x” mempunyai 4 dan x sebagai operand dan + sebagai operator.

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s

%d blogger menyukai ini: