![Page 1: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/1.jpg)
LOGIKALOGIKA
Nama Mata Kuliah : Matematika DiskritKode Mata Kuliah/SKS : MAT-3615/ 3 sksProgram Studi : Pendidikan MatematikaSemester : VI (Enam)Dosen Pengampu : Nego Linuhung, M.Pd
/Nurain Suryadinata, M.Pd
![Page 2: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/2.jpg)
LOGIKALOGIKA
Referensi : Munir, R. 2012. Matematika Diskrit. Bandung. Informatika
![Page 3: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/3.jpg)
LOGIKALOGIKA
Logika merupakan dasar dari semua penalaran
(reasoning).
Penalaran didasarkan pada hubungan antara pernyataan
(statements).
Di dalam logika, tidak semua jenis kalimat menjadi
obyek tinjauan.
Proposisi
Pernyataan atau kalimat deklaratif yang bernilai benar
(true) atau salah (false), tetapi tidak keduanya.
![Page 4: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/4.jpg)
LOGIKALOGIKA
Contoh
1. Gajah lebih besar daripada semut
2. Gunung bromo terletak di Jawa Tengah
3. Pergi saja kamu dari sini
4. Jakarta adalah ibukota Singapura
5. x adalah bilangan prima kurang dari 15
6. 100<75
7. x > 4
8. Sekarang tahun 2006
9. Dilarang membuang sampah sembarangan
Apakah contoh tersebut merupakan pernyataan/proposisi?
Apakah nilai kebenaran dari proposisi tersebut?
![Page 5: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/5.jpg)
LOGIKALOGIKA
“x adalah bilangan prima kurang dari 15 ”
Nilai kebenaran dari pernyataan tersebut bergantung
pada x, tapi nilainya belum ditentukan.
Pernyataan jenis ini kita sebut sebagai fungsi proposisi
atau kalimat terbuka.
Hanya pernyataanlah yang bisa menjadi proposisi.
![Page 6: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/6.jpg)
LOGIKALOGIKA
Contoh 1.Semua pernyataan di bawah ini adalah proposisi:
(a) 11 adalah bilangan ganjil(b) Soekarno adalah presiden pertama Indonesia.(c) 1 + 1 = 2(d) 8 akar kuadrat dari 8 + 8(e) Ada monyet di bulan(f) Hari ini adalah hari Rabu(g) Untuk sembarang bilangan bulat n 0, maka 2n adalah bilangan
genap(h) x + y = y + x untuk setiap x dan y bilangan riil
![Page 7: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/7.jpg)
LOGIKALOGIKA
Mengkombinasikan Proposisi
• Misalkan p dan q adalah proposisi.
1. Konjungsi (conjunction): p dan q
Notasi p q,
2. Disjungsi (disjunction): p atau q
Notasi: p q
3. Ingkaran (negation) dari p: tidak p
Notasi: p
p dan q disebut proposisi atomik
• Kombinasi p dengan q menghasilkan proposisi majemuk(compound proposition
![Page 8: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/8.jpg)
LOGIKALOGIKA
Contoh 3 Diketahui proposisi-proposisi berikut:
p : Hari ini hujan
q : Murid-murid diliburkan dari sekolah
p q : Hari ini hujan dan murid-murid diliburkan
dari sekolah
p q : Hari ini hujan atau murid-murid diliburkan dari
sekolah
p : Tidak benar hari ini hujan
(atau: Hari ini tidak hujan)
![Page 9: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/9.jpg)
LOGIKALOGIKAContoh 4. 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
Penyelesaian:
a) p q
b) p q
c) p q
![Page 10: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/10.jpg)
LOGIKALOGIKA
Tabel Kebenaran
p q p q p q p q p q
T T T T T T T F
T F F T F T F T
F T F F T T
F F F F F F
Contoh 5. Misalkan
p : 17 adalah bilangan prima (benar)
q : bilangan prima selalu ganjil (salah)
p q : 17 adalah bilangan prima dan bilangan prima
selalu ganjil (salah)
![Page 11: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/11.jpg)
LOGIKALOGIKA
Contoh 6. Bentuklah tabel kebenaran dari proposisi
majemuk (p q) (~q r).
p q r p q ~q ~q r (p q) (~q r)
![Page 12: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/12.jpg)
LOGIKALOGIKA
p q r p q ~q ~q r (p q) (~q r)
T T T T F F T
T T F T F F T
T F T F T T T
T F F F T F F
F T T F F F F
F T F F F F F
F F T F T T T
F F F F T F F
![Page 13: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/13.jpg)
LOGIKALOGIKA
Proposisi majemuk disebut tautologi jika ia benar untuk semua
kasus
Contoh 7. p ~(p q) adalah sebuah tautologi
p q p q ~(p q) p ~(p q)
T T T F T
T F F T T
F T F T T
F F F T T
![Page 14: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/14.jpg)
LOGIKALOGIKA
Contoh 8. (p q) ~(p q) adalah sebuah kontradiksi
p q p q p q ~(p q) (p q) ~(p q)
T T T F F F
T F F T F F
F T F T F F
F F F F T F
Proposisi majemuk disebut kontradiksi jika ia salah untuk
semua kasus.
![Page 15: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/15.jpg)
LOGIKALOGIKA
Dua buah proposisi majemuk, P(p, q, ..) dan Q(p, q, ..)
disebut ekivalen secara logika jika keduanya mempunyai
tabel kebenaran yang identik.
Notasi: P(p, q, …) Q(p, q, …)
Contoh 9. Hukum De Morgan: ~(p q) ~p ~q.
p q p q ~ (p q) ~ p ~q ~ p ~ q
T T T F F F F
T F F T F T T
F T F T T F T
F F F T T T T
![Page 16: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/16.jpg)
LOGIKALOGIKA
Hukum-hukum Logika
Disebut juga hukum-hukum aljabar proposisi.
1. Hukum identitas:
p F p
p T p
2. Hukum null/dominasi:
p F F
p T T
3. Hukum negasi:
p ~p T
p ~p F
4. Hukum idempoten:
p p p
p p p
5. Hukum involusi (negasi
ganda):
~(~p) p
6. Hukum penyerapan
(absorpsi):
p (p q) p
p (p q) p
![Page 17: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/17.jpg)
LOGIKALOGIKA
7. Hukum komutatif:
p q q p
p q q p
8. Hukum asosiatif:
p (q r) (p q) r
p (q r) (p q) r
9. Hukum distributif:
p (q r) (p q) (p r)
p (q r) (p q) (p r)
10. Hukum De Morgan:
~(p q) ~p ~q
~(p q) ~p ~q
![Page 18: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/18.jpg)
LOGIKALOGIKA
1. Tunjukkan bahwa p ~(p q) dan p ~q
keduanya ekivalen secara logika.
2. Buktikan hukum penyerapan: p (p q) p
![Page 19: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/19.jpg)
Penyelesaian:
1. p ~(p q ) p (~p ~q) (Hukum De Morgan)
(p ~p) (p ~q) (Hukum distributif)
T (p ~q) (Hukum negasi)
p ~q (Hukum identitas)
2. p (p q) (p F) (p q) (Hukum Identitas)
p (F q) (Hukum distributif)
p F (Hukum Null)
p (Hukum Identitas)
LOGIKALOGIKA
![Page 20: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/20.jpg)
LOGIKALOGIKA
Kata “atau” (or) dalam operasi logika digunakan dalam salah satudari dua cara:
1. Inclusive or“atau” berarti “p atau q atau keduanya”
Contoh: “Tenaga IT yang dibutuhkan harus menguasaiBahasa C++ atau Java”.
2. Exclusive or“atau” berarti “p atau q tetapi bukan keduanya”.Contoh: “Ia dihukum 5 tahun atau denda 10 juta”.
Disjungsi Eksklusif
![Page 21: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/21.jpg)
LOGIKALOGIKA
Operator logika disjungsi eksklusif: xor
Notasi:
Tabel kebenaran:
p q p q
T T F
T F T
F T T
F F F
![Page 22: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/22.jpg)
LOGIKALOGIKA
22
Proposisi Bersyarat(kondisional atau implikasi)
• Bentuk proposisi: “jika p, maka q”
• Notasi: p q
• Proposisi p disebut hipotesis, antesenden, premis,atau kondisi
• Proposisi q disebut konklusi (atau konsekuen).
![Page 23: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/23.jpg)
LOGIKALOGIKA
Contoh:
1. Jika saya lulus ujian, maka saya mendapat hadiah dari ayah
2. Jika anda tidak mendaftar ulang, maka anda dianggap
mengundurkan diri
Cara-cara mengekspresikan implikasi p q:Jika p, maka q
Jika p, qp mengakibatkan q (p implies q)
q jika pp hanya jika q
![Page 24: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/24.jpg)
LOGIKALOGIKAContoh. Tunjukkan bahwa p q ekivalen secara logika
dengan ~ p q.
Penyelesaian:
p q ~ p p q ~ p q
T T F T T
T F F F F
F T T T T
F F T T T
“Jika p, maka q” “Tidak p atau q”.
![Page 25: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/25.jpg)
Implikasi
Untuk memahami implikasi, pelajarilah uraian berikut. Misalkan:
Anto berjanji pada Putri, “Jika malam nanti tidak hujan, maka saya akan datang
kerumahmu”.
LOGIKA
![Page 26: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/26.jpg)
1. Jika pada malam yang dijanjikan tidak hujan dan Anto datang kerumah Putri, Putri senang karena Anto memenuhi janjinya.
Tapi, 2. jika malam hujan dan Anto tetap kerumah Putri, Putri tentu merasa
senang sekali. 3. Jika malam hujan dan Anto tidak datang kerumah Putri, tentunya
Putri akan memakluminya. 4. Lalu bagaimana jika malam ini tidak hujan dan Anto tidak kerumah
Putri? Itu akan lain lagi ceritanya.Tentu saja Putri akan kecewa dan menganggap Anto sebagai
pembohong karena tidak menepati janjinya.
LOGIKA
![Page 27: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/27.jpg)
Misalkan,
p : malam tidak hujan.q : Anto datang kerumah Putri.
Pernyataan “jika malam nanti tidak hujan, maka Anto akan datang kerumah Putri”. Dapat dinyatakan sebagai “jika p maka q” atau
dilambangkan dengan “p q”. Suatu pernyataan majemuk dengan bentuk “jika p, maka q” disebut implikasi.
LOGIKA
![Page 28: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/28.jpg)
Ada perbedaan antara implikasi dalam keseharian dan implikasi
dalam logika matematika.
1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki
hubungan dengan pernyataan konklusi/konsekuen q. Misalnya,
pada contoh implikasi sebelumnya, “Jika malam nanti tidak hujan
maka saya akan datang kerumahmu”. Artinya ada hubungan
sebab-akibat.
2. Dalam logika matematika, pernyataan hipotesis/anteseden p
tidak harus memiliki hubungan dengan konklusi/konsekuen q
Tentukanlah nilai kebenaran dari implikasi berikut:a. Jika 5 + 8 = 12, maka Batu adalah benda padat.
Pen Das. MatPen Das. Mat
![Page 29: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/29.jpg)
LOGIKALOGIKA
Contoh. Dua pedagang barang kelontong mengeluarkan moto
jitu untuk menarik pembeli. Pedagang pertama mengumbar
moto “Barang bagus tidak murah” sedangkan pedagang kedua
mempunyai moto “Barang murah tidak bagus”. Apakah kedua
moto pedagang tersebut menyatakan hal yang sama?
![Page 30: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/30.jpg)
LOGIKALOGIKA
Penyelesaian:
p : Barang itu bagus
q : Barang itu murah.
Moto pedagang pertama:
“Jika barang itu bagus maka barang itu tidak murah” atau p ~ q
Moto pedagang kedua:
“Jika barang itu murah maka barang itu tidak bagus” atau q ~ p.
p q ~ p ~ q p ~ q q ~ p
T T F F F F
T F F T T T
F T T F T T
F F T T T T
p ~ q q ~ p.
Kedua moto tersebut menyatakan hal yang sama.
![Page 31: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/31.jpg)
LOGIKALOGIKA
Varian Proposisi Bersyarat
Konvers (kebalikan): q p
Invers : ~ p ~ q
Kontraposisi : ~ q ~ p
Implikasi Konvers Invers Kontraposisi
p q ~ p ~ q p q q p ~ p ~ q ~ q ~ p
T T F F T T T T
T F F T F T T F
F T T F T F F T
F F T T T T T T
![Page 32: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/32.jpg)
LOGIKALOGIKA
Contoh Tentukan konvers, invers, dan kontraposisi dari implikasi berikut:
“Jika Amir mempunyai mobil, maka ia orang kaya”
Penyelesaian:
Konvers : Jika Amir orang kaya, maka ia mempunyai mobil
Invers : Jika Amir tidak mempunyai mobil, maka ia
bukan orang kaya
Kontraposisi : Jika Amir bukan orang kaya, maka ia tidak
mempunyai mobil
Manakah dari konvers, invers, dan kontraposisi yang ekuivalen
dengan implikasi?
![Page 33: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/33.jpg)
LOGIKALOGIKA
Bentuk proposisi: “p jika dan hanya jika q”
Notasi: p q
p q p q
T T T
T F F
F T F
F F T
p q (p q) (q p).
contoh: Jika anda orang kaya maka anda mempunyai
banyak uang, dan sebaliknya.
Bikondisional (Bi-implikasi)
![Page 34: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/34.jpg)
LOGIKALOGIKA
1. SILOGISME
qp . . . . . premis 1
rq . . . . . premis 2
rp . . . kesimpulan / konklusi
Dalam bentuk implikasi, silogisme dapat dituliskan sebagai
rprqqp sah atau tidaknya silogisme dapat diuji dengan tabel
kebenaran
![Page 35: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/35.jpg)
LOGIKALOGIKA
2. MODUS PONENS
Jika qp benar dan p benar maka q benar.
Skema argumen dapat ditulis sebagai berikut :
qp . . . . . . premis 1
p . . . . . . premis 2
q . . . . . kesimpulan / konklusi
Dalam bentuk implikasi, argumentasi tersebut dapat dituliskan sebagai
qpqp .
![Page 36: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/36.jpg)
LOGIKALOGIKA
3. MODUS TOLLENS
Jika qp benar dan q~ benar maka p benar
Skema argumen dapat ditulis sebagai berikut:
qp . . . . . premis 1
~q . . . . . premis 2
~p . . . . . . kesimpulan / konlusi
Dalam bentuk implikasi, modus tollens dapat dituliskan sebagai pqqp ~~ ,
![Page 37: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/37.jpg)
LOGIKALOGIKA
Argumen
Argumen adalah suatu deret proposisi yang dituliskan sebagai
p1
p2
pn
q
yang dalam hal ini, p1, p2, …, pn disebut hipotesis (atau premis),
dan q disebut konklusi.
Argumen ada yang sahih (valid) dan palsu (invalid).
![Page 38: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/38.jpg)
LOGIKALOGIKA
Perlihatkan bahwa penalaran pada argumen berikut:
“Jika air laut surut setelah gempa di laut, maka tsunami datang.
Tsunami datang. Jadi, air laut surut setelah gempa di laut”
Penyelesaian:
Argumen di atas berbentuk
p q
q
p
Tautologi maka argumen sahih
![Page 39: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/39.jpg)
LOGIKALOGIKA
1. Tunjukanlah bahwa p ~(p q) adalah sebuah tautologi
2. Buktikan hukum penyerapan: p (p q) p
3. P1 : jika saya belajar, maka saya tahu banyak hal
P2 : jika saya tahu banyak hal, maka saya menjadi siswa teladan
Konklusi:.............................................................................
4. Tentukan konvers, invers, dan kontraposisi dari setiap pernyataan implikasi berikut :
a. Jika harga BBM naik, maka harga beras naik
b. Jika Arman siswa yang pandai, maka ia lulus tes
![Page 40: LOGIKA - · PDF fileAda perbedaan antara implikasi dalam keseharian dan implikasi dalam logika matematika. 1. Dalam keseharian, pernyataan hipotesis p haruslah memiliki](https://reader036.vdocuments.mx/reader036/viewer/2022081800/5a7902937f8b9a43758c88ca/html5/thumbnails/40.jpg)
MATEMATIKA DISKRITMATEMATIKA DISKRIT
SELESAI
TERIMA KASIH
HOME