Logika

Logika, Proposisi
Sub-bab 1.1 1.2

p p

Mempelajari penjabaran (reasoning) secara benar Fokus pada relasi antar pernyataan (statement) / kalimat (sentence). Contoh: 1) Toni adalah mahasiswa UM. 2) Semua mahasiswa UM pandai. 3) Toni orang pandai. Perhatikan bahwa logika tidak harus memperhatikan isi kalimat; jika diketahui bahwa dua kalimat pertama di atas benar, maka kalimat ketiga harus benar.

Proposisi
p

Konektif
p

Proposisi merupakan sebuah pernyataan atau kalimat yang punya nilai kebenaran (benar = 1 & salah = 0). Proposisi disimbolkan dengan huruf p, q, dsb. Biasanya berbentuk kalimat deklaratif Contoh proposisi:
n n

p p

Jika p dan q adalah proposisi, dapat dibentuk proposisi baru (proposisi majemuk / compound proposition) dengan menggunakan konektif Macam-macam konektif:
n n n n n n

Bilangan bulat yang membagi habis 23 adalah 1 dan 23. Untuk setiap bilangan bulat n, ada bilangan prima yang lebih besar daripada n

Contoh bukan proposisi:

n n

Berapa harga tiket ke Manila? Silakan duduk.

AND (konjungsi) Inclusive OR (disjungsi) EXclusive OR(XOR) NOT (negasi) Implikasi Implikasi ganda

Simbol Simbol v Simbol Simbol Simbol Simbol

Tingkat Presedensi
NEGASI KONJUNGSI DISJUNGSI IMPLIKASI IMPLIKASI GANDA (NOT) (AND) (OR, XOR)

Tabel Kebenaran
Negasi
p 0 1 p 1 0

Catatan: mengatasi tingkat presedensi dengan cara memberikan kurung di pada proposisi yang ingin didahulukan

Contoh:

p = Jono seorang mahasiswa p = Jono bukan seorang mahasiswa

Tabel Kebenaran
(truth table)
p

Contoh
p p

konjungsi
p 0 0 1 1 q 0 1 0 1 pq 0 0 0 1

p = Harimau adalah binatang buas q = Malang adalah ibukota Jawa Timur p q = Harimau adalah binatang buas dan Malang adalah ibukota Jawa Timur p q salah. Perhatikan bahwa tidak perlu ada keterkaitan antara p dan q

Tabel Kebenaran
disjungsi (inclusive or)
p 0 0 1 1 q 0 1 0 1 pvq 0 1 1 1
contoh:

Tabel Kebenaran
exclusive or
p 0 0 1 1 q 0 1 0 1 pq 0 1 1 0

Contoh: p = Jono seorang mahasiswa q = Mira seorang sarjana hukum p v q = Jono seorang mahasiswa atau Mira seorang sarjana hukum

p = Jono seorang dokter (Jono is a doctor) q = Mira seorang sarjana hukum (Mira is a lawyer) p q = Jono seorang dokter atau Mira seorang sarjana hukum "Either Jono is a doctor or Mira is a lawyer"

Kalimat majemuk
compound statements
p p

Tabel Kebenaran (p r)q

