Algoritma dan Pemrograman II C

DASAR DASAR LOGIKA

Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2 2!"

b. " adalah bilangan prima c. #akarta adalah ibukota negara $ndonesia d. Penduduk $ndonesia ber%umlah &' %uta Penghubung kalimat (ering kali beberapa kalimat perlu digabungkan men%adi satu kalimat yang lebih pan%ang. )isalnya kalimat : * " adalah bilangan gena dan + adalah bilangan gan%il * merupakan gabungan dari 2 buah kalimat : * " adalh bilangan genap * dan kalimat * + adalah bilangan gan%il * didalam logika dikenal & buah penghubung : (imbol 2 + " & . 2 4 6 7 ,rti Bentuk /idak ......... 3.. atau ........

/idak 0 1ot 0 1egasi ,tau 0 5r 0 Dis%ungsi $mplikasi Bi 8 implikasi

Dan 0 ,nd 0 Kon%ungsi 3.. dan 33 #ika ....... maka ....... ......bila dan hanya bila ......

Aljabar Relasioanal

Halaman 1 Dari 11

Algoritma dan Pemrograman II C

Dalam matematika digunakan huruf 8 huruf kecil seperti p, 9, r, ... untuk menyatakan sub kalimat dan simbol 8 simbol penghubung untuk menyatakan penghubung kalimat. )isalkan : p menyatakan kalimat * " adalah bilangan genap * 9 menyatakan kalimat * + adalah bilangan gan%il *

)aka kalimat : - " adalah bilangan genap dan + adalah bilangan gan%il * dapat dinyatakan dengan simbol p 2 9 #ika p dan 9 merupakan kalimat 8 kalimat, maka tabel kebenaran penghubung tampak pada tabel ( / ! /rue0benar : ; ! ;alse0salah ). Perhatikan bah<a secara umum, %ika ada n 4ariabel ( p, 9, ...), maka tabel kebenaran memuat 2 n baris. P / / ; ; 9 / ; / ; .p ; ; / / p29 / ; ; ; p49 / / / ; p 6 p79 9 / ; / / / ; ; /

=ontoh : )isal k : )onde orang kaya s : )onde bersuka cita /ulis bentuk simbolis kalimat berikut ini :

Aljabar Relasioanal

Halaman 2 Dari 11

Algoritma dan Pemrograman II C

a )onde orang yang miskin tetapi bersuka cita b )onde orang kaya atau ia sedih c )onde tidak kaya ataupun bersuka cita d )onde seorang yang miskin atau ia kaya tetapi sedih ,nggaplah negasi dari kaya adalah miskin dan negasi dari bersuka cita adalah sedih Penyelesaian : a Kata penghubung tetapi mempunyai arti yang sama dengan kata penghubung *dan*, sehingga simbolisnya adalah . k 2 s bk4.s c Kalimat tersebut berarti bah<a )onde tidak kaya dan sekaligus )onde tidak bersuka cita. Bentuk simbolisnya . k 2 . s d . k 4 (k 2 . s)

