SlideShare a Scribd company logo
1 of 19
PERNYATAAN
Pernyataan atau     proposisi   adalah   sebuah kalimat tertutup yang
           mempunyai nilai     kebenaran   BENAR saja    atau SALAH
           saja, tapi tidak keduanya.
Umumnya digunakan huruf kecil seperti : p, q, r, s, t …

Nilai kebenaran suatu pernyataan dinotasikan dengan simbol      

1. p :       “ Hasil perkalian 3 dan 6 adalah 18 “ , (p) = B (Benar)   atau
                (p) = T (True)
2. q : “ Semua bilangan prima adalah bilangan ganjil” , (q) = S (Salah) =
           F(False)
3. r : “ 12 + 5 > 16 “ , (r) = T
4. s : “ Besi adalah benda cair “          , (s) = F

 26 January 2012                    2. PERNYATAAN                        2
Contoh Pernyataan
Kalimat yang tidak mempunyai nilai kebenaran yang pasti adalah
    bukan pernyataan. Berikut ini adalah beberapa contoh kalimat
    yang bukan pernyataan.


1. “ Biarkan dia pergi”
2. “ Dimana kau simpan uangku?”
3. “ Semoga kau bahagia”
4. “ x2 – 5x + 4 > 0 “
5. “ 2x + 5 < 18 “
6. “ Jarak antara kota x dan kota Bandung lebih dari 60 Km ”
7. “ Kasihan deh lu”
26 January 2012            2. PERNYATAAN                       3
OPERASI-OPERASI pada PERNYATAAN

1.Operasi Uner (Monar)
Operasi uner adalah operasi negasi / ingkaran.
Nilai kebenarannya berlawanan dengan nilai pernyataan sebelumnya.
Ingkaran dari suatu pernyataan diberi lambang “ ~ “,

p: Bandung adalah ibu kota Jawa Barat.
 q: 6 + 7 = 10
   r: 27 adalah bilangan prima


      ~p: tidak benar Bandung adalah ibu kota Jawa Barat , (~p) = S
         ~p: Bandung bukan ibu kota Jawa Barat.
            ~q: tidak benar 6 + 7 = 10, 6+7  10

26 January 2012                     2. PERNYATAAN                      4
OPERASI-OPERASI pada PERNYATAAN

NEGASI                 DISJUNGSI           KONJUNGSI        IMPLIKASI

p        ~p    p        q   pvq        p    q   p^q     p   q   pq
B        S     B       B     B         B    B       B   B   B     B
S        B     B       S     B         B    S       S   B   S     S
               S       B     B         S    B       S   S   B     B
               S       S     S         S    S       S   S   S     B

        BIIMPLIKASI                EXCLUSIVE OR
    p     q   pq                  p   q     pq
    B     B        B               B   B        S
    B     S        S               B   S        B
    S     B        S               S   B        B
    S     S        B               S   S        S
TABEL KEBENARAN PERNYATAAN MAJEMUK

  1. ~ (p  ~q)

      p       q   ~q        (p  ~q)        ~(p  ~q)
      B       B   S              S                 B
      B       S   B              B                 S          CARA
                                                              BIASA
      S       B   S              S                 B
      S       S   B              S                 B

      p       q   ~    (p    ^       ~     q)
      B       B   B    S     S       S      B
                                                          CARA
      B       S   S    B     B       B      S            SINGKAT
      S       B   B    S     S       S      B
      S       S   B    S     S       B      S

26 January 2012                          2. PERNYATAAN                6
Contoh Tabel Kebenaran Majemuk 3 var
                            2. (p  q)  [ ~p V (q  r) ]
     1            2   3      4     5         6           7     8,9   10    11    12    13


    p q               r     (p     ^       q)        [ ~p           V (q
                                                                                 ^ r)]
    B             B   B      B     B         B           B      S    B     B     B     B
    B             B   S      B     B         B           S      S    S     B     S     S
    B             S   B      B     S         S           B      S    S     S     S     B
    B             S   S      B     S         S           B      S    S     S     S     S
    S             B   B      S     S         B           B     B     B     B     B     B
    S             B   S      S     S         B           B     B     B     B     S     S
    S             S   B      S     S         S           B     B     B     S     S     B
    S             S   S      S     S         S           B     B     B     S     S     S
    (1)       (1)     (1)    (1)   (3)      (1)          (5)   (2)   (4)   (1)   (3)   (1)

