Matematika Logika Bab I

download Matematika Logika Bab I

of 34

Transcript of Matematika Logika Bab I

  • 7/22/2019 Matematika Logika Bab I

    1/34

    Matematika Diskrit01-LOGIKA

  • 7/22/2019 Matematika Logika Bab I

    2/34

    Komputer (dijital) beroperasi secara diskritdengan unit terkecil yg disebut bit.

    Dengan demikian, baik

    Struktur (rangkaian) dan juga Operasi (eksekusi algoritma)

    Dapat dijelaskan dengan matematika diskrit

    Matematika Diskrit Kuliah-1 2

    Mengapa matematika diskrit ?

  • 7/22/2019 Matematika Logika Bab I

    3/34

    Perangkat yang berguna dalam matematika diskrit:

    Logika Matematika (Logic)

    Teori Himpunan (Set Theory)

    Fungsi (Functions)

    Deretan (Sequences)

    Matematika Diskrit Kuliah-1 3

    Perangkat Matematika

  • 7/22/2019 Matematika Logika Bab I

    4/34

    Berguna untuk melakukan penalaran matematika Digunakan dalam mendesain rangkaian elektronik.

    Logika adalah suatu sistem yang didasarkan padaproposisi.

    Suatu proposisi adalah sebuah pernyataan yang bisabernilai benar (true/T)atau salah(false/F) tetapi tidaksekaligus keduanya.

    Kita katakan bahwa nilai kebenaran(truth value)darisebuah proposisi adalah benaratau salah.

    Dalam rangkaian dijital, nilai ini dinyatakan sebagai 1dan 0

    Matematika Diskrit Kuliah-1 4

    Logika

  • 7/22/2019 Matematika Logika Bab I

    5/34

    Gajah lebih besar daripada tikus.

    Matematika Diskrit Kuliah-1 5

    Proposisi atau Pernyataan

    Apakah ini sebuah pernyataan? YA

    Apakah ini sebuah proposisi? YA

    Apakah nilai kebenarandari proposisi ini?

    BENAR

  • 7/22/2019 Matematika Logika Bab I

    6/34

    520 < 111

    Matematika Diskrit Kuliah-1 6

    Proposisi atau Pernyataan

    Apakah ini sebuah pernyataan? YA

    Apakah ini sebuah proposisi? YA

    Apakah nilai kebenarandari proposisi ini?

    SALAH

  • 7/22/2019 Matematika Logika Bab I

    7/34

    y > 5

    Matematika Diskrit Kuliah-1 7

    Proposisi atau Pernyataan

    Nilai kebenaran dari pernyataan tersebut

    bergantung pada y, tapi nilainya belum

    ditentukan.

    Apakah ini sebuah pernyataan? YA

    Apakah ini sebuah proposisi? TIDAK

    Pernyataan jenis ini kita sebut sebagai fungsiproposisiatau kalimat terbuka.

  • 7/22/2019 Matematika Logika Bab I

    8/34

    Sekarang tahun 2004 dan 99 < 5.

    Matematika Diskrit Kuliah-1 8

    Proposisi atau Pernyataan

    Apakah ini sebuah pernyataan? YA

    Apakah ini sebuah proposisi? YA

    Apakah nilai kebenarandari proposisi ini?

    SALAH

  • 7/22/2019 Matematika Logika Bab I

    9/34

    Tolong untuk tidak tidur selama kuliah

    Matematika Diskrit Kuliah-1 9

    Proposisi atau Pernyataan

    TIDAK

    TIDAK

    Hanya pernyataanlah yang bisa menjadi

    proposisi.

    Ini adalah sebuah permintaan.

    Apakah ini sebuah pernyataan?

    Apakah ini sebuah proposisi?

  • 7/22/2019 Matematika Logika Bab I

    10/34

    x < y jika dan hanya jika y > x.

    Matematika Diskrit Kuliah-1 10

    Proposisi atau Pernyataan

    Apakah ini pernyataan ? YA

    Apakah ini proposisi ? YA

    Apakah nilai kebenaran

    dari proposisi ini ? BENAR

    karena nilai kebenarannya

    tidak bergantung harga

    spesifik x maupun y.

  • 7/22/2019 Matematika Logika Bab I

    11/34

    Beberapa contoh terdahulu menunjukkanbahwa beberapa proposisi dapat digabungmenjadi sebuah proposisi gabungan.

    Hal ini kita formal-kan dengan melambangkanproposisi sebagai huruf-huruf; seperti p, q, r, s;

    dan memperkenalkan operator-operator logika.

    Matematika Diskrit Kuliah-1 11

    Penggabung Proposisi

  • 7/22/2019 Matematika Logika Bab I

    12/34

    Kita akan membahas operator-operator berikut:

    Negasi (NOT)

    Konjungsi (AND)

    Disjungsi (OR)

    Eksklusif OR (XOR) Implikasi (jika maka)

    Bikondisional (jika dan hanya jika)

    Tabel logika (tabel kebenaran/ truth table) dapatdipakai untuk menunjukkan bagaimana operator-operator tsb diatas menggabungkan beberapa proposisimenjadi satu proposisi gabungan.

    Matematika Diskrit Kuliah-1 12

    Operator logika

  • 7/22/2019 Matematika Logika Bab I

    13/34

    Operator Uner, Lambang:

    Matematika Diskrit Kuliah-1 13

    Negasi (NOT)

    P PBenar Salah

    Salah Benar

  • 7/22/2019 Matematika Logika Bab I

    14/34

    Operator Biner, Lambang:

    Matematika Diskrit Kuliah-1 14

    Konjungsi (AND)

    P Q PQ

    Benar Benar Benar

    Benar Salah Salah

    Salah Benar SalahSalah Salah Salah

  • 7/22/2019 Matematika Logika Bab I

    15/34

    Operator Biner, Lambang:

    Matematika Diskrit Kuliah-1 15

    Disjungsi (OR)

    P Q PQBenar Benar Benar

    Benar Salah Benar

    Salah Benar BenarSalah Salah Salah

  • 7/22/2019 Matematika Logika Bab I

    16/34

    Operator Biner, Lambang:

    Matematika Diskrit Kuliah-1 16

    Eksklusif Or (XOR)

    P Q PQBenar Benar Salah

    Benar Salah Benar

    Salah Benar BenarSalah Salah Salah

  • 7/22/2019 Matematika Logika Bab I

    17/34

    Operator Biner, Lambang:

    Matematika Diskrit Kuliah-1 17

    Implikasi (jika - maka)

    P Q PQBenar Benar Benar

    Benar Salah Salah

    Salah Benar BenarSalah Salah Benar

  • 7/22/2019 Matematika Logika Bab I

    18/34

    Operator Biner, Lambang:

    Matematika Diskrit Kuliah-1 18

    Bikondisional (jika dan hanya jika)

    P Q PQBenar Benar Benar

    Benar Salah Salah

    Salah Benar SalahSalah Salah Benar

  • 7/22/2019 Matematika Logika Bab I

    19/34

    Pernyataan-pernyataan dan operator-operator dapatdigabungkan menjadi suatu pernyataan baru.

    Matematika Diskrit Kuliah-1 19

    Pernyataan dan Operasi

    P Q P Q (P)(Q)

    Benar Benar Salah Salah Salah

    Benar Salah Salah Benar Benar

    Salah Benar Benar Salah Benar

    Salah Salah Benar Benar Benar

  • 7/22/2019 Matematika Logika Bab I

    20/34

    Matematika Diskrit Kuliah-1 20

    Pernyataan dan Operasi

    P Q PQ (PQ) (P)(Q)

    Benar Benar Benar Salah Salah

    Benar Salah Salah Benar Benar

    Salah Benar Salah Benar Benar

    Salah Salah Salah Benar Benar

    Pernyataan-pernyataan dan operator-operator dapat

    digabungkan menjadi suatu pernyataan baru.

  • 7/22/2019 Matematika Logika Bab I

    21/34

    Pernyatan(PQ) dan (P)(Q) adalah ekivalen secara logis,

    karena(PQ)(P)(Q) selalu benar.

    Matematika Diskrit Kuliah-1 21

    Pernyataan-pernyataan yang ekivalen

    P Q (PQ) (P)(Q) (PQ)(P)(Q)Benar Benar Salah Salah Benar

    Benar Salah Benar Benar Benar

    Salah Benar Benar Benar Benar

    Salah Salah Benar Benar Benar

  • 7/22/2019 Matematika Logika Bab I

    22/34

    Suatu tautologiadalah pernyataan yang selalubernilai benar

    Contoh:

    R(R)(PQ)(P)(Q)

    Jika ST sebuah tautologi, kita tulis S T. JIka ST sebuah tautologi, kita tulis S T.

    Matematika Diskrit Kuliah-1 22

    Tautologi dan Kontradiksi

  • 7/22/2019 Matematika Logika Bab I

    23/34

    Suatu kontradiksiadalah pernyataan yang selalubernilai salah.

    Contoh:

    R(R)((PQ)(P)(Q)) Negasi dari sebarang tautologi adalah sebuah

    kontradiksi, sebaliknya, negasi dari sebuahkontradiksi adalah sebuah tautologi.

    Matematika Diskrit Kuliah-1 23

    Kontradiksi

  • 7/22/2019 Matematika Logika Bab I

    24/34

    Kita tahu tautologi berikut:

    (PQ)(P)(Q)

    Latihan di kelas :Tunjukkan bahwa(PQ)(P)(Q).

    Kedua tautologi ini disebut sebagai hukum DeMorgan

    Matematika Diskrit Kuliah-1 24

    Latihan

  • 7/22/2019 Matematika Logika Bab I

    25/34

    Fungsi proposisi (kalimat terbuka) :

    Pernyataan yang mengandung satu buah variabel atau lebih.

    Contoh : x- 3 > 5.

    Misalkan kita sebut fungsi proposisi ini sebagai P(x), dimana Padalah predikat dan xadalah variabel.

    Matematika Diskrit Kuliah-1 25

    Proposisi dan Fungsi

    Apakah nilai kebenaran dari P(2) ? Salah

    Salah

    Benar

    Apakah nilai kebenaran dari P(8) ?

    Apakah nilai kebenaran dari P(9) ?

  • 7/22/2019 Matematika Logika Bab I

    26/34

    Tinjau fungsi proposisi Q(x, y, z) yg didefinisikan:

    x + y = z.

    Disini, Q adalah predikat dan x, y, and z adalah

    variabel.

    Matematika Diskrit Kuliah-1 26

    Fungsi Proposisi

    Apakah nilai kebenaran dari Q(2, 3, 5) ? Benar

    Apakah nilai kebenaran dari Q(0, 1, 2) ?Apakah nilai kebenaran dari Q(9, -9, 0) ?

    SalahBenar

  • 7/22/2019 Matematika Logika Bab I

    27/34

    Mis. P(x) suatu fungsi proposisi.

    Kalimat yg dikuantifikasi secara universal :

    Untuk semua x dalam semesta pembicaraan, P(x) adalahbenar.

    Dengan kuantifier universal:

    x P(x) untuk semua x P(x) atau

    untuk setiap x P(x)

    (Catatan:x P(x) bisa benar atau salah, jadi merupakan sebuah proposisi,bukan fungsi proposisi.)

    Matematika Diskrit Kuliah-1 27

    Kuantifikasi Universal

  • 7/22/2019 Matematika Logika Bab I

    28/34

    Contoh :S(x): x adalah seorang mahasiswa TI

    G(x): x adalah seorang yang pandai.

    Apakah arti dari x (S(x)G(x)) ?Jika x adalah mahasiswa TI, maka x adalah seorangyang pandai

    atauSemua mahasiswa TI pandai.

    Matematika Diskrit Kuliah-1 28

    Kuantifikasi Universal

  • 7/22/2019 Matematika Logika Bab I

    29/34

    Kalimat yang di-kuantifikasi secara eksistensial:

    Ada x di dalam semesta pembicaraan dimana P(x) benar.

    Dengan peng-kuantifikasi eksistensial :

    x P(x) Ada sebuah x sedemikian hingga P(x). Ada sedikitnya sebuah x sedemikian

    hingga P(x).

    (Catatan: x P(x) bisa benar atau salah, jadi merupakansebuah proposisi, tapi bukan fungsi proposisi.)

    Matematika Diskrit Kuliah-1 29

    Kuantifikasi Eksistensial

  • 7/22/2019 Matematika Logika Bab I

    30/34

    Contoh :P(x): x adalah seorang dosen TI.G(x): x adalah seorang yang pandai.

    Apakah arti x (P(x) G(x)) ?Ada x sedemikian hingga x adalah seorang dosen ITdan x adalah seorang yang pandai.atau

    Sedikitnya satu orang dosen IT adalah seorang yangpandai.

    Matematika Diskrit Kuliah-1 30

    Kuantifikasi Eksistensial

  • 7/22/2019 Matematika Logika Bab I

    31/34

    Contoh lain :Misalkan semesta pembicaraan adalah bilangan riil.

    Apakah arti dari xy (x + y = 320)?

    Untuk setiap xada ysehingga x + y = 320.

    Matematika Diskrit Kuliah-1 31

    Kuantifikasi

    Apakah pernyataan ini benar ?

    Apakah ini benar untuk bilangan cacah?

    Ya

    Tidak

  • 7/22/2019 Matematika Logika Bab I

    32/34

    Counterexampledari

    x P(x) adalah sebuah objek csehingga P(c) salah.

    Pernyataan seperti x (P(x)Q(x)) dapat di-disproofsecara sederhana dengan memberikancounterexample-nya.

    Matematika Diskrit Kuliah-1 32

    Disproofdengan counterexample

    Pernyataan: Semua burung bisa terbang.

    Disproofed dengancounterexample: Penguin.

  • 7/22/2019 Matematika Logika Bab I

    33/34

    (x P(x)) ekivalen scr logis dengan x (P(x)).

    (x P(x)) ekivalen scr logis dengan x (P(x)).

    Lihat Table 3 dalam Section 1.3.

    Latihan soal pada Exercises 5 dan 9, Section 1.3.

    Matematika Diskrit Kuliah-1 33

    Negasi

  • 7/22/2019 Matematika Logika Bab I

    34/34

    Kerjakan Soal : Nomor 1

    Nomor 2

    Nomor 3

    Halaman 27 dan 28, Pada materi Matematika Diskrit.

    SELAMAT BELAJAR.....

    Matematika Diskrit Kuliah-1 34

    TUGAS