MODUL 3 OPERATOR LOGIKA

Ukuran: px
Mulai penontonan dengan halaman:

Download "MODUL 3 OPERATOR LOGIKA"

Transkripsi

1 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.

2 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.

3 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.

4 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

5 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.

6 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

7 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 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)

BAB 3 TABEL KEBENARAN

BAB 3 TABEL KEBENARAN BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas

Lebih terperinci

PERNYATAAN (PROPOSISI)

PERNYATAAN (PROPOSISI) Logika Gambaran Umum Logika : - Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. - Logika Predikat menelaah

Lebih terperinci

BAB I DASAR-DASAR LOGIKA

BAB I DASAR-DASAR LOGIKA BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah

Lebih terperinci

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

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8 P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran

Lebih terperinci

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

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat

Lebih terperinci

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

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak

Lebih terperinci

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

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012 Jurusan Informatika FMIPA Unsyiah September 26, 2012 yang diharapkan Dasar: Menggunakan logika matematika. Indikator Esensial: 1 Mengidentifikasi suatu tautologi 2 Menentukan ingkaran suatu pernyataan

Lebih terperinci

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi)

LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi) LANDASAN MATEMATIKA Handout 3 (Kalkulus Proposisi) Tatik Retno Murniasih, S.Si., M.Pd. tretnom@unikama.ac.id / Hp. 081320649338 Standar Kompetensi Mahasiswa dapat mengerti dan memahami kalkulus proposisi

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

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

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. TABEL KEBENARAN Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya

Lebih terperinci

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

Logika Matematika. ILFA STEPHANE, M.Si. September Teknik Sipil dan Geodesi Institut Teknologi Padang ILFA STEPHANE, M.Si September 2012 Teknik Sipil dan Geodesi Institut Teknologi Padang Definisi 1 Logika adalah usaha dalam memutuskan ya atau tidaknya (whether or not) suatu keputusan yang sah. Oleh karena

Lebih terperinci

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

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3. LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.

Lebih terperinci

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

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)

Lebih terperinci

Dasar-dasar Logika. (Review)

Dasar-dasar Logika. (Review) Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat

Lebih terperinci

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

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika

Lebih terperinci

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

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I) Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline

Lebih terperinci

PROPOSISI. Novy SetyaYunas. Pertemuan 4

PROPOSISI. Novy SetyaYunas. Pertemuan 4 Pertemuan 4 PROPOSISI Novy SetyaYunas Phone: [+62 8564 9967 841] Email: novysetiayunas@gmail.com Online Course: https://independent.academia.edu/yunaszone KAITAN LOGIKA DAN BAHASA Ada dua aspek penting

Lebih terperinci

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

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. ARGUMENTASI Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 1 + 2 = 3 b. Kuala

Lebih terperinci

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

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

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

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA. /Nurain Suryadinata, M.Pd Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi

Lebih terperinci

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

Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Teknik Informatika POLITEKNIK NEGERI TANAH LAUT BY: VJ REFERENSI: UNIV TRUNOJOYO & PTIIK Fika Hastarita R - UTM 2012 Pengenalan Informal Penghubung Logis (Operator, Functor) Tabel Kebenaran dp Formula.

Lebih terperinci

MATERI 1 PROPOSITIONAL LOGIC

MATERI 1 PROPOSITIONAL LOGIC MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di

Lebih terperinci

BAB I PENDAHULUAN. 1.1 Latar Belakang

BAB I PENDAHULUAN. 1.1 Latar Belakang BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional

Lebih terperinci

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

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS

Lebih terperinci

Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit.

Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Matematika diskrit Bagian dari matematika yang mempelajari objek diskrit. Banyak masalah yang dapat diatasi dengan menggunakan konsep yang ada di MATDIS, antara lain : 1. Berapa besar kemungkinan kita

Lebih terperinci

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

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda

Lebih terperinci

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

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB Matematika Komputasional Pengantar Logika Oleh: M. Ali Fauzi PTIIK - UB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka

Lebih terperinci

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat

Lebih terperinci

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). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

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). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

Dasar Logika Matematika

Dasar Logika Matematika Dasar Logika Matematika Pertemuan 1: Brainstorming Perhatikan kedudukan himpunan titik-titik yang berderet kemudian tentukan himpunan titik-titik berikutnya sesuai dengan pola.? Pengantar Dasar Logika

Lebih terperinci

Matematika Diskrit LOGIKA

