DASAR-DASAR LOGIKA
MATEMATIKA DISKRIT STMIK AMIKOM PURWOKERTO Septi Fajarwati, S.Pd.
Ilmu Logika
Ilmu logika berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada di antara kalimat-kalimat tersebut. Tujuannya adalah memberikan aturan-aturan sehingga orang dapat menentukan apakah suatu kalimat bernilai benar. Ilmu logika lebih mengarah pada bentuk kalimat (sintaks) daripada arti kalimat itu sendiri (semantik).
Kalimat Deklaratif / Proposisi adalah suatu kalimat yang memiliki nilai kebenaran (truth value) benar (true) dengan notasi T, atau nilai kebenaran salah (false) dengan notasi F tetapi tidak kedua-duanya.
Contoh Proposisi : “Hari ini hujan.” (Situasinya diberitahukan) “Beijing adalah ibu kota China.” “1 + 2 = 3” “6 adalah bilangan ganjil.” Berikut ini yang BUKAN proposisi: “Siapa itu?” (pertanyaan) “x + y = 7” “Lakukan saja!” (perintah) “Ya, sepertinya begitu” (tidak jelas) “1 + 2” (expresi tanpa nilai benar/salah)
PENGHUBUNG KALIMAT Simbol Arti ¬ Tidak / NOT / Negasi ∧ Dan / AND / Konjungsi ∨ Atau / OR / Disjungsi ⊕ atau XOR / Exclusive-OR / ∨ Disjungsi eksklusif → Implikasi
↔
Biimplikasi (Biconditional)
Bentuk tidak…. ….dan…. .…atau…. ....atau….tetapi tdk keduanya Jika.…maka.... ...jika dan hanya jika…
Notasi Alternatif
Name: p
TABEL KEBENARAN Perhatikan bahwa secara umum, jika ada n variabel (p,q,…), maka tabel kebenaran memuat 2n baris.
p q ¬
Keterangan :
■
Negasi / Ingkaran suatu kalimat akan mempunyai nilai kebenaran yang berlawanan dengan nilai kebenaran kalimat aslinya. Contoh : p = “Saya seorang dosen” ¬p = “ Saya bukan seorang dosen” p = “Semua/setiap mahasiswa Amikom memakai dasi” ¬p = “Ada/beberapa/terdapat mahasiswa Amikom memakai dasi” Kalimat p ∧q akan bernilai benar jika baik p maupun q bernilai benar. Jika salah satunya bernilai salah maka p ∧q bernilai salah. Contoh : 2 adalah bilangan prima dan bilangan genap. Kalimat p ∨q mempunyai 2 macam arti : p ∨ q disebut Inclusive OR (akan bernilai benar jika p benar, atau q benar, atau keduanya bernilai benar)
Contoh : “Dalam perayaan itu, tamu boleh menyumbang uang atau barang." p ∨ q atau p ⊕ q disebut Exclusive OR (akan bernilai benar jika p benar, atau q benar, tapi tidak dua-duanya benar). Contoh : “Catur seorang wanita atau pria tetapi tidak keduanya” Kalimat implikasi p → q, p disebut hipotesis (anteseden) dan q disebut konklusi (konsekuen). Kalimat berbentuk p → q disebut kalimat berkondisi, karena kebenaran kalimat q tergantung pada kebenaran kalimat p. Contoh : “Jika segitiga ABC sama sisi maka ketiga sudutnya sama besar.”
Kalimat p → q dapat dibaca:
“jika p, maka q (bila p maka q)” “p hanya jika q”, karena jka tdk q (q salah), maka p juga tdk terjadi (p salah) “jika p, q” “kalau p, q” “setiap saat p, q” “q jika p”
q apabila p
“p syarat cukup utk q” “q syarat perlu utk p” “q mengikuti p” “q disebabkan p” “p menyebabkan q” “q kapanpun p” “q ketika p”
Kalimat Biimplikasi atau kondisi ganda (biconditional) p ↔ q berarti (p → q) ∧ (q → p) Supaya p ↔ q bernilai benar, maka baik p → q maupun q → p keduanya harus bernilai benar karena dihubungkan dengan kata penghubung ‘dan’. p ↔ q bernilai benar jika p dan q keduanya bernilai benar atau keduanya bernilai salah.
p
q
p →q
q →p
p ↔ q atau (p → q) ∧ (q → p)
T
T
T
T
T
T F F
F T F
F T T
T F T
F F T
Contoh : 1. Misalkan : p = “dia tinggi”
q = “dia tampan” Nyatakan kalimat dibawah ini dgn simbol logika ! a. Dia tinggi dan tampan. b. Dia tinggi tetapi tidak tampan. c. Dia tinggi, atau dia rendah dan tampan. d. Tidak benar bahwa dia rendah atau tidak tampan. e. Jika dia rendah, maka dia tidak tampan. f. Dia tampan jika dan hanya jika dia tinggi.
Contoh : 2. Tentukan nilai kebenaran dari setiap pernyataan berikut : a. Paris ada di Perancis dan 2 + 2 = 5. T ∧F ⇔ F b. Kopenhagen ada di Denmark, atau 1 + 5 = 9 dan 3 + 3 = 6. T ∨(F ∧T) ⇔ T ∨F ⇔ T c. Jika 2 + 4 = 6, maka 3 + 1 = 5 dan 1 + 1 = 2 d. Jika 2 + 4 = 6, maka 3 + 1 = 7 jika dan hanya jika 1 + 1 = 4.
Latihan 1. Misalkan : p = “Erik membaca Newsweek” q = “Erik membaca The New Yorker” r = “Erik membaca Time” Tuliskan setiap pernyataan berikut dalam bentuk simbolik : a. Erik membaca Newsweek atau The New Yorker, tetapi bukan Time. b. Erik membaca Newsweek dan The New Yorker, atau dia tidak membaca Newsweek dan Time. c. Tidak benar bahwa Erik membaca Newsweek tetapi bukan Time. d. Tidak benar bahwa Erik membaca Time atau The New Yorker tetapi tidak Newsweek.
Latihan 2. Tentukan nilai kebenaran dari setiap pernyataan berikut : a. Jika 9 < 4, maka – 4 < – 9. b. 1 + 1 = 2 jika dan hanya jika 2 + 2 = 6. c. Paris ada di Inggris, dan 3 + 2 = 5 dan 1 + 3 = 4.
Latihan : 3. Buatlah tabel kebenaran untuk kalimat dalam bentuk simbol-simbol logika di bawah ini! a. ¬(¬ p ∨¬ q) b. ¬(¬ p ∨q) c. (p → q) ∧ ¬(p ∨q) d. (¬ p ∧ (¬ q ∧ r)) ∨(q ∧ r) ∨(p ∧ r)