Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
62Activity
0 of .
Results for:
No results containing your search query
P. 1
PROPOSISI

PROPOSISI

Ratings:

4.0

(3)
|Views: 6,920 |Likes:
Published by api-3709911

More info:

Published by: api-3709911 on Oct 18, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

03/18/2014

pdf

text

original

 
PROPOSISI
Proposisi adalah pernyataan yang dapat bernilai benar atau salah, tetapi tidakeduanya.ContohDibawah 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 nilaikebenarannya tergantung dari nilai x dan y. Nilai kebenaran pernyataan keduatergantung dari nilai x. Contoh (i) dan (j) bukan pernyataan dan bukan pula proposisi.Variabel proposional menandakan proposisi bebas tanpa nilai kebenaran khusus. Kitaakan menggunakan abjad P, Q, R, ... untuk variabel preposisi. Proposisi dapatdikombinasikan ke bentuk pernyataan baru menggunakan kata seperti “dan”,“atau”,dan “not”. Sebagai contoh dari proposisi “ Edi tingginya enam kaki” dan “ ada5 ekor sapi dalam kandang”, kita dapat membentuk “Edit tingginya enam kaki dan ada 5 ekor sapi dalam kandang”“Edit tingginya enam kaki atau ada 5 ekor sapi dalam kandang”“Edit 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. Dalamekspresi seperti diatas, variabel P dan Q dinamakan operand, dan kata “dan”,”atau”,dan “bukan” dnamakan logical operators atau logical connectives. Logical connectivemenandakan operasi dalam proposisi sama dengan tanda “tambah” dan “kali” yangmenandakan operasi pada angka. Sebagai contoh dalam aljabar ekspresi “ 4 + x”mempunyai 4 dan x sebagai operand dan + sebagai operator.1
 
Pernyataan yang berisi sekurangnya satu proposional variabel dinamakan bentu proposional. Saat proposisi digantikan untuk variabel dari bentuk proposional, porposisi memberikan hasil. Seperti jika P menyatakan “Edit tingginya enam kaki”dan Q menyatakan “Dua adalah bilangan prima”, bentuk proposional “ P and Q”menyatakan proposisi “Edi tingginya enam kaki dan dua adalam bilangan prima”,dan”not P” menyatakan “Salah bahwa edit tingginya enam kaki.”Ketika operator logika digunakan untuk membentuk proposisi baru dari bentuk lama,nilai kebenaran dari proposisi baru tergantung dari kedua operator logika dan nilaikebenaran dari proposisi original.Operator logika “not,” atau negasi, dinyatakan dengan simbol
¬
. Misalkan Pmenandakan proposisi; lalu “P tidak benar” adalah proposisi dimana kita menyatakandengan “
¬
P” dan merujuk pada “not P,” atau negasi dari P. Ini mengikuti hukum bahwa
¬
P adalah true jika P adalah false, dan sebaliknya. Hubungan antara nilaikebenaran dari
¬
P dan yang didefinisikan oleh P dengan tabel kebenaran untuk operator logika
¬
. Tabel kebenaran dari operator logika menetapkan bagaimana nilaikebenaran dari proposisi menggunakan operator itu ditentukan oleh nilai kebenarandari operand. Tabel kebenaran mendaftarakan semua kombinasi dari nilai kebenarandari operand dalam kolom paling kiri dan nilai kebenaran dari hasil proposisi dalamkolom paling kanan. Tabel kebenaran untuk 
¬
adalah :P
¬
PfalseTrueTruefalseUntuk mendapatkan tabel kebenaran yang lebih mudah untuk dibaca, kita akanmenggunakan secara umum simbol 1 menandakan true dan 0 menandakan false.Menggunakan konvensi ini, tabel kebenaran untuk 
¬
menjadi:P
¬
P0110Ketika negasi berubah dari satu proposisi ke proposisi lainnya, operator logika lainnyamenggabungkan dua proposisi ke bentuk ketiga. Sebuah contoh operator logika “and”yang ditandai dengan simbol
. Jika P dan Q adalah proposisi, lalu “ P and Q” adalah proposisi yang mana kita menyatakan dengan “ P
Q” dan merujuk kepada sebagaikonjungsi dari P dan Q. Berikut adalah definisi tabel kebenaran dari operator logika
.PQP
Q000010100111Tabel kebenaran menghasilkan P
Q menjadi true jikan dan hanya jika kedua P dan Qtrue.2
 
Seperti “and”, operator logika “or”, ditandai dengan simbol
, menggabungkan dua proposisi ke bentuk ketiga. Jika P dan Q adaalh proposisi, maka proposisi “ P or Q”dinamakan disjunction dari P dan Q dan ditandai oleh “ P
Q”. Definisi tabelkebenaran berikut untuk operator logika
.PQP
Q000011101111Ini mengikuti dari table kebenaran bahwa P
Q adalah true jika sedikitnya satu dari Patau Q true. Operator ini dikenal sebagai “logical or” atau “inclusice or”. Satu jugadapat mendefinisikan sebuah “exclusive or” ditandai dengan
, oleh tabel kebenarandibawah ini:PQP
Q000011101110Operator Logika “Implies” dintandai dengan simbol
; proposisi “P Implies Q”dinyatakan oleh “P
Q” dan dinamakan implikasi. Operand P dinamakan premise,hypothesis, atau antecedent, dan Q dinamakan conclusion atau consequence. Tabelkebenaran untuk operator 
adalah sebagai berikut:PQP
Q001011100111Proposisi P
Q adalah false hnya ketika P true dan Q false. Implikasi dapatdinyatakan dalam beberapa cara; pernyataan P
Q dapat diekspresikan sebagai“ Jika P, maka Q”“ P hanya jika Q”“ P adalah kondisi cukup untuk Q”“ Q adalah kondisi perlu untuk P ”“ Q jika P ““ Q mengikuti dari P ““ Q dihasilkan P”“ Q adalah konsekuensi logis dari P”“ Q kapan saja P “Kebalikan dari P
Q adalah proposisi Q
P, dan kontrapositif dari P
Q adalah
¬
P
 
¬
Q. Jika P
Q adalah true, maka P dikatakan sebagai pernyataan lebih kuat dari pada Q, seperti “ x adalah integer positif” adalah pernyataan sangat kuat dari pada “ xadalah sebuah integer”3

Activity (62)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Chairil Mauriza liked this
Inne Diani Ajjah liked this
Lì Yǎ liked this
Hendro Yanto liked this
hpomanto liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->