Anda di halaman 1dari 20

TABEL

KEBENARAN
Tabel Kebenaran (1)

• Adalah suatu tabel yang menunjukkan secara sistematis satu demi


satu nilai-nilai kebenaran sebagai hasil kombinasi dari propisisi-
proposisi yg sederhana
• Adalah suatu tabel yang memuat nilai kebenaran untuk pernyataan-
pernyataan majemuk
Tabel Kebenaran (2)

• Setiap kombinasi dari proposisi sederhana atau


variabel proposisional, nilainya tergantung dari jenis
perangkai yg digunakan untuk
mengkombinasikannya
• A = Tamu yang datang pada ulang tahun Riri harus
membawa hadiah (T)
• B = Tamu yang datang pada ulang tahun Riri harus
membawa kue tart (T)
• A ˄ B = Tamu yang datang pada ulang tahun Riri
harus membawa hadiah DAN kue tart (?)
Mengapa Harus dengan Tabel Kebenaran?

• Logika hanya menekankan bahwa proposisi-


proposisi yang benar akan menghasilkan
kesimpulan yang benar tetapi bukan kebenaran
yang aktual atau kebenaran dalam sehari-hari
Tabel Kebenaran (3)

• Tabel kebenaran terdiri dari 2 bagian (kolom master


dan kolom jawaban) dan baris kombinasi.
• Jumlah kolom master = jumlah variabel

Kolom master Kolom jawaban

A B A˄B

F F ?

Baris F T ?
kombinasi T F ?

T T ?
Tabel Kebenaran (4)

• Jumlah kolom jawaban = Jumlah operator/


perangkai yang muncul di bentuk logika

• Jumlah baris kombinasi = 2^n, dimana


n = jumlah variabel
Tabel Kebenaran (5)

• Pada tabel kebenaran, konstanta proposisional yang digunakan


adalah T untuk True (benar) dan F untuk False (salah)
Tabel Kebenaran (6)

Perangkai Simbol
Dan (konjungsi) ˄
Atau (disjungsi) ˅
Tidak/bukan (negasi) ¬
Jika…maka… (implikasi) →
Jika dan hanya jika (ekuivalensi) ↔
Negasi

A ¬A ¬¬A
F T F
T F T
Konjungsi
A B A˄B

F F F

F T F

T F F

T T T

• Lulus Mata Kuliah Logika Informatika harus rajin belajar dan masuk kuliah
• A = Rajin belajar
• B = Rajin masuk kuliah

1. Lulus Mata Kuliah Logika Informatika harus rajin belajar (F) dan masuk kuliah (F): A ˄ B = (F) ˄ (F) =
F
2. Lulus Mata Kuliah Logika Informatika harus rajin belajar (F) dan masuk kuliah (T): A ˄ B = (F) ˄ (T) =
F
3. Lulus Mata Kuliah Logika Informatika harus rajin belajar (T) dan masuk kuliah (F): A ˄ B = (T) ˄ (F) =
F
4. Lulus Mata Kuliah Logika Informatika harus rajin belajar (T) dan masuk kuliah (T): A ˄ B = (T) ˄ (T) =
T
Soal

A B C AʌB (AʌB)ʌC BʌC Aʌ(BʌC)

F F F

F F T

F T F

F T T

T F F

T F T

T T F

T T T
Disjungsi
A B A˅B

F F F

F T T

T F T

T T T

• Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 atau memiliki pengalaman kerja
minimal 2 tahun
• A = IPK 3.5
• B = pengalaman kerja minimal 2 tahun

1. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (F) atau memiliki pengalaman kerja
minimal 2 tahun (F): A ˅ B = (F) ˅ (F) = F
2. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (F) atau memiliki pengalaman kerja
minimal 2 tahun (T): A ˅ B = (F) ˅ (T) = T
3. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (T) atau memiliki pengalaman kerja
minimal 2 tahun (F): A ˅ B = (T) ˅ (F) = T
4. Syarat bekerja di perusahaan ABC adalah lulus dengan IPK 3.5 (T) atau memiliki pengalaman kerja
minimal 2 tahun (T): A ˅ B = (T) ˅ (T) = T
 
