Logika

 Proposisi    

Matema(ka  Komputasi  -­‐  Logika  Proposisi   1  

Agi  Putra  Kharisma,  ST.,  MT.  
 Proposisi/Statement  
•  Kalimat  (sentence)  deklara?f  yang  bernilai    
TRUE  atau  FALSE,  namun  TIDAK  sekaligus  
keduanya    
Contoh  Proposisi   Nilai  
Ibukota  Jawa  Timur  adalah  Surabaya   TRUE  
100  >  90   TRUE  
Mata  uang  Indonesia  adalah  Dollar   FALSE  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   2  

Agi  Putra  Kharisma,  ST.,  MT.  
Proposisi   Bukan  Proposisi  
Tejo  lahir  di  kota  Bandung   Siapa  yang  berlibur  ke  kota  
  Bandung?  
Pak  Di  bekerja  di  toko    
Makmur  Jaya   Ambilkan  buku  itu!  
   
Kemarin  Gimin  pergi  ke   Santai  duren  berjanji  
dokter  bersama  kakaknya    
  5  +  5  
1  +  2  +  3  =  6000    
  5  +  5  =  x  
1  abad  adalah  100  triliun    
tahun   x  +  (y2  –  z)/2  =  c  
Matema(ka  Komputasi  -­‐  Logika  Proposisi   3  
Agi  Putra  Kharisma,  ST.,  MT.  
 Proposisi  Majemuk  (Compound  
Proposi?on)  
Proposisi  baru  yang  diperoleh  dari  kombinasi  
beberapa  proposisi  primi?f  
 
Jenis:    
–  Negasi/ingkaran    
–  Konjungsi  (conjunc?on)  
–  Disjungsi  (disjunc?on)  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   4  

Agi  Putra  Kharisma,  ST.,  MT.  
 Negasi/Ingkaran  
Diberikan  p  adalah  proposisi  
Negasi  p  ditulis  dengan  ~p  (baca:  not  p)  
 
Contoh:    
p     ~p  
Pak  Di  bekerja  di  toko  Makmur   Pak  Di  (dak  bekerja  di  toko  
Jaya   Makmur  Jaya  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   5  

Agi  Putra  Kharisma,  ST.,  MT.  
Tabel  Kebenaran  Negasi  

p   ~p  
T   F  
F   T  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   6  

Agi  Putra  Kharisma,  ST.,  MT.  
 La?han  
Tentukan  negasi  dari  proposisi  berikut  ini:  
1.  Kemarin  jalanan  macet  
2.  5  x  8  =  40  
3.  Cemplon  ?dak  pernah  makan  rendang  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   7  

Agi  Putra  Kharisma,  ST.,  MT.  
 Konjungsi  
Diberikan  proposisi  p  dan  q.    
Konjungsi  p  dan  q  dinyatakan  dengan  notasi:  
p  ∧  q  (dibaca:  p  dan  q)  
Contoh:  
  p   q   p  ∧  q  
Ponsel  Purwo   Purwo  beli  ponsel   Ponsel  Purwo  
masuk  selokan   baru   masuk  selokan  dan  
Purwo  beli  ponsel  
baru  
Matema(ka  Komputasi  -­‐  Logika  Proposisi   8  
Agi  Putra  Kharisma,  ST.,  MT.  
Tabel  Kebenaran  Konjungsi  

p   q   p  ∧  q  
T   T   T  
T   F   F  
F   T   F  
F   F   F  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   9  

Agi  Putra  Kharisma,  ST.,  MT.  
 Disjungsi  
Diberikan  proposisi  p  dan  q.    
Disjungsi  (inklusif)  p  dan  q  dinyatakan  dengan  notasi:  
p  ∨  q  (dibaca:  p  atau  q)  
 
Contoh:  
  p   q   p  ∨  q  
Ponsel  Purwo   Purwo  beli  ponsel   Ponsel  Purwo  
masuk  selokan   baru   masuk  selokan  atau  
Purwo  beli  ponsel  
baru  
Matema(ka  Komputasi  -­‐  Logika  Proposisi   10  
Agi  Putra  Kharisma,  ST.,  MT.  
Tabel  Kebenaran  Disjungsi  

p   q   p  v  q  
T   T   T  
T   F   T  
F   T   T  
F   F   F  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   11  

Agi  Putra  Kharisma,  ST.,  MT.  
 Disjungsi  Eksklusif  
Diberikan  proposisi  p  dan  q.    
Disjungsi  eksklusif  p  dan  q  dinyatakan  dengan  
notasi:  
P  ⊕  q  (dibaca:  p  atau  q  tetapi  bukan  keduanya)  
Contoh:  
  p   q   p  ⊕  q  
Pemenang  utama   Pemenang  utama   Pemenang  utama  
memperoleh  hadiah   memperoleh  hadiah   memperoleh  hadiah  
TV   uang  tunai   TV  atau  uang  tunai  
Matema(ka  Komputasi  -­‐  Logika  Proposisi   12  
Agi  Putra  Kharisma,  ST.,  MT.  
Tabel  Kebenaran  Disjungsi  Eksklusif  

p   q   p  ⊕  q  
T   T   F  
T   F   T  
F   T   T  
F   F   F  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   13  

Agi  Putra  Kharisma,  ST.,  MT.  
 Tautologi  &  Kontradiksi  
•  Tautologi  (Tautology)  
Proposisi  yang  selalu  bernilai  TRUE  
•  Kontradiksi  (Contradic(on)  
 Proposisi  yang  selalu  bernilai  FALSE  

p   p  v  ~p   p   p  ∧  ~p  
T   T   T   F  
F   T   F   F  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   14  

Agi  Putra  Kharisma,  ST.,  MT.  
 La?han  
Lengkapilah  tabel  kebenaran  berikut  ini  
  p   q   r   p  v  q  v  ~r   ~(p  ∧  q  ∧  r)   ~p  v  q  ∧  ~r   ~(p  v  r)  ∧  (p  v  q)  
 
T   T   T  
T   T   F  
T   F   T  
T   F   F  
F   T   T  
F   T   F  
F   F   T  
F   F   F  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   15  

Agi  Putra  Kharisma,  ST.,  MT.  
 Kesetaraan  Logika  (Logical  
Equivalence)  
Diberikan  P  dan  Q  adalah  proposisi  majemuk,  
maka:  
P  dikatakan  setara  secara  logika  dengan  Q  
apabila  tabel  kebenaran  keduanya  adalah  sama  
(dengan  kata  lain  P  ↔  Q  adalah  tautologi).  
 
Ditulis  dengan:  P  ≡  Q  atau  P  ⇔  Q  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   16  

Agi  Putra  Kharisma,  ST.,  MT.  
 Logically  Equivalent  
p   q   p  ∧  q   p  ∧  q  ≡  q  ∧  p  
atau  
T   T   T  
T   F   F   p  ∧  q  ⇔  q  ∧  p  
 
F   T   F  
F   F   F  
p   q   q  ∧  p  
T   T   T  
T   F   F  
F   T   F  
F   F   F  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   17  

Agi  Putra  Kharisma,  ST.,  MT.  
 Hukum  –  Hukum  Logika  Proposisi  

Keterangan:   Sumber:  Susana  S.Epp  -­‐  Discrete  Mathema:cs  With  Applica:on  4th  Edi:on  
t:  tautologi  
c:  kontradiksi  
Matema(ka  Komputasi  -­‐  Logika  Proposisi   18  
Agi  Putra  Kharisma,  ST.,  MT.  
 Proposisi  Bersyarat:  Implikasi  
Implikasi  p  à  q  :  “jika  p  maka  q”  
 
Hint:    
-­‐  Implikasi  =>  kontrak,  janji  
 
Contoh:  
1.  Jika  Sugimin  jadi  presiden,  maka  pendidikan  gra?s.  
2.  Jika  gas  telah  habis,  maka  kompor  ma?.  
3.  Jika  ikan  hidup  di  air,  maka  Semarang  ibukota  Jawa  
Tengah.  
Matema(ka  Komputasi  -­‐  Logika  Proposisi   19  
Agi  Putra  Kharisma,  ST.,  MT.  
Tabel  Kebenaran  Implikasi  

p   q   p  à  q  
T   T   T  
T   F   F  
F   T   T  
F   F   T  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   20  

Agi  Putra  Kharisma,  ST.,  MT.  
 Bi-­‐Implikasi/Bikondisional  
Implikasi  p  ↔  q  :  “p  jika  dan  hanya  jika  q”  

p   q   P  ↔  q  
T   T   T  
T   F   F  
F   T   F  
F   F   T  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   21  

Agi  Putra  Kharisma,  ST.,  MT.  
 Proposisi  Lainnya  
•  Konvers  (Converse)  
 p  →  q  dan  q  →  p  
•  Invers  (Inverse)    
 p  →  q  dan  ¬p  →  ¬q    
•  Kontraposisi  (Contraposi(ve)  
 p  →  q  dan  ¬q  →  ¬p  
   

Matema(ka  Komputasi  -­‐  Logika  Proposisi   22  

Agi  Putra  Kharisma,  ST.,  MT.  
 Inferensi  
Inferensi  adalah  proses  penarikan  kesimpulan  
dari  beberapa  proposisi  (argumen:  hipotesis  &  
konklusi).    
Contoh:   Modus  Ponens  
 
         Jika  Joni  makan  ikan,  maka  alergi  Joni  kambuh            p  →  q  
         Joni  makan  ikan            p  
   
∴  alergi  Joni  kambuh   ∴  q  
 

Matema(ka  Komputasi  -­‐  Logika  Proposisi   23  

Agi  Putra  Kharisma,  ST.,  MT.  
          p  →  q   p   q   p  à  q  
         p   T   T   T  
  T   F   F  
∴  q   F   T   T  
  F   F   T  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   24  

Agi  Putra  Kharisma,  ST.,  MT.  
 Beberapa  Kaidah  Inferensi  
Modus  Ponens              p  →  q   Eliminasi  /   (a)      p  v    q        (b)          p  v    q    
           p   Silogisme                  ~q                                      ~p  
∴  q   Disjung(f        ∴  p                                  ∴  q    
Modus  Tollens              p  →  q   Transi(vity  /            p  →  q  
           ~q   Silogisme            q  →  r  
∴  ~p   Hipotesis   ∴  p  →  r  
Generalisasi  /   (a)          p                  (b)            q   Pembuk(an              p  v    q  
Penjumlahan          ∴  p  v  q                  ∴  p  v  q     dengan              p  →  r  
  pembagian              q  →  r  
Spesialisasi  /   (a)          p  ∧  q          (b)            p  ∧  q   kasus    ∴  r  
Simplifikasi          ∴  p                                    ∴  q    
Konjungsi              p   Aturan              ~p  →  c  
           q   kontradiksi   ∴  p  
∴  p  ∧  q    

Matema(ka  Komputasi  -­‐  Logika  Proposisi   25  

Agi  Putra  Kharisma,  ST.,  MT.  
 Sekian  
•  Next:    
–  La?han  Soal  (s/d  inferensi)  
–  Metode  Pembuk?an  
–  Quiz?  

Matema(ka  Komputasi  -­‐  Logika  Proposisi   26  

Agi  Putra  Kharisma,  ST.,  MT.