1.Asas Logik dan Pembuktian

dokumen-dokumen yang mirip
Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

MATEMATIKA DISKRIT LOGIKA

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

Matematika Diskrit LOGIKA

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

Logika Matematik. Saripudin, M.Pd.

LOGIKA. /Nurain Suryadinata, M.Pd

MateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).

Logika adalah jantung dari algoritma dan pemrograman. Contoh: if x mod 2 = 0 then x:=x + 1 else x:=x 1

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim)

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.

Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r

Pertemuan 6 VARIAN BERSYARAT & BIKONDISIONAL

Logika Proposisi. Rudi Susanto

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs.

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB

Materi Kuliah Matematika Komputasi. Oleh: Gembong Edhi Setyawan. Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.

Matematika Industri I

BAB I DASAR-DASAR LOGIKA

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

MATEMATIKA DISKRIT. Logika

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs.

Pertemuan 2. Proposisi Bersyarat

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

Materi Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB

Materi Kuliah IF2120 Matematika Diskrit. Logika (logic) Oleh: Rinaldi Munir. Program Studi Teknik Informatika STEI - ITB

Kuliah 2 1. LOGIKA (LOGIC) Matematika Diskrit. Dr.-Ing. Erwin Sitompul

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

Matematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM

PERTEMUAN KE 3 F T T F T F T F

1. SET. Descrete Mathematics 1

Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit.

BAB 6 LOGIKA MATEMATIKA

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Dasar-dasar Logika. (Review)

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition)

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.

Logika Matematika. ILFA STEPHANE, M.Si. September Teknik Sipil dan Geodesi Institut Teknologi Padang

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

MODUL 3 OPERATOR LOGIKA

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks

Matematika Terapan Teknik Informatika

LOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

Konvers, Invers dan Kontraposisi

BAB IV LOGIKA A. Pernyataan B. Operasi uner

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.

Pengantar Logika Lanjut

BAB I LOGIKA MATEMATIKA

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA

LOGIKA MATEMATIKA I. PENDAHULUAN

Selamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta

6. LOGIKA MATEMATIKA

Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.

MATERI 1 PROPOSITIONAL LOGIC

I. PERNYATAAN DAN NEGASINYA

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012

LOGIKA. Arum Handini Primandari

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika

Modul Praktikum. Logika Dasar. Dosen Pengampu: Anie Rose Irawati M.Cs. Penyusun:

LOGIKA DAN PEMBUKTIAN

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

PROPOSISI. Novy SetyaYunas. Pertemuan 4

LOGIKA Matematika Industri I

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

PEMBUKTIAN MATEMATIKA

4. LOGIKA MATEMATIKA

Mahdhivan Syafwan. PAM 123 Pengantar Matematika

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi

Program Studi Teknik Informatika STMIK Tasikmalaya

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

Logika Proposisi. Adri Priadana ilkomadri.com

PROPOSISI MAJEMUK. dadang mulyana

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

LOGIKA Pendidikan Teknik Informatika

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

Transkripsi:

1.Asas Logik dan Pembuktian ASAS LOGIK Logik merupakan dasar dari semua penaakulan (reasoning). Penaakulan didasarkan pada hubungan antara pernyataanpernyataan (statements). Pernyataan Ayat deklaratif yang sama ada benar (true) atau palsu (false), tetapi tidak kedua-duanya. Nama lain pernyataan: proposisi. Contoh 1. Semua pernyataan di bawah ini adalah proposisi: (a) 11 adalah nombor ganjil. (b) SMU 3083 adalah kursus major matematik PPG. (c) 1 + 1 = 2 2 (d) 8 punca bagi persamaan kuadratik x 64 0. (e) Hari ini adalah hari Sabtu. (f) Untuk semua integer n 0, maka 2n adalah nombor genap. (g) x + y = y + x untuk nombor-nombor nyata x dan juga y. Contoh 2. Semua pernyataan di bawah ini bukan proposisi. (a) Pukul berapa pesawat ASA123 tiba di LTA Pulau Pinang? (b) Tolong isilah gelas ini dengan air! (c) x + 3 = 8 (d) x > 3 Proposisi dilambangkan dengan huruf kecil p,, r,. p : 13 adalah nombor ganjil.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 2 : Matematik Diskrit adalah kursus major PPG. r : 2 + 2 = 4 Pengait Proposisi dan Simbol Contohnya p dan adalah proposisi. 1. Konjungsi (conjunction): p dan Simbol: p, 2. Disjungsi (disjunction): p atau Simbol: p 3. Negasi/Penafian (negation) dari p: bukan p /tidak p Simbol: p atau p p dan disebut proposisi atomik Kombinasi p dengan menghasilkan proposisi majmuk (compound proposition) Contoh 3. Diketahui proposisi-proposisi berikut: p : Hari ini hujan : Murid-murid membawa payung ke sekolah p : Hari ini hujan dan murid-murid membawa payung ke sekolah p : Hari ini hujan atau murid-murid membawa payung ke sekolah p : Tidak benar hari ini hujan (atau: Hari ini tidak hujan) Contoh 4. Diketahui proposisi-proposisi berikut: p : Pemuda itu tinggi : Pemuda itu tampan Nyatakan dalam bentuk simbolik:

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 3 (a) (b) (c) (d) (e) (f) Pemuda itu tinggi dan tampan Pemuda itu tinggi tapi tidak tampan Pemuda itu tidak tinggi maupun tampan Tidak benar bahawa pemuda itu pendek atau tidak tampan Pemuda itu tinggi, atau pendek dan tampan Tidak benar bahawa pemuda itu pendek maupun tampan (a) p (b) p (c) p (d) ( p ) (e) p ( p ) (f) ( p ) Jadual Kebenaran Simbol nilai kebenaran (truth value): Benar: T atau 1 Palsu: F atau 0 p p p p p T T T T T T T F T F F T F T F T F T F F T T F F F F F F

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 4 Contoh 5. Contohnya p : 17 adalah nombor perdana (benar) : Nombor perdana selalu ganjil (palsu) p : 17 adalah nombor perdana dan nombor perdana selalu ganjil (palsu) Contoh 6. Bina jadual kebenaran dari proposisi majmuk (p ) (~ r). p r p ~ ~ r (p ) (~ r) T T T T F F T T T F T F F T T F T F T T T T F F F T F F F T T F F F F F T F F F F F F F T F T T T F F F F T F F Proposisi majmuk disebut tautologi jika ia benar untuk semua kes. Proposisi majmuk disebut kontradiksi jika ia palsu untuk semua kes. Proposisi majmuk disebut kontingensi jika ia adalah benar dan juga palsu untuk semua kes. Contoh 7. p ~(p ) adalah sebuah tautologi p p ~(p ) p ~(p ) T T T F T T F F T T F T F T T F F F T T

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 5 Contoh 8. (p ) ~(p ) adalah sebuah kontradiksi p p p ~(p ) (p ) ~(p ) T T T F F F T F F T F F F T F T F F F F F F T F Pernyataan Kesamaan Dua buah proposisi majmuk, P(p,,..) dan Q(p,,..) disebut ekivalen secara logik jika keduanya mempunyai jadual kebenaran yang sama nilai kebenaran (truth value). Simbol: P(p,, ) Q(p,, ) atau P(p,, ) Q(p,, ) Contoh 9. Hukum De Morgan: ~ (p ) ~p ~. p p ~ (p ) ~ p ~ ~ p ~ T T T F F F F T F F T F T T F T F T T F T F F F T T T T

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 6 Hukum-hukum Logik Disebut juga hukum-hukum aljabar proposisi. 1. Hukum identiti: p F p p T p 3. Hukum negasi: p ~p T p ~p F 5. Hukum involusi (double negation): ~(~p) p 7. Hukum kalis tukar tertib: p p p p 9. Hukum kalis agihan: p ( r) (p ) (p r) p ( r) (p ) (p r) 2. Hukum dominasi: p F F p T T 4. Hukum idempotent: p p p p p p 6. Hukum penyerapan (absorption): p (p ) p p (p ) p 8. Hukum kalis sekutuan: p ( r) (p ) r p ( r) (p ) r 10. Hukum De Morgan: ~(p ) ~p ~ ~(p ) ~p ~ Contoh 10. Tunjukkan bahawa p ~ (p ) dan p ~ keduanya ekivalen secara logik. p ~(p ) p (~p ~) (Hukum De Morgan) (p ~p) (p ~) (Hukum kalis agihan) T (p ~) (Hukum negasi) p ~ (Hukum identiti)

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 7 Contoh 11. Buktikan hukum penyerapan: p (p ) p p (p ) (p F) (p ) (Hukum Identiti) p (F ) (Hukum kalis agihan) p F (Hukum dominasi) p (Hukum identiti) IMPLIKASI Bentuk proposisi: jika p, maka Simbol: p Proposisi p disebut hipotesis, antesenden, premis, atau syarat Proposisi disebut kesimpulan (atau akibat). Contoh 12. a. Jika saya lulus ujian, maka saya mendapat hadiah dari ayah b. Jika suhu mencapai 80 C, maka alarm akan berbunyi c. Jika anda tidak mendaftar diri, maka anda dianggap mengundurkan kursus Cara-cara mengekspresikan implikasi p : (a) Jika p, maka (b) Jika p, (c) p mengakibatkan (p implies ) (d) jika p (e) p hanya jika (f) p syarat cukup untuk (hipotesis menyatakan syarat cukup (sufficient condition) ) (g) syarat perlu untuk p (akibat menyatakan syarat perlu (necessary condition) ) (h) bilamana p ( whenever p)

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 8 Contoh 13. Proposisi-proposisi berikut adalah implikasi dalam berbagai bentuk: (a) Jika hari hujan, maka tanaman akan tumbuh subur. (b) Jika tekanan minyak dikuatkan, kereta akan memecut. (c) Orang itu mahu bertolak bersama jika dia diberi tuntutan perjalanan. (d) Ahmad boleh daftar kursus Teori Bahasa Formal hanya jika dia sudah lulus kursus Matematik Diskrit. (e) Syarat perlu untuk Universiti ABC mencapai taraf dunia adalah dengan mengontrak pensyarah asing kenamaan. (f) Banjir terjadi bilamana hujan lebat tidak berhenti-henti sepanjang hari. Contoh 14. Tuliskan proposisi (c) (f) pada Contoh 13 di atas ke dalam bentuk proposisi jika p maka (c) Jika orang itu diberi tuntutan perjalanan, maka dia mahu bertolak bersama. (d) Jika Ahmad mengambil kursus Teori Bahasa Formal, maka dia sudah lulus kursus Matematik Diskrit. (e) Jika Universiti ABC mengontrak pensyarah asing kenamaan, maka ia akan mencapai taraf dunia. (f) Jika hujan lebat tidak berhenti-henti sepanjang hari, maka banjir akan terjadi. Jadual kebenaran implikasi p p T T T T F F F T T F F T

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 9 Contoh 15. Pensyarah: Jika markah akhir ujian anda adalah 80 atau lebih, maka anda akan mendapat gred A untuk kursus ini. Adakah pensyarah anda bercakap benar atau dia berbohong? Tinjau empat kes berikut ini: Kes 1: Markah ujian akhir anda di atas 80 (hipotesis benar) dan anda mendapat gred A untuk kursus tersebut (kesimpulan benar). Pernyataan pensyarah benar. Kes 2: Markah ujian akhir anda di atas 80 (hipotesis benar) tetapi anda tidak mendapat gred A (kesimpulan palsu). Pensyarah berbohong (pernyataannya palsu). Kes 3: Markah ujian akhir anda di bawah 80 (hipotesis palsu) dan anda mendapat gred A (kesimpulan benar). Pensyarah anda tidak dapat dikatakan palsu (mungkin dia melihat kemampuan anda secara rata-rata bagus sehingga ia tidak ragu memberi gred A). Kes 4: Markah ujian akhir anda di bawah 80 (hipotesis palsu) dan anda tidak mendapat gred A (kesimpulan palsu). Pensyarah anda benar. Contoh 16. Tunjukkan bahawa p ekivalen secara logik dengan ~ p. p ~ p p ~ p T T F T T T F F F F F T T T T F F T T T Jika p, maka Tidak p atau.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 10 Contoh 17. Tentukan negasi dari p. ~(p ) ~(~p ) ~(~p) ~ p ~ Proposisi Bersyarat Konvers/akas (converse) : p Invers/songsangan (inverse) : ~ p ~ Kontrapositif (contrapositive) : ~ ~ p Implikasi Konvers Invers Kontrapositif p ~ p ~ p p ~ p ~ ~ ~ p T T F F T T T T T F F T F T T F F T T F T F F T F F T T T T T T Contoh 18. Tentukan konvers, invers, dan kontrapositif dari: Jika Amir mempunyai kereta mewah, maka dia orang kaya Konvers Invers : Jika Amir orang kaya, maka dia mempunyai kereta mewah : Jika Amir tidak mempunyai kereta mewah, maka dia bukan orang kaya Kontrapositif : Jika Amir bukan orang kaya, maka dia tidak mempunyai kereta mewah Contoh 19. Tentukan kontrapositif dari pernyataan: (a) Jika dia bersalah maka dia dimasukkan ke dalam penjara. (b) Jika 6 lebih besar dari 0 maka 6 bukan nombor negatif. (c) Ivan lulus ujian hanya jika dia belajar.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 11 (d) Hanya jika dia tidak terlewat maka dia akan mendapat pekerjaan. (e) Perlu ada angin agar layang-layang boleh terbang. (a) Jika dia tidak dimasukkan ke dalam penjara, maka ia tidak bersalah. (b) Jika 6 nombor negatif, maka 6 tidak lebih besar dari 0. (c) Jika Ivan lulus ujian maka ia sudah belajar. Kontrapositif: Jika Ivan tidak belajar maka ia tidak lulus ujian (d) Jika ia mendapat pekerjaan maka ia tidak terlewat Kontrapositif: Jika ia terlewat maka ia tidak akan mendapat pekerjaan itu (e) Ada angin adalah syarat perlu agar layang-layang boleh terbang ekivalen dengan Jika layang-layang boleh terbang maka ada angin. Kontrapositif: Jika tidak ada angin, maka layang-layang tidak boleh terbang. Bikondisional (Bi-implikasi) Bentuk proposisi: p jika dan hanya jika Simbol: p p p T T T T F F F T F F F T

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 12 p (p ) ( p). p p p p (p ) ( p) T T T T T T T F F F T F F T F T F F F F T T T T Dengan kata lain, pernyataan p jika dan hanya jika dapat dibaca Jika p maka dan jika maka p. Cara-cara menyatakan bikondisional p : (a) p jika dan hanya jika. (b) p adalah syarat perlu dan cukup untuk. (c) Jika p maka, dan sebaliknya. (d) p iff Contoh 20. Proposisi majmuk berikut adalah bi-implikasi: (a) 1 + 1 = 2 jika dan hanya jika 2 + 2 = 4. (b) Syarat cukup dan syarat perlu agar hari hujan adalah kelembapan udara tinggi. (c) Jika anda orang kaya maka anda mempunyai banyak wang, dan sebaliknya. 2 (d) x 2x 3 0 iff 1 x 3. Contoh 21. Tuliskan setiap proposisi berikut ke dalam bentuk p jika dan hanya jika : (a) Jika cuaca di luar panas maka anda membeli ais krim, dan jika anda membeli ais krim maka cuaca di luar panas. (b) Syarat cukup dan perlu agar anda memenangi pertandingan adalah anda menjalankan banyak latihan. (c) Jika anda memandang skrin komputer berterusan tanpa rehat maka mata anda lelah, begitu sebaliknya.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 13 (a) Anda membeli ais krim jika dan hanya jika cuaca di luar panas. (b) Anda menjalankan banyak latihan adalah syarat perlu dan cukup untuk anda memenangi pertandingan. (c) Mata anda lelah jika dan hanya jika anda memandang skrin komputer berterusan tanpa rehat. Bila dua proposisi majmuk yang ekivalen di-biimplikasikan, maka hasilnya adalah tautologi. Teorem: Dua buah proposisi majmuk, P(p,,..) dan Q(p,,..) disebut ekivalen secara logik, dilambangkan dengan P(p,, ) Q(p,, ), jika P Q adalah tautologi. HUJAH Hujah mengandungi suatu urutan pernyataan yang dikenali sebagai premis dan satu pernyataan yang dipanggil kesimpulan. Sesuatu hujah adalah sah jika kesimpulan adalah benar bilamana (whenever) kesemua premisnya adalah benar. Premis adalah suatu andaian yang dianggapkan benar. Jika implikasi p adalah satu tautologi, di mana p dan adalah pernyataan majmuk, maka adalah logik mengikut p. Misalnya bagi suatu implikasi dalam bentuk p1, p2, p3, p4, p5 adalah satu tautology.ini bermakna jika p1 p2 p3 p4 p5 adalah benar, maka adalah benar. p1, p2, p3, p4, p5 dikenali sebagai hipotesis atau premis manakala adalah kesimpulan.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 14 Pembuktian Bagi membuktikan sesuatu hujah adalah sah atau kesimpulan adalah logik berdasarkan hipotesis, dua syarat yang berikut dipertimbangkan: Andaikan kesemua hipotesis adalah benar Gunakan hukum-hukum inferens dan ekuivalens logik untuk menentukan kesimpulannya adalah benar. Contoh 22. Guna jadual kebenaran, buktikan kesahan bagi hujah-hujah yang berikut: a) p p Dalam bentuk implikasi: (p ) p p p (p ) p 1 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 Nota: 1= benar; 0 = palsu. Oleh sebab implikasi di atas adalah satu tautologi, maka hujah adalah sah.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 15 b) p p Dalam bentuk implikasi: (p ) p p p p (p ) (p ) p 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 Oleh sebab implikasi di atas adalah satu tautologi, maka hujah adalah sah. Peraturan Inferens p p p p p p p p p p Konjungsi Penambahan Simplifikasi Modus ponens Modus tollens

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 16 p r p r p p ~ p C p p ~ ~ p Sigolisma hipotesisan Sigolisma disjungsi Kontradiksi Kontrapositif p ~ p Identiti bersyarat Contoh 23. Diberi: Cuaca hari ini tidak selesa dan lebih panas daripada semalam. Kita akan pergi berenang jika cuaca lebih panas daripada semalam. Jika kita tidak pergi berenang, maka kita akan naik perahu. Jika kita naik perahu, maka kita akan balik pada waktu senja. Tukarkan ayat (premis) ke dalam bentuk simbol: p = cuaca hari ini selesa Mula dengan premis yang positif. = cuaca lebih panas daripada semalam r = kita akan pergi berenang s = kita akan naik perahu t = kita akan balik pada waktu senja

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 17 Premis : ~ p, r p, ~ r s, s t Kesimpulan : t Biasanya kesimpulan ada pada premis terakhir yang mula dengan maka. Bukti: 1. ~ p Premis 1 2. r p Premis 2 3. ~ r s Premis 3 4 s t Premis 4 5 ~ p 1, Simplifikasi 6 ~ r 2, 5 Modus tollens 7. ~ r t 3, 4 Sigolisma hipotesisan 8. t 6, 7 Modus ponens Kesimpulannya kita akan balik pada waktu senja. Contoh 24. Buktikan kesahan hujah yang berikut: Jika saya belajar bersungguh-sungguh atau menjawab semua soalan dalam buku teks, maka saya akan lulus ujian tersebut. Jika saya lulus ujian tersebut, maka ayah saya senang hati. Akan tetapi ayah saya tidak senang

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 18 hati. Maka, saya tidak menjawab semua soalan dalam buku teks. Proposisi asas (primary propositions) dalam hujah: p : Saya belajar bersungguh-sungguh : Saya menjawab semua soalan dalam buku teks r : Saya akan lulus ujian tersebut s : Ayah saya senang hati Wakilkan setiap premis dalam bentuk simbol: 1. (p ) r (premis 1) 2 r s (premis 2) 3. ~s (premis 3) ~ (kesimpulan) Hujah dan alasan: 1. (p ) r premis 1 2. r s premis 2 3. ~s premis 3 4. (p ) s 1, 2 Sigolisma hipotesisan 5. ~ (p ) 3, 4 Modus tollens 6. ~p ~ 5 Hukum De Morgan 7. ~ ~p 6 Hukum kalis tukar tertib 8. ~ 7 Simplifikasi Q. E. D.

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 19 LATIHAN LANJUTAN 1. Tentukan sama ada pernyataan yang berikut adalah tautologi, kontradisi atau kontingensi menggunakan Jadual Kebenaran. a) p v (p ) ~ b) (p ) ~p c) p (p ~) ~r 2. Tunjukkan pernyataan-pernyataan yang berikut adalah ekuivalens secara logik dengan menggunakan Jadual Kebenaran: a) ~ (p ) p ~ b) [p ( r)] [~r (p )] 3. Tentukan kesahan hujah-hujah yang berikut dengan menggunakan Jadual Kebenaran: a) p v r ~ r ~ p b) ~p r ~r ------------- p

Seminar 1:Asas Logik dan Pembuktian KORLK Sep2013 20 4. Buktikan kesahan hujah-hujah yang berikut dengan menggunakan peraturan inferens: a) Mata saya tidak merah. Jika badan saya letih, maka mata saya akan jadi merah. Oleh itu, badan saya tidak letih. b) w adalah nombor genap. Jika w adalah nombor genap, maka w 2 adalah nombor genap. Oleh itu, w 2 adalah nombor genap. c) Jika semua komputer diserang virus, maka banyak urusan perbankan akan gagal. Jika banyak urusan perbankan gagal, maka bilangan pelaburan akan berkurangan. Semua komputer diserang virus dan banyak urusan perbankan gagal. Maka, bilangan pelaburan berkurangan. 5. Permudahkan pernyataan yang berikut dengan menggunakan hukum-hukum logik: ( ~ a b) ( ~ a b) Selamat mencuba!