26 January 2012                          2. PERNYATAAN                                       7
TAUTOLOGI, KONTRADIKSI, SATISFY

 TAUTOLOGI         :   Pernyataan Majemuk yang nilai
                       kebenarannya BENAR semua

KONTRADIKSI: Pernyataan           Majemuk yang nilai
                       kebenarannya SALAH semua

SATISFY :              Pernyataan Majemuk yang nilai
                        kebenarannya GABUNGAN.


26 January 2012             2. PERNYATAAN           8
Contoh Tautologi & Kontradiksi

                  p V ~ ( p q )                        ~( pq )  (~p V q )

       p      V      ~    (p   ^   q)       ~    (p          q)       (~p     V   q)
                                                                   ^
      B              S    B    B   B        S     B      B   B          S      B   B
             B                                                     S
      B              B    B    S   S        B     B      S   S          S      S   S
             B                                                     S
       S             B    S    S   B        S      S     B   B          B      B   B
             B                                                     S
       S             B    S    S   S        S      S     B   S          B      B   S
             B                                                     S
                  TAUTOLOGI                               KONTRADIKSI




26 January 2012                         2. PERNYATAAN                                   9
Aplikasi pada rangkaian
                  p
    A                     B
                                pVq
                                      PARALEL: Arus akan mengalir ke titik
                                      B Jika salah satu dari p atau q ON
                  q



    A      p          q   B           SERI : Arus akan mengalir ke titik B
                                pq
                                      Jika p dan q keduanya ON.

                                                                   p

        [ p V (q ^ ~p) ] V [ (r V ~q) ^ p ]                    q       ~p



                                                               r
                                                                            p

                                                              ~q




26 January 2012                          2. PERNYATAAN                          10
KONDISIONAL        KONVERS             INVERS     KONTRAPOSISI

                          KONDITIONAL   KONVERS           INVERS    KONTRAPOSISI

            p        q      pq           qp            ~p  ~ q    ~ q  ~p
            B        B         B             B              B            B
            B        S         S             B              B            S
            S        B         B             S              S            B
            S        S         B             B              B            B

                  .Tentukan kontra posisi dari kalimat berikut.
                     a. Jika Parto seorang penyair maka ia orang miskin
                     b. Hanya jika Hafid belajar maka ia akan lulus ujian.


            a.      Jika Parto tidak miskin, maka Ia bukan seorang penyair
            b.      Jika Hafidz tidak belajar, maka Ia tidak akan lulus ujian
26 January 2012                          2. PERNYATAAN                             11
Pernyataan bersyarat dan negasinya

    ~( p  q )             =           p ^ ~q                      (pq) = ~p vq

     ~     (p        q)       p       ^       ~ q                 pq        ~p V q
     S      B     B   B        B       S       S       B            B         S   B   B
    B       B     S   S        B       B       B       S             S        S   S   S
     S      S     B   B        S       S       S       B            B         B   B   B
     S      S     B   S        S       S       B       S            B         B   B   S

         ~( p  q )        =           p  ~q              =    ~p  q
     ~     (p  q)                 ( p  ~q )                  ( ~p     q)
     S      B     B   B            B       S       S           S     S   B
     B      B     S   S            B       B       B           S     B   S
     B      S     S   B            S       B       S           B     B   B
     S      S     B   S            S       S       B           B     S   S
