MODUL 3 OPERATOR LOGIKA

dokumen-dokumen yang mirip
BAB 3 TABEL KEBENARAN

PERNYATAAN (PROPOSISI)

BAB I DASAR-DASAR LOGIKA

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

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

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

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

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

MATEMATIKA DISKRIT LOGIKA

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

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

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

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

Dasar-dasar Logika. (Review)

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

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

PROPOSISI. Novy SetyaYunas. Pertemuan 4

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

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

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

Matematika Industri I

LOGIKA. /Nurain Suryadinata, M.Pd

Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK

MATERI 1 PROPOSITIONAL LOGIC

BAB I PENDAHULUAN. 1.1 Latar Belakang

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak

Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit.

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

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

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

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

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

Dasar Logika Matematika

Matematika Diskrit LOGIKA

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

Perangkai logika / operator digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

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

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

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

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

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

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

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

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

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise

BAB I LOGIKA MATEMATIKA

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta

IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1

Logika Informatika. Bambang Pujiarto

Konvers, Invers dan Kontraposisi

BAB 4 PROPOSISI MAJEMUK

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

LOGIKA INFORMATIKA. Bahan Ajar

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

MATEMATIKA DISKRIT. Logika

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

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

BAB III DASAR DASAR LOGIKA

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya

MODUL III TABEL KEBENARAN

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

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

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.

Logika Matematik. Saripudin, M.Pd.

Refreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom.

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta

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

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

Pertemuan 2. Operator Logika Tabel Kebenaran

PERTEMUAN 3 DASAR-DASAR LOGIKA

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Dian Wirdasari, S.Si.,M.Kom

LOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W.

DASAR DASAR LOGIKA. Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

Logika Proposisi. Adri Priadana ilkomadri.com

BAB 6 EKUIVALENSI LOGIS

6. LOGIKA MATEMATIKA

BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen

BAB IV LOGIKA A. Pernyataan B. Operasi uner

Jadi penting itu baik, tapi jadi baik jauh lebih penting

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

LOGIKA MATEMATIKA I. PENDAHULUAN

PERTEMUAN 1. PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S. jekichas.weebly.com

LOGIKA INFORMATIKA. Bahan Ajar

Logika Proposisi. Rudi Susanto

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

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

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

PERTEMUAN KE 3 F T T F T F T F

LOGIKA MATEMATIKA. d. 6 + a > -4 e. 7 adalah faktor dari 63. c. 4 x 6 2. Tentukan variabel dan himpunan penyelesaian dari: a.

Transkripsi:

STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi 3. Operator Logika Negasi 4. Operator Logika Implikasi 5. Operator Logika Biimplikasi 3. Tujuan Kegiatan Pembelajaran : 1. Mahasiswa memahami tabel kebenaran untuk semua operator logika sederhana 2. Mahasiswa mampu mengaplikasikan semua operator logika sederhana kedalam bahasa Indonesia 3. Mahasiswa mampu mendapatkan nilai kebenaran dari penggunaan semua operator logika sederhana. 2. URAIAN MATERI POKOK Dalam bahasan sebelumnya, telah diketahui bahwa kata penghubung yang digunakan untuk menghubungkan proposisi atomik-proposisi atomik menjadikan kalimat tersebut menjadi kalimat majemuk. Kata penghubung itu dapat diganti dengan simbol tertentu, yang selanjutnya disebut operator logika. Penekanan logika pada penarikan kesimpulan tentang validitas suatu argumen untuk mendapatkan kebenaran yang bersifat abstrak, yang dibangun dengan memakai kaidah-kaidah dasar logika tentang kebenaran dan ketidakbenaran yang menggunakan operator logika, yakni dan (and), atau (or), tidak (not), jika maka (if then ), dan jika dan hanya jika ( if dan only if ) Setiap operator pada logika memiliki nilai kebenarannya masing-masing sesuai jenis operator logika yang digunakan. Untuk mengetahui nilai kebenarannya, digunakan aturan dengan memakai Tabel Kebenaran (truth table). Tabel kebenaran adalah tabel nilai yang mendefinisikan nilai kebenaran keseluruhan kalimat berdasarkan nilai kebenaran masing-masing kalimat penyusunnya.