Matematika Diskrit LOGIKA Matematika Diskrit LOGIKA 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif

Lebih terperinci

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

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran. LOGIKA Standar Kompetensi Lulusan (SKL) Memahami pernyataan dalam matematika dan ingkarannya, menentukan nilai kebenaran pernyataan majemuk, serta mampu menggunakan prinsip logika matematika dalam pemecahan

Lebih terperinci

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

Perangkai logika / operator digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir PROPOSISI MAJEMUK Perangkai logika / operator digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir akibat adanya ambiguitas (ambiguity),

Lebih terperinci

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

SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI. Matematika Logika Semester Ganjil 2011/2012 SINTAKS DAN SEMANTIK PADA LOGIKA PROPOSISI Matematika Logika Semester Ganjil 2011/2012 PROPOSISI Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi

Lebih terperinci

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang

Lebih terperinci

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

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition) Bab II Kalkulus Proposisi Bab pertama ini menyampaikan sejumlah argumen logika. Semua argumen logika meliputi proposisi proposisi atomik (atomic proposition), yang tidak dapat dibagi lagi. Proposisi atomik

Lebih terperinci

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL BAB 2 PENGANTAR LOGIKA PROPOSISIONAL 1. Pendahuluan Dilihat dari bentuk struktur kalimatnya, suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat kemudian dapat diikuti

Lebih terperinci

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

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB Materi Kuliah IF2091 Struktur Diskrit Pengantar Logika Oleh: Rinaldi Munir Program Studi Informatika STEI - ITB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti

Lebih terperinci

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

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu

Lebih terperinci

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi LOGIKA PROPOSISI Bagian Keempat : Logika Proposisi ARI FADLI, S.T. Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Proposisi Definisi : Setiap

Lebih terperinci

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

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Logika Matematik 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat deklaratif yang bernilai

Lebih terperinci

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 2 September 2007 Pertemuan-1-2 1 Materi Perkuliahan Logical Connectives Tabel Kebenaran 2 September 2007 Pertemuan-1-2 2 Arti Kalimat Arti kalimat = nilai

Lebih terperinci

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

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

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

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi 1. Proposition Sentences Notation Interpretation Exercise Materi 1 PROPOSITION LOGIC Proposition Sentences Notation Interpretation Exercise LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2010 1 Propositions Komponen dasar pembentuk kalimat logika

Lebih terperinci

BAB I LOGIKA MATEMATIKA

BAB I LOGIKA MATEMATIKA BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut

Lebih terperinci

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika proposisional merupakan ilmu dasar untuk mempelajari algoritma dan logika yang terkait di dalamnya yang berperanan sangat penting dalam pemrograman.

Lebih terperinci

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

IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom

Lebih terperinci

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

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 10/28/2008> Pertemuan-1-2 1 Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen 10/28/2008>

Lebih terperinci

Logika Informatika. Bambang Pujiarto

Logika Informatika. Bambang Pujiarto Logika Informatika Bambang Pujiarto LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan

Lebih terperinci

Konvers, Invers dan Kontraposisi

Konvers, Invers dan Kontraposisi MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers

Lebih terperinci

BAB 4 PROPOSISI MAJEMUK

BAB 4 PROPOSISI MAJEMUK BAB 4 PROPOSISI MAJEMUK 1. Pendahuluan Perangkai logika digunakan untuk mengkombinasikan proposisi-proposisi atomik menjadi proposisi majemuk. Untuk menghindari kesalahan tafsir akibat adanya ambiguitas

Lebih terperinci

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

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Bab 1 Pengantar Logika Proposisional

Lebih terperinci

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

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

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

MateMatika Diskrit. Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T MateMatika Diskrit Logika (logic) STMIK Parna Raya Manado Ir. Hasanuddin Sirait, M.T 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan

Lebih terperinci

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

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B LOGIKA MATEMATIKA A. Pernyataan, kalimat terbuka, dan ingkaran pernyataan. 1. Pernyataan Pernyataan adalah kalimat yang mengandung nilai benar atau salah tetapi tidak sekaligus kedua-duanya. a. Hasil kali

Lebih terperinci

BAB III DASAR DASAR LOGIKA

BAB III DASAR DASAR LOGIKA BAB III DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2

Lebih terperinci

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1 2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki

Lebih terperinci

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

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya A. emesta Pembicaraan yaitu himpunan semua objek yang dibicarakan a. 1 + 1 = 2 Jika semesta pembicaraannya adalah himpunan bilangan bulat, himpunan bilangan cacah, himpunan bilangan asli. b. x 2 1 = 0