p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p r)q (0 1) 0 = 0 (0 0) 0 = 0 (0 1) 1 = 1 (0 0 1 = 1 (1 1) 0 = 1 (1 0) 0 = 0 (1 1) 1 = 1 (1 0) 1 = 1

p, q, r merupakan kalimat / pernyataan sederhana (simple statements) Beberapa contoh bentukan compound statements, seperti:
n n n n n

(p q) r p (q r) (p) ( q) (p q) ( r) dll

Implikasi
p

Tabel Kebenaran
implikasi
p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1

p p

Disebut juga proposisi kondisional (conditional proposition) dan berbentuk jika p maka q Notasi simboliknya : p q Contoh:
n n n

p = Jono seorang mahasiswa q = Mira seorang sarjana hukum p q = Jika Jono seorang mahasiswa maka Mira seorang sarjana hukum

Hipotesa dan konklusi

p

Cara menyebut p q
jika p maka q jika p, q q jika p p hanya jika q p mengimplikasikan q if p then q if p, q q if p p only if q p implies q lihat halaman 6

Dalam implikasi p q p disebut anteseden, hipotesa, premis (antecedent, hypothesis, premise) q disebut konsekuensi atau konklusi (consequence, conclusion)

Perlu dan Cukup

p p p

Ekivalensi Logikal
q Dua proposisi yang tabel kebenarannya identik
q

Kondisi perlu dinyatakan oleh konklusi. Kondisi cukup dinyatakan oleh hipotesa. Perlu = necessary; Cukup = sufficient
n

disebut ekivalen (logically equivalent). Contoh: p q ekivalen (logically equivalent to) p q p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 pq 1 1 0 1

Contoh:

Jika Jono seorang mahasiswa maka Mira seorang sarjana hukum n Kondisi perlu: Mira seorang sarjana hukum n Kondisi cukup: Jono seorang mahasiswa

Konversi dan Inversi

p p p p

Kontrapositif
p p

Konversi dari p q adalah q p Inversi dari p q adalah p q p q tidak ekivalen q p p q tidak ekivalen p q
p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 qp 1 0 1 1 p q 1 0 1 1

kontrapositif dari proposisi p q adalah q p. p q dan q p ekivalen

p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 qp 1 1 0 1

Ekivalensi Logika
p

Implikasi Ganda
p p

Ekivalensi Logika lain dapat dilihat di buku teks Sub-bab 1.2. halaman 24 Tabel 5 Tabel 6 Tabel 7

Implikasi Ganda (double implication) dibaca p jika dan hanya jika q Notasi simboliknya p q p q ekivalen dengan (p q)^(q p) p 0 0 1 1 q 0 1 0 1 pq 1 0 0 1 (p q) (q p) 1 0 0 1

Tautology
Proposisi yang selalu bernilai benar (true) dalam keadaan apapun Contoh: p p v q
p 0 0 1 1 q 0 1 0 1 ppvq 1 1 1 1

Kontradiksi
Proposisi yang selalu bernilai salah (false) dalam keadaan apapun Contoh : p ( p )
p 0 1 p ( p) 0 0

Hukum De Morgan
n n

Tugas
p

(p q) ekivalen dengan ( p) ( q) (p q) ekivalen dengan ( p) ( q)

Let p, q, and r be the propositions

n n n

p : You get an A on the final exam. q : You do every exercise in this book. r : You get an A in this class.

Bukti (yang pertama, buktikan yang kedua sendiri):

p 0 0 1 1 q 0 1 0 1 p 1 1 0 0 q 1 0 1 0 p q 0 1 1 1 (p q) 1 0 0 0 ( p) ( q) 1 0 0 0

Write these propositions using p, q, and r and logical connectives.

n n n n n n

a) You get an A in this class, but you do not do every exercise in this book. b) You get an A on the final, you do every exercise in this book, and you get an A in this class. c) To get an A in this class, it is necessary for you to get an A on the final. d) You get an A on the final, but you don't do every exercise in this book; nevertheless, you get an A in this class. e) Getting an A on the final and doing every exercise in this book is sufficient for getting an A in this class. f) You will get an A in this class if and only if you either do every exercise in this book or you get an A on the final.

Deadline
p

Construct a truth table for each of these compound propositions.

n n

a) (p v q) -> q b) (p -> q) -> (q -> p)

p p

Tugas dikumpulkan paling lambat hari jumat via email di arifin.mzainal@gmail.com. Berkelompok, Masing-masing 2 orang/kelompok. Subject Email : Nama MatKul Format .doc atau .docx, dengan nama file, misalnya:
n

Nama1.Nama2.PTI09-A.doc