Soal

A B C A˅ B (A˅B)˅C B˅C A˅(B˅C)

F F F

F F T

F T F

F T T

T F F

T F T

T T F

T T T
Implikasi
A B A→B

F F T

F T T

T F F

T T T

• Jika sore ini cerah maka saya akan bermain sepak bola
• A = sore ini cerah
• B = bermain sepak bola

1. Jika sore ini cerah (F) maka saya akan bermain sepak bola (F): A → B = (F) → (F) = T
2. Jika sore ini cerah (F) maka saya akan bermain sepak bola (T): A → B = (F) → (T) = T
3. Jika sore ini cerah (T) maka saya akan bermain sepak bola (F): A → B = (T) → (F) = F
4. Jika sore ini cerah (T) maka saya akan bermain sepak bola (T): A → B = (T) → (T) = T
Ekuivalensi
A B A↔B

F F T

F T F

T F F

T T T

• Saya mendapatkan gaji jika dan hanya jika saya bekerja


• A = mendapatkan gaji
• B = bekerja

1. Saya mendapatkan gaji (F) jika dan hanya jika saya bekerja (F): A ↔B = (F) ↔(F) = T
2. Saya mendapatkan gaji (F) jika dan hanya jika saya bekerja (T): A ↔B = (F) ↔(T) = F
3. Saya mendapatkan gaji (T) jika dan hanya jika saya bekerja (F): A ↔B = (T) ↔(F) = F
4. Saya mendapatkan gaji (T) jika dan hanya jika saya bekerja (T): A ↔B = (T) ↔(T) = T
Aturan Tabel Kebenaran

• Konjungsi : Bernilai T jika keduanya T


• Disjungsi : Bernilai F jika keduanya F
• Negasi : Bernilai kebalikan/berlawanan
• Implikasi : Bernilai F jika sisi kiri (sebab) T dan sisi kanan (akibat) F
• Ekuivalensi : Bernilai T jika keduanya sama (sama-sama T atau sama-
sama F)
Soal
1. Diketahui proposisi-proposisi berikut:
P : Pemuda itu tinggi
q : Pemuda itu tampan
Nyatakan dalam bentuk simbolik
a. Pemuda itu tinggi dan tampan
b. Pemuda itu tinggi tapi tidak tampan
c. Pemuda itu tidak tinggi maupun tampan
d. Tidak benar bahwa pemuda itu pendek atau tidak tampan
e. Pemuda itu tinggi, atau pendek dan tampan
f. Tidak benar bahwa pemuda itu pendek maupun tampan
Jawaban

a. pʌq
b. p ʌ ¬q
c. ¬p ʌ¬q
d. ¬ (¬p v ¬q)
e. P v ( ¬p ʌ q)
f. ¬ ( ¬p ʌ ¬q)
Soal
2. Misalkan A,B,dan C adalah variabel proposisional:
A = Anda sakit Flu
B = Anda ujian
C = Anda Lulus
Ubahlah ekspresi logika berikut menjadi pernyataan dalam bahasa
indonesia
•A→ ¬B
•B → ¬C
• ¬B → C
•(A ʌ B) → C
•(A → ¬C) v (B→ ¬C)
•(A ʌ B) v (¬B ʌ C)
Soal
3. Buatlah tabel kebenaran dengan semua kemungkinan nilai
kebenaran dari ekspresi-ekspresi logika berikut ini :
a.¬ (¬A ʌ ¬B)
b.A ʌ (A v B)
c.(( ¬A ʌ (¬B ʌ C)) v (B ʌ C)) v (A ʌ C)
d.(A ʌ B) v (((¬A ʌ B) → A) ʌ ¬B)
e.(A→B) ↔ (¬B → ¬A)
f.A ʌ ((C v B) ↔ ¬C)
g.¬((A ʌ B) → ¬C) v A

Anda mungkin juga menyukai