26 January 2012                                2. PERNYATAAN                              12
EKIVALENSI LOGIS
DEFINISI:


   Dua proposisi P(p,q,r, . . .) dan Q(p, q, r, . . .) dikatakan ekivalen
   secara logis, atau ekivalen atau sama, dinotasikan oleh


                       P(p,q,r, . . .)  Q(p, q, r, . . .)

   Jika mereka mempunyai tabel kebenaran yang sama.
Contoh
1. Tunjukkan bahwa ~ ( p V q ) ekivalen
   dengan ~p ^ ~q
    ~   (p   V   q)       ~p   ^    ~q
    S   B    B   B        S    S    S
    S   B    B   S        S    S    B
    S   S    B   B        B    S    S
    B   S    S   S        B    B    B
2. Tunjukkan bahwa ~ ( p ^ q ) ekivalen
  dengan ~p v ~q
    ~   (p   ^   q)      ~p      v        ~q
   S    B    B    B       S      S        S
   B    B    S    S       S     B         B
   B    S    S    B       B     B         S
   B    S    S    S       B     B         B
Hukum2 Aljabar Proposisi
1      IDEMPOTEN                pVp= p                           p^p= p

2      ASOSIATIF        p V (q V r ) = (p V q) V r        p ^ (q ^ r ) = (p ^ q) ^ r

3      KOMUTATIF              pVq= qVp                         p^q= q^p
4      DISTRIBUTIF    p V (q  r) = (p V q)  (p V r)   p ^(q V r) = (p ^ q) V (p ^ r)

5      IDENTITAS                p V F= p                         p ^ T= p
6                               pVT = T                          p^F = F

7      INVOLUSI                 ~(~p ) = p

8      KOMPLEMEN               p V ~p = T                       p ^ ~p = F
9                                 ~T = F                           ~F = T

10 DE MORGAN              ~( p V q) = ~p  ~q               ~( p ^ q) = ~p V ~q



    26 January 2012                     2. PERNYATAAN                              16
LATIHAN SOAL
Buatlah Tabel Kebenaran untuk pernyataan majemuk berikut.

1. ~ [ p  q ] V ~ p
2. [~ p V ~q ]  r
3. [p V q]  ~q
4. [( p  q)  ~q ]  ~p
5. p  ( q V r )
6. ~p V (q  ~r)
7. p  [p  ( q V r) ]
8. [ (p q)  ( ~q V r )]  ( p  r )
7. Tunjukkan bahwa (p q) ekivalen dengan
  ~p V q
8. Tunjukkan bahwa p V (p ^ q)  p dan
  p ^ (p V q)  p
9. Gambarkan rangkaian dari pernyataan
  majemuk berikut
a. (~p ^ [ q V (r ^ ~s) ]) V [~q V p]
b. { [ (p ^ q) V (r ^ ~p)] ^ s } V { ~p ^ [ q V (r ^ ~s) ] ^ ~q }
Buatlah tabel kebenaran untuk masing-masing
pernyataan berikut
1. [(~pr)  ~q ] ( ~r V p )
2. [ (~r V q)  ~p ]  ( ~q  p )

More Related Content

What's hot

Algoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan AlgoritmaAlgoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan AlgoritmaAri Septiawan
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & TautologiHuzairi Zairi
 
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...Fatma Qolbi
 
Penyederhanaan Karnaugh Map
Penyederhanaan Karnaugh MapPenyederhanaan Karnaugh Map
Penyederhanaan Karnaugh MapCheria Asyifa
 
Bilangan kompleks lengkap
Bilangan kompleks lengkapBilangan kompleks lengkap
Bilangan kompleks lengkapagus_budiarto
 
Peubah acak diskrit dan kontinu
Peubah acak diskrit dan kontinuPeubah acak diskrit dan kontinu
Peubah acak diskrit dan kontinuAnderzend Awuy
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Meycelino A. T
 
Matematika Diskrit kombinatorial
Matematika Diskrit  kombinatorialMatematika Diskrit  kombinatorial
Matematika Diskrit kombinatorialSiti Khotijah
 