STMIK STIKOM BALIKPAPAN 2 1. Operator Logika Konjungsi ( Konjungsi (conjunction) adalah kata lain dari operator dan (and). Operator ini akan menghasilkan pernyataan yang bernilai benar jika semua komponennya bernilai benar, dan akan bernilai salah jika salah satu komponennya bernilai salah. Berikut Tabel Kebenarannya : F F F F T F T F F p dan q adalah proposisi. Proposisi p dan q, yang disimbolkan dengan p q, adalah proposisi yang bernilai benar, jika nilai p dan q keduanya benar, lainnya pasti salah. Tentukan nilai kebenaran dari proposisi p q! p : 2 adalah bilangan prima q : 4 adalah bilangan prima p q : 2 dan 4 adalah bilangan prima Mari kita lihat nilai kebenarannya. Proposisi p merupakan suatu proposisi yang bernilai benar. Proposisi q merupakan suatu proposisi yang bernilai salah. Sehingga proposisi p q bernilai salah. Perhatikan Tabel Kebenaran, jika salah satu proposisi penyusun bernilai salah, maka proposisi hasil konjungsi juga bernilai salah.

STMIK STIKOM BALIKPAPAN 3 2. Operator Logika Disjungsi ( Disjungsi (disjunction) adalah kata lain dari operator atau (or). Operator ini akan menghasilkan pernyataan yang bernilai benar jika salah satu komponen proposisi bernilai benar, dan akan bernilai salah jika semua komponennya bernilai salah. Berikut Tabel Kebenarannya : F F F F T T T F T p dan q adalah proposisi. Proposisi p atau q, yang disimbolkan dengan p q, adalah proposisi yang bernilai salah, jika nilai p dan q keduanya salah, lainnya pasti benar. Tentukan nilai kebenaran dari proposisi p q! p : 2 adalah bilangan prima q : 4 adalah bilangan prima p q : 2 atau 4 adalah bilangan prima Mari kita lihat nilai kebenarannya. Proposisi p merupakan suatu proposisi yang bernilai benar. Proposisi q merupakan suatu proposisi yang bernilai salah. Sehingga proposisi p q bernilai benar. Perhatikan Tabel Kebenaran, jika salah satu proposisi penyusun bernilai benar, maka proposisi hasil disjungsi juga bernilai benar.

STMIK STIKOM BALIKPAPAN 4 3. Operator Logika Negasi ( ) Negasi (negation) digunakan untuk menggantikan operator tidak (not). Negasi suatu pernyataan P adalah pernyataan baru yang bernilai salah jika P benar dan bernilai benar jika P bernilai salah. Negasi berarti hanya kebalikan dari nilai variabel proposisi yang dinegasinya. Berikut Tabel Kebenarannya : p p p F T F T F T p adalah proposisi. Proposisi Ini tidak p adalah proposisi yang lain, disebut negasi dari p. Negasi dari p diberi simbol ~p, dan dibaca tidak p atau bukan p. Tentukan nilai kebenaran dari proposisi ~p jika : p : 2 adalah bilangan prima ~p : 2 bukan bilangan prima Proposisi p merupakan suatu proposisi yang bernilai benar. Proposisi ~p merupakan suatu proposisi yang bernilai salah. 4. Operator Logika Implikasi ( ) Implikasi (implication) merupakan pernyataan bersyarat. Operator ini digunakan untuk menggantikan operator jika maka (if then). Implikasi dinyatakan dengan p q. Proposisi p disebut sebagai antecedent atau hipotesis atau premis, dan proposisi q disebut konsekuensi atau konklusi atau kesimpulan. Operator ini akan menghasilkan pernyataan yang bernilai benar jika kensekuensinya bernilai benar, atau premis dan kesimpulan keduanya bernilai salah, dan akan

STMIK STIKOM BALIKPAPAN 5 bernilai salah jika premis bernilai benar, sedangkan kesimpulan bernilai salah. Berikut tabel kebenarannya : F F T F T T T F F p dan q adalah proposisi. Proposisi p implikasi q, yang disimbolkan dengan p q, adalah proposisi yang bernilai salah, jika nilai p bernilai benar dan q bernilai salah, lainnya pasti benar. 1. Tentukan nilai kebenaran dari proposisi p q! p : manusia memiliki sayap q : manusia bisa terbang p q : jika manusia memiliki sayap maka bisa terbang Mari kita lihat nilai kebenarannya. Proposisi p merupakan suatu proposisi yang bernilai salah. Proposisi q merupakan suatu proposisi yang bernilai salah. Sehingga proposisi p q bernilai benar. Perhatikan Tabel Kebenaran, jika salah satu proposisi penyusun bernilai benar, maka proposisi hasil implikasinya juga bernilai benar. Namun berhati-hatilah, karena terkadang dapat menimbulkan salah pengertian jika dipahami dengan bahasa sehari-hari.

STMIK STIKOM BALIKPAPAN 6 5. Operator Logika Biimplikasi ( ) Biimplikasi (biimplication) digunakan untuk menggantikan operator jika dan hanya jika ( if only if ). Operator biimplikasi juga dapat disebut sebagai bikondisional karena ia mengkondisikan dua ekspresi logika. Operator ini akan menghasilkan pernyataan yang bernilai benar jika pasangan proposisi penyusunnya bernilai sama. Jika pasangannya memiliki nilai berbeda, maka nilai proposisi yang tersusun bernilai salah. Berikut tabel kebenarannya : F F T F T F T F F p dan q adalah proposisi. Proposisi p biimplikasi q, yang disimbolkan dengan p q, adalah proposisi yang bernilai benar, jika p dan q bernilai sama, lainnya pasti salah. LATIHAN SOAL : 1. Tuliskan kalimat di bawah ini dengan simbol logika dengan terlebih dahulu menentukan variabel-variabelnya! a. Saya akan berlibur ke Bali jika saya lulus ujian b. Badu dan budi adalah mahasiswa teladan c. Saya akan memberi anda uang jika saya lulus ujian atau saya mendapat hadiahtts d. Bowo dan Dewi berada di Manggar hari senin jika tidak hujan

STMIK STIKOM BALIKPAPAN 7 2. Tentukan nilai kebenaran pernyataan-pernyataan dibawah ini : a. Jika Jakarta bukan ibukota RI, maka 9 juga bukan bilangan prima b. 2 + 2 = 2 x 2 jika dan hanya jiika 2 = 0 3. Misalkan p, q, dan r adalah variabel proporsisi : p : anda sakit flu q : anda ujian r : anda lulus Ubah ekspresi berikut menjadi pernyataan dalam bahasa Indonesia : a. ~p b. p q c. (p ~q) (q ~r) d. (p q) (~q r) 4. Buatlah tabel kebenaran dengan semua kemungkinan nilai kebenaran dari ekspresi-ekspresi logika berikut! a. (p q) r b. ~((p q) ~r) p c. p ((r q) ~r)