2. $nferensi >ogika >ogika selalu berhubungan dengan pernyataan 8 pernyataan yang ditentukan nilai kebenarannya. (ering kali diinginkan untuk menentukan benar tidaknya kesimpulan berdasarkan se%umlah kalimat yang diketahui nilai kebenarannya. Argumen Valid dan Invalid

Aljabar Relasioanal

Halaman 3 Dari 11

Algoritma dan Pemrograman II C

,rgumen adalah rangkaian kalimat 8 kalimat. (emua kaliamat 8 kalimat tersebut kecuali yang terakhir disebut hipotesa ( atau asumsi0premise). Kalimat terakhir disebut kesimpulan. (ecara umum, hipotesa dan kesimpulan dapat digambarkan sebagai berikut : PP2 P+ ... Pn ???????????????????? 9 @ kesimpulan (tanda 9 dibaca * %adi 9 *

(uatu argumen dikatakan 4alid apabila untuk sembarang pernyataan yang disubsitusikan kedalam hipotesa, %ika semua hipotesa tersebut benar, maka kesimpulan %uga benar. (ebaliknya meskipun semua hipotesa benar tetapi ada kesimpulan yang salah, maka argumen tersebut dikatakan in4alid. Kalau suatu argumen dan semua hipotesanya bernilai benar maka kebenaran nilai konklusi dikatakan sebagai * diinferensikan (diturunkan) dari kebenaran hipotesa *. Antuk mengecek apakah suatu argumen merupakan kalimat yang 4alid, dapat dilakukan langkah 8 langkah sebagai berikut : - /entukan hipotesa dan kesimpulan kalimat. 2 Buat tabel yang merupakan nilai kebenaran untuk semua hipotesa dan kesimpulan. + =arilah baris kritis, yaitu baris dimana semua hipotesa bernilai benar. " Dalam baris kritis tersebut, %ika semua nilai bernilai benar, maka argumen itu 4alid. #ika diantara baris kritis tersebut ada baris dengan nilai kesimpulan yang salah, maka argumen itu in4alid.

Aljabar Relasioanal

Halaman 4 Dari 11

Algoritma dan Pemrograman II C

=ontoh /entukan apakah argumen ini 4alid 0 in4alid a p4(94r) .r ???????????????? p49 b p6(94.r) 96(p2r) ???????????????????? p6r

Penyelesaian : a ,da 2 hipotesa masing 8 masing p 4 ( 9 4 r ) dan . r. Kesimpulannya adalah p 4 9. /abel kebenaran hipotesa 8 hipotesa dan kesimpulan adalah : Baris ke 2 + " & B C D p / / / / ; ; ; ; 9 / / ; ; / / ; ; r / ; / ; / ; / ; 94r / / / ; / / / ; p 4 (94r) / / / / / / / ; .r p49 ; / ; / ; / ; / / / / / / / ; ;

Baris kritis adalah baris 2, ", B (baris yang semua hipotesanya bernilai /. Pada baris 8 baris tersebut kesimpulannya %uga bernilai /. )aka argumen tersebut valid. b Eipotesa adalah p 6 ( 9 4 . r ) dan kebenarannya adalah 9 6 ( p 2 r ). Konklusinya adalah p 6 r, tabel

Aljabar Relasioanal

Halaman 5 Dari 11

Algoritma dan Pemrograman II C

Bari p 9 r s ke 2 + " & B C D / / / / ; ; ; ; / / ; ; / / ; ; / ; / ; / ; / ;

. 94 r ; / ; / ; / ; / .r / / ; / / / ; /

p2 r / ; / ; ; ; ; ;

p6(94 .r) / / ; / / / / /

96(p2 9) / ; / / ; ; / /

P 6r / ; / ; / / / /

Baris kritis adalah baris -, ", C, dan D. Pada baris ke " (baris kritis) nilai konklusinya adalah ;, maka argumen tersebut invalid. Metode Metode Inferen i )etode $nferensi yaitu teknik untuk menurunkan kesimpulan berdasarkan hipotesa yang ada, tanpa harus menggunakan tabel kebenaran. ,da delapan bentuk inferensi adalah ,/AF,1 - )odus Ponen BG1/AK ,FHA)G1 p69 p ???????? 9 2 )odus /ollen p69 .9 ????????

Aljabar Relasioanal

Halaman 6 Dari 11

Algoritma dan Pemrograman II C

.p + Penambahan Dis%angtif p ??????? p49 " Penyederhanaan Ko%ungtif p29 ?????? p & (ilogisme Dis%ungtif p49 .p ??????? 9 B (ilogisme Eipotesis p69 96r ???????? p6r C Dilema p49 p6r 96r ????????? r D Ko%ungsi p 9 ??????? p29 9 ??????? p49 p29 ?????? 9 p49 .9 ??????? p

Aljabar Relasioanal

Halaman 7 Dari 11

Algoritma dan Pemrograman II C

=ontoh : Pada suatu hari, anda hendak pergi ke kampus dan baru sadar bah<a anda tidak memakai kacamata. (etelah mengingat?ingat, ada beberapa fakta yang anda pastikan kebenarannya : a #ika kacamata ada di me%a dapur, maka aku pasti sudah melihatnya ketika sarapan pagi b ,ku membaca koran di ruang tamu atau aku membacanya di dapur c #ika aku membaca koran di ruang tamu, maka pastilah kacamata kuletakkan di me%a tamu d ,ku tidak melihat kacamataku pada <aktu sarapan pagi e #ika aku membaca buku di ran%ang, maka kacamata kuletakkan di me%a samping ran%ang f #ika aku membaca korang di dapur, maka kacamataku ada di me%a dapur Berdasarkan fakta?fakta tersebut, tentukan di mana letak kacamata tersebut I

Penyelesaian :

Aljabar Relasioanal

Halaman 8 Dari 11

Algoritma dan Pemrograman II C

Antuk memudahkan pemahaman dan penggunaan hukum 8 hukum inferensi, maka kalimat 8 kalimat tersebut lebih dahulu dinyatakan dalam simbol 8 simbol logika misalnya : p : Kacamata ada di me%a dapur 9 : ,ku melihat kacamataku ketika sarapan pagi r : ,ku membaca koran di ruang tamu s : ,ku membaca koran di dapur t : Kacamata kuletakkan di me%a tamu u : ,ku membaca buku di ran%ang J : Kacamata kuletakan dime%a sampan ran%ang Dengan simbol 8 simbol tersebut maka fakta 8 fakta di atas dapat di tulis sebagai berikut : (a) (b) (c) (d) (e) (f) p69 r4s r6t .9 u6< s6p

$nferensi yang dapat dilakukan adalah sebagai berikut :

Aljabar Relasioanal

Halaman

Dari 11

Algoritma dan Pemrograman II C

-p69 .9 ???????? .p 2s6p .p ????????? .s +r4s .s ????????? r "r6t r ????????? t

fakta (a) fakta (d) dengan )odus /ollen fakta (f) kesimpulan dari dengan )odus /ollen fakta (b) kesimpulan 2 dengan (ilogisme Dis%ungtif fakta (c) kesimpulan + dengan )odus Ponen

Kesimpulan : Kacamata ada di me%a tamu Perhatikan bah<a untuk mencapai kesimpulan akhir, tidak semua fakta dipergunakan. Dalam contoh fakta (e) tidak digunakan. Eal ini tidak men%adi masalah selama penurunan dilakukan dengan menggunakan metode inferensi yang benar.

Aljabar Relasioanal

Halaman 1! Dari 11

Algoritma dan Pemrograman II C

Aljabar Relasioanal

Halaman 11 Dari 11