Matematika Diskrit - 05 rekursi dan relasi rekurens - 01
Matematika Diskrit - 05 rekursi dan relasi rekurens - 01Matematika Diskrit - 05 rekursi dan relasi rekurens - 01
Matematika Diskrit - 05 rekursi dan relasi rekurens - 01KuliahKita
 
Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )Kelinci Coklat
 
Pembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi MatriksPembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi MatriksIpit Sabrina
 
Distribusi Seragam, Bernoulli, dan Binomial
Distribusi Seragam, Bernoulli, dan BinomialDistribusi Seragam, Bernoulli, dan Binomial
Distribusi Seragam, Bernoulli, dan BinomialSilvia_Al
 
Matematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifMatematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifAyuk Wulandari
 
Pertemuan 6 & 7 ars. gerbang logika
Pertemuan 6 & 7 ars. gerbang logikaPertemuan 6 & 7 ars. gerbang logika
Pertemuan 6 & 7 ars. gerbang logikaBuhori Muslim
 
Sistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear ElementerSistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear ElementerKelinci Coklat
 
Sejarah singkat, kedudukan, dan fungsi bahasa
Sejarah singkat, kedudukan, dan fungsi bahasaSejarah singkat, kedudukan, dan fungsi bahasa
Sejarah singkat, kedudukan, dan fungsi bahasaDeni Irawan
 

What's hot (20)

Algoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan AlgoritmaAlgoritma Pemrograman (Flowchart) - Logika dan Algoritma
Algoritma Pemrograman (Flowchart) - Logika dan Algoritma
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & Tautologi
 
relasi himpunan
relasi himpunanrelasi himpunan
relasi himpunan
 
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
Matematika diskrit (dual graf, lintasan dan sirkuit euler, lintasan dan sirku...
 
Penyederhanaan Karnaugh Map
Penyederhanaan Karnaugh MapPenyederhanaan Karnaugh Map
Penyederhanaan Karnaugh Map
 
Bilangan kompleks lengkap
Bilangan kompleks lengkapBilangan kompleks lengkap
Bilangan kompleks lengkap
 
Peubah acak diskrit dan kontinu
Peubah acak diskrit dan kontinuPeubah acak diskrit dan kontinu
Peubah acak diskrit dan kontinu
 
Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)Logika matematika pertemuan 2 (inferensi)
Logika matematika pertemuan 2 (inferensi)
 
Matematika Diskrit kombinatorial
Matematika Diskrit  kombinatorialMatematika Diskrit  kombinatorial
Matematika Diskrit kombinatorial
 
Distribusi Binomial
Distribusi BinomialDistribusi Binomial
Distribusi Binomial
 
Graf Pohon
Graf PohonGraf Pohon
Graf Pohon
 
Matematika Diskrit - 05 rekursi dan relasi rekurens - 01
Matematika Diskrit - 05 rekursi dan relasi rekurens - 01Matematika Diskrit - 05 rekursi dan relasi rekurens - 01
Matematika Diskrit - 05 rekursi dan relasi rekurens - 01
 
Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )Fungsi Dua Peubah ( Kalkulus 2 )
Fungsi Dua Peubah ( Kalkulus 2 )
 
Pembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi MatriksPembuktian Sifat – Sifat Operasi Matriks
Pembuktian Sifat – Sifat Operasi Matriks
 
pewarnaan graf
pewarnaan grafpewarnaan graf
pewarnaan graf
 
Distribusi Seragam, Bernoulli, dan Binomial
Distribusi Seragam, Bernoulli, dan BinomialDistribusi Seragam, Bernoulli, dan Binomial
Distribusi Seragam, Bernoulli, dan Binomial
 
Matematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi RekursifMatematika Diskrit Relasi Rekursif
Matematika Diskrit Relasi Rekursif
 
Pertemuan 6 & 7 ars. gerbang logika
Pertemuan 6 & 7 ars. gerbang logikaPertemuan 6 & 7 ars. gerbang logika
Pertemuan 6 & 7 ars. gerbang logika
 
Sistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear ElementerSistem Persamaan Linear (SPL) Aljabar Linear Elementer
Sistem Persamaan Linear (SPL) Aljabar Linear Elementer
 
Sejarah singkat, kedudukan, dan fungsi bahasa
Sejarah singkat, kedudukan, dan fungsi bahasaSejarah singkat, kedudukan, dan fungsi bahasa
Sejarah singkat, kedudukan, dan fungsi bahasa
 

More from Cliquerz Javaneze (19)

Perbedaan orang pemarah & humoris
Perbedaan orang pemarah & humorisPerbedaan orang pemarah & humoris
Perbedaan orang pemarah & humoris
 
Resep masakan
Resep masakanResep masakan
Resep masakan
 
10 cara hidup bahagia
10 cara hidup bahagia10 cara hidup bahagia
10 cara hidup bahagia
 
Bab 8 kombinatorial
Bab 8 kombinatorialBab 8 kombinatorial
Bab 8 kombinatorial
 
Bab 5 penyederhanaan fungsi boolean
Bab 5 penyederhanaan fungsi booleanBab 5 penyederhanaan fungsi boolean
Bab 5 penyederhanaan fungsi boolean
 
Bab 4 graf-2
Bab 4 graf-2Bab 4 graf-2
Bab 4 graf-2
 
Bab 4 graf-1
Bab 4 graf-1Bab 4 graf-1
Bab 4 graf-1
 
Bab 7 fungsi
Bab 7 fungsiBab 7 fungsi
Bab 7 fungsi
 
Bab 2 aljabar himpunan
Bab 2 aljabar himpunanBab 2 aljabar himpunan
Bab 2 aljabar himpunan
 
Bab 1 himpunan
Bab 1 himpunanBab 1 himpunan
Bab 1 himpunan
 
Bab 9 graf
Bab 9 grafBab 9 graf
Bab 9 graf
 
Tips sukses kalkulus
Tips sukses kalkulusTips sukses kalkulus
Tips sukses kalkulus
 
Bab 4 fungsi
Bab 4 fungsiBab 4 fungsi
Bab 4 fungsi
 
Bab 1 sistem bilangan riil
Bab 1 sistem bilangan riilBab 1 sistem bilangan riil
Bab 1 sistem bilangan riil
 
Bab 3(3) spl
Bab 3(3) splBab 3(3) spl
Bab 3(3) spl
 
Bab 3(2) determinan dan i nvers matriks
Bab 3(2) determinan dan i nvers matriksBab 3(2) determinan dan i nvers matriks
Bab 3(2) determinan dan i nvers matriks
 
Bab 3(1) matriks
Bab 3(1) matriksBab 3(1) matriks
Bab 3(1) matriks
 
Bab 2 vektor
Bab 2 vektorBab 2 vektor
Bab 2 vektor
 
Modul 2 ip address
Modul 2 ip addressModul 2 ip address
Modul 2 ip address
 

Bab 3 logika matematika

  • 1.
  • 2. PERNYATAAN Pernyataan atau proposisi adalah sebuah kalimat tertutup yang mempunyai nilai kebenaran BENAR saja atau SALAH saja, tapi tidak keduanya. Umumnya digunakan huruf kecil seperti : p, q, r, s, t … Nilai kebenaran suatu pernyataan dinotasikan dengan simbol  1. p : “ Hasil perkalian 3 dan 6 adalah 18 “ , (p) = B (Benar) atau (p) = T (True) 2. q : “ Semua bilangan prima adalah bilangan ganjil” , (q) = S (Salah) = F(False) 3. r : “ 12 + 5 > 16 “ , (r) = T 4. s : “ Besi adalah benda cair “ , (s) = F 26 January 2012 2. PERNYATAAN 2
  • 3. Contoh Pernyataan Kalimat yang tidak mempunyai nilai kebenaran yang pasti adalah bukan pernyataan. Berikut ini adalah beberapa contoh kalimat yang bukan pernyataan. 1. “ Biarkan dia pergi” 2. “ Dimana kau simpan uangku?” 3. “ Semoga kau bahagia” 4. “ x2 – 5x + 4 > 0 “ 5. “ 2x + 5 < 18 “ 6. “ Jarak antara kota x dan kota Bandung lebih dari 60 Km ” 7. “ Kasihan deh lu” 26 January 2012 2. PERNYATAAN 3
  • 4. OPERASI-OPERASI pada PERNYATAAN 1.Operasi Uner (Monar) Operasi uner adalah operasi negasi / ingkaran. Nilai kebenarannya berlawanan dengan nilai pernyataan sebelumnya. Ingkaran dari suatu pernyataan diberi lambang “ ~ “, p: Bandung adalah ibu kota Jawa Barat. q: 6 + 7 = 10 r: 27 adalah bilangan prima ~p: tidak benar Bandung adalah ibu kota Jawa Barat , (~p) = S ~p: Bandung bukan ibu kota Jawa Barat. ~q: tidak benar 6 + 7 = 10, 6+7  10 26 January 2012 2. PERNYATAAN 4
  • 5. OPERASI-OPERASI pada PERNYATAAN NEGASI DISJUNGSI KONJUNGSI IMPLIKASI p ~p p q pvq p q p^q p q pq B S B B B B B B B B B S B B S B B S S B S S S B B S B S S B B S S S S S S S S B BIIMPLIKASI EXCLUSIVE OR p q pq p q pq B B B B B S B S S B S B S B S S B B S S B S S S
  • 6. TABEL KEBENARAN PERNYATAAN MAJEMUK 1. ~ (p  ~q) p q ~q (p  ~q) ~(p  ~q) B B S S B B S B B S CARA BIASA S B S S B S S B S B p q ~ (p ^ ~ q) B B B S S S B CARA B S S B B B S SINGKAT S B B S S S B S S B S S B S 26 January 2012 2. PERNYATAAN 6
  • 7. Contoh Tabel Kebenaran Majemuk 3 var 2. (p  q)  [ ~p V (q  r) ] 1 2 3 4 5 6 7 8,9 10 11 12 13 p q r (p ^ q)  [ ~p V (q ^ r)] B B B B B B B S B B B B B B S B B B S S S B S S B S B B S S B S S S S B B S S B S S B S S S S S S B B S S B B B B B B B S B S S S B B B B B S S S S B S S S B B B S S B S S S S S S B B B S S S (1) (1) (1) (1) (3) (1) (5) (2) (4) (1) (3) (1) 26 January 2012 2. PERNYATAAN 7
  • 8. TAUTOLOGI, KONTRADIKSI, SATISFY TAUTOLOGI : Pernyataan Majemuk yang nilai kebenarannya BENAR semua KONTRADIKSI: Pernyataan Majemuk yang nilai kebenarannya SALAH semua SATISFY : Pernyataan Majemuk yang nilai kebenarannya GABUNGAN. 26 January 2012 2. PERNYATAAN 8
  • 9. Contoh Tautologi & Kontradiksi p V ~ ( p q ) ~( pq )  (~p V q ) p V ~ (p ^ q) ~ (p  q) (~p V q) ^ B S B B B S B B B S B B B S B B B S S B B S S S S S B S S B S S B S S B B B B B B S S B S S S S S B S B B S B S TAUTOLOGI KONTRADIKSI 26 January 2012 2. PERNYATAAN 9
  • 10. Aplikasi pada rangkaian p A B pVq PARALEL: Arus akan mengalir ke titik B Jika salah satu dari p atau q ON q A p q B SERI : Arus akan mengalir ke titik B pq Jika p dan q keduanya ON. p [ p V (q ^ ~p) ] V [ (r V ~q) ^ p ] q ~p r p ~q 26 January 2012 2. PERNYATAAN 10
  • 11. KONDISIONAL KONVERS INVERS KONTRAPOSISI KONDITIONAL KONVERS INVERS KONTRAPOSISI p q pq qp ~p  ~ q ~ q  ~p B B B B B B B S S B B S S B B S S B S S B B B B .Tentukan kontra posisi dari kalimat berikut. a. Jika Parto seorang penyair maka ia orang miskin b. Hanya jika Hafid belajar maka ia akan lulus ujian. a. Jika Parto tidak miskin, maka Ia bukan seorang penyair b. Jika Hafidz tidak belajar, maka Ia tidak akan lulus ujian 26 January 2012 2. PERNYATAAN 11
  • 12. Pernyataan bersyarat dan negasinya ~( p  q ) = p ^ ~q (pq) = ~p vq ~ (p  q) p ^ ~ q pq ~p V q S B B B B S S B B S B B B B S S B B B S S S S S S S B B S S S B B B B B S S B S S S B S B B B S ~( p  q ) = p  ~q = ~p  q ~ (p  q) ( p  ~q ) ( ~p  q) S B B B B S S S S B B B S S B B B S B S B S S B S B S B B B S S B S S S B B S S 26 January 2012 2. PERNYATAAN 12
  • 13. EKIVALENSI LOGIS DEFINISI: Dua proposisi P(p,q,r, . . .) dan Q(p, q, r, . . .) dikatakan ekivalen secara logis, atau ekivalen atau sama, dinotasikan oleh P(p,q,r, . . .)  Q(p, q, r, . . .) Jika mereka mempunyai tabel kebenaran yang sama.
  • 14. Contoh 1. Tunjukkan bahwa ~ ( p V q ) ekivalen dengan ~p ^ ~q ~ (p V q) ~p ^ ~q S B B B S S S S B B S S S B S S B B B S S B S S S B B B
  • 15. 2. Tunjukkan bahwa ~ ( p ^ q ) ekivalen dengan ~p v ~q ~ (p ^ q) ~p v ~q S B B B S S S B B S S S B B B S S B B B S B S S S B B B
  • 16. Hukum2 Aljabar Proposisi 1 IDEMPOTEN pVp= p p^p= p 2 ASOSIATIF p V (q V r ) = (p V q) V r p ^ (q ^ r ) = (p ^ q) ^ r 3 KOMUTATIF pVq= qVp p^q= q^p 4 DISTRIBUTIF p V (q  r) = (p V q)  (p V r) p ^(q V r) = (p ^ q) V (p ^ r) 5 IDENTITAS p V F= p p ^ T= p 6 pVT = T p^F = F 7 INVOLUSI ~(~p ) = p 8 KOMPLEMEN p V ~p = T p ^ ~p = F 9 ~T = F ~F = T 10 DE MORGAN ~( p V q) = ~p  ~q ~( p ^ q) = ~p V ~q 26 January 2012 2. PERNYATAAN 16
  • 17. LATIHAN SOAL Buatlah Tabel Kebenaran untuk pernyataan majemuk berikut. 1. ~ [ p  q ] V ~ p 2. [~ p V ~q ]  r 3. [p V q]  ~q 4. [( p  q)  ~q ]  ~p 5. p  ( q V r ) 6. ~p V (q  ~r) 7. p  [p  ( q V r) ] 8. [ (p q)  ( ~q V r )]  ( p  r )
  • 18. 7. Tunjukkan bahwa (p q) ekivalen dengan ~p V q 8. Tunjukkan bahwa p V (p ^ q)  p dan p ^ (p V q)  p 9. Gambarkan rangkaian dari pernyataan majemuk berikut a. (~p ^ [ q V (r ^ ~s) ]) V [~q V p] b. { [ (p ^ q) V (r ^ ~p)] ^ s } V { ~p ^ [ q V (r ^ ~s) ] ^ ~q }
  • 19. Buatlah tabel kebenaran untuk masing-masing pernyataan berikut 1. [(~pr)  ~q ] ( ~r V p ) 2. [ (~r V q)  ~p ]  ( ~q  p )