Lebih terperinci

MODUL III TABEL KEBENARAN

MODUL III TABEL KEBENARAN MODUL III TABEL KEBENARAN A. Tujuan 1. Mahasiswa memahami operasi-operasi logika 2. Mahasiswa memahami nilai-nilai kebenaran operasi logika dengan menggunakan fungsi tabel kebenaran pada Maple. 3. Mahasiswa

Lebih terperinci

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition

2.1. Definisi Logika Proposisi Logika proposisi Atomic proposition compound proposition 2. LOGIKA PROPOSISI 2.1. Definisi Logika Proposisi Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataanpernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean

Lebih terperinci

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN Updated by Admin of Bahan Belajar Logika matematika merupakan salah satu materi pelajaran matematika dan cabang logika yang mengandung kajian matematis logika.

Lebih terperinci

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

BAB 1. Logika. Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) BAB 1 Logika Benteng kehidupan yang terkuat adalah kebenaran. (Anonim) Materi Matematika Diskrit di dalam buku ini dimulai dari pokok bahasan logika. Logika merupakan studi penalaran (reasoning). Dalam

Lebih terperinci

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan

Lebih terperinci

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

B. Proposisi (Pernyataan) yaitu kalimat yang mempunyai nilai salah atau benar tetapi tidak sekaligus keduanya A. emesta Pembicaraan yaitu himpunan semua objek yang dibicarakan a. 1 + 1 = 2 Jika semesta pembicaraannya adalah himpunan bilangan bulat, himpunan bilangan cacah, himpunan bilangan asli. b. x 2 1 = 0

Lebih terperinci

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

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. 1 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat atau pernyataan tetap dapat dianggap satu buah proposisi.

Lebih terperinci

Logika Matematik. Saripudin, M.Pd.

Logika Matematik. Saripudin, M.Pd. Logika Matematik Saripudin, M.Pd. 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat

Lebih terperinci

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

Refreshing Materi Kuliah Semester Pendek 2010/2011. Logika dan Algoritma. Heri Sismoro, M.Kom. Refreshing Materi Kuliah Semester Pendek 2010/2011 Logika dan Algoritma Heri Sismoro, M.Kom. STMIK AMIKOM YOGYAKARTA 2011 Materi 1. Logika Informatika Adalah logika dasar dalam pembuatan algoritma pada

Lebih terperinci

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3)

NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3) NEGASI KALIMAT DAN KALIMAT MAJEMUK (Minggu ke-3) 1 1 Kata Penghubung Kalimat 1. Konjungsi: menggunakan kata penghubung: dan 2. Disjungsi: menggunakan kata penghubung: atau 3. Implikasi: menggunakan kata

Lebih terperinci

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar

Lebih terperinci

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

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:

Lebih terperinci

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

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak akan sulit belajar Bahasa Java. Jika

Lebih terperinci

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA

Lebih terperinci

Pertemuan 2. Operator Logika Tabel Kebenaran

Pertemuan 2. Operator Logika Tabel Kebenaran Pertemuan 2 Operator Logika Tabel Kebenaran Operator Logika Dalam logika dikenal 5 buah penghubung imbol Arti entuk Tidak/Not/Negasi Tidak. Dan/And/Konjungsi..dan.. Atau/Or/Disjungsi atau. Implikasi Jika.maka.

Lebih terperinci

PERTEMUAN 3 DASAR-DASAR LOGIKA

PERTEMUAN 3 DASAR-DASAR LOGIKA PERTEMUAN 3 DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya

Lebih terperinci

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika

Kalkulus Proposisi. Author-IKN. MUG2B3/ Logika Matematika Kalkulus Proposisi Author-IKN 1 10/30/2015 Pengantar Logika Proposisional Proposisi Pernyataan yang hanya memiliki satu nilai benar atau salah. Terdiri dari proposisi atomik dan majemuk. Contoh proposisi

Lebih terperinci

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Berdasarkan tabel 1 diperoleh bahwa p q = q p. PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus

Lebih terperinci

Dian Wirdasari, S.Si.,M.Kom

Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Materi-4 Representasi Pengetahuan-1 Dian Wirdasari, S.Si.,M.Kom Definisi: fakta atau kondisi sesuatu atau keadaan yg timbul karena suatu

Lebih terperinci

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

LOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W. LOGIKA Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen Ekspresi Logika (1) Ekspresi Logika adalah proposisi-proposisi yang dibangun

Lebih terperinci

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

DASAR DASAR LOGIKA. Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2 + 2 = 4

Lebih terperinci

Logika Proposisi. Adri Priadana ilkomadri.com

Logika Proposisi. Adri Priadana ilkomadri.com Logika Proposisi Adri Priadana ilkomadri.com Matematika Diskrit Apa? Cabang matematika yg mempelajari tentang obyek diskrit. Apa yang dimaksud dengan kata diskrit (discrete)? Objek disebut diskrit jika:

Lebih terperinci

BAB 6 EKUIVALENSI LOGIS

BAB 6 EKUIVALENSI LOGIS BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan

Lebih terperinci

6. LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA 6. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

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

BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen BAB 5 TAUTOLOGI 1. Pendahuluan Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika, tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse Tree yang

Lebih terperinci

BAB IV LOGIKA A. Pernyataan B. Operasi uner

BAB IV LOGIKA A. Pernyataan B. Operasi uner BAB IV LOGIKA A. Pernyataan Pernyataan adalah kalimat matematika tertutup yang benar atau yang salah, tetapi tidak kedua-duanya pada saat yang bersamaan. Pernyataan biasa dilambangkan dengan p, q, r,...

Lebih terperinci

Jadi penting itu baik, tapi jadi baik jauh lebih penting

Jadi penting itu baik, tapi jadi baik jauh lebih penting LOGIKA MATEMATIKA Logika Matematika - Pernyataan, Nilai Kebenaran, dan Kalimat Terbuka - Pernyataan Majemuk - Konvers, Invers, dan Kontraposisi - Kuantor Universal dan Kuantor Eksistensial - Ingkaran dari

Lebih terperinci

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

IT105 MATEMATIKA DISKRIT. Ramos Somya, S.Kom., M.Cs. IT105 MATEMATIKA DISKRIT Ramos Somya, S.Kom., M.Cs. TUJUAN Mahasiswa Memahami dan menguasai konsep dasar logika matematika Mahasiswa mempunyai daya nalar yang semakin tajam. POKOK BAHASAN Pernyataan dan

Lebih terperinci

LOGIKA MATEMATIKA I. PENDAHULUAN

LOGIKA MATEMATIKA I. PENDAHULUAN LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan

Lebih terperinci

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

PERTEMUAN 1. PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S. jekichas.weebly.com PERTEMUAN 1 IT 030 G PERNYATAAN PENGHUBUNG PERNYATAAN A.Jerry W Jeki C.S jekichas.weebly.com Peraturan Keterlambatanyang penting tdk keterlaluan dan tdk tertinggal pre test (tidak ada pre test susulan)

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Daftar Isi Daftar Isi ii

Lebih terperinci

Logika Proposisi. Rudi Susanto

Logika Proposisi. Rudi Susanto Logika Proposisi Rudi Susanto 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa

Lebih terperinci

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

Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. Matematika Diskret (Logika) Instruktur : Ferry Wahyu Wibowo, S.Si., M.Cs. 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak akan sulit belajar Bahasa Java. Jika

Lebih terperinci

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

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus. Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa

Lebih terperinci

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

Materi Kuliah Matematika Komputasi. Oleh: Gembong Edhi Setyawan. Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya Materi Kuliah Matematika Komputasi Oleh: Gembong Edhi Setyawan Program Teknologi Informasi dan Ilmu Komputer Universitas Brawijaya 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika

Lebih terperinci

PERTEMUAN KE 3 F T T F T F T F

PERTEMUAN KE 3 F T T F T F T F PEREMUAN KE 3 E. DISJUNGSI EKSLUSI (Exclusive OR) Misalkan p dan q adalah proposisi. Exclusive or p dan q, dinyatakan dengan notasi, adalah proposisi yang bernilai benar bila hanya salah satu dari p dan

Lebih terperinci

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

LOGIKA MATEMATIKA. d. 6 + a > -4 e. 7 adalah faktor dari 63. c. 4 x 6 2. Tentukan variabel dan himpunan penyelesaian dari: a. LOGIKA MATEMATIKA A. Definisi 1). Pernyataan Pernyataan adalah suatu kalimat yang bernilai benar atau salah, tetapi tidak sekaligus benar dan salah. Air laut rasanya asin, adalah bilangan prima, urabaya

Lebih terperinci