1. Sheila Nurul Huda, S.Kom, M.Cs
1
11/7/2013

2. 



Apa itu logika?
Diskusi:
Logika
dalam
menyelesaikan
permasalahan hidup; logika sebagai metode
berpikir
Methods of proof:
Semantic reasoning & syntactic reasoning
11/7/2013
2

3. 
Perhatikan dua buah pernyataan berikut:
◦ Badu menabrak pagar rumah dan menginjak-injaknya.
◦ Badu menginjak-injak pagar rumah dan menabraknya.

Manakah dari kedua pernyataan di atas yang lebih
masuk akal??
3

4. 

Logika tidak mempermasalahkan semantik (arti/meaning
pernyataan), karena logika lebih mementingkan form
(bentuk) pernyataan.
Sehingga, kedua pernyataan di atas secara logika
memiliki nilai yang sama.
11/7/2013
4

5. 


Pernyataan-pernyataan  true atau false
Proposisi atomik vs proposisi majemuk
Perangkai
11/7/2013
5

6. 


Logika Proposisional : Logika yang memproses
penarikan kesimpulan secara logis (logical
derivation) dari proposisi-proposisi.
Istilah lain : Propotitional Logic atau Propotitional
Calculus.
Proposisi : Setiap pernyataan yang hanya memiliki
satu nilai benar atau salah.
6

7. 


True atau false
Diskusi: Objektif vs subjektif
Kesimpulan: .... ?
11/7/2013
7

8. 








Angka 8 adalah angka keberuntungan
Angka 13 adalah angka sial
10 adalah angka genap
Indonesia negara yang kaya raya
Bunga mawar adalah bunga yang paling indah
Shalat 5 waktu wajib hukumnya
Kelinci adalah hewan yang lucu
Kerjakan tugasmu!
Apakah tugas logika matematikamu sudah
selesai?
11/7/2013
8

9. 
Pernyataan yang menimbulkan banyak pendapat.

Pernyataan yang berupa kalimat perintah atau
kalimat tanya.
◦ Angka 13 adalah angka sial.
◦ Angka 7 adalah angka keberuntungan.
◦ Ungu adalah warna janda.
◦ Badu, kerjakan tugas tersebut!
◦ Badu, apakah engkau sudah mengerjakan tugas?
9

10. 







Proposisi atomik, masih ingat?
Bambang menikah
Hasan menangis
Bowo dan Dewi pergi kuliah
Bowo mencintai Dewi
Bowo sangat mencintai Dewi
Bowo sungguh-sungguh mencintai dewi
dengan sepenuh hati
Saya akan sekolah walaupun tak punya uang
11/7/2013
10

11. 


Variabel Proposisional: A, B, C, dsb
Konstanta Proposisional: T, F
Perangkai: dan, atau, jika... maka..., dsb
11/7/2013
11

12. 1)
2)
3)
Jika harga gula naik, maka pabrik gula akan
senang
Jika pabrik gula senang, maka petani tebu
akan senang
Dengan demikian, ....
11/7/2013
12

13. 1)
2)
3)
Jika lampu lalu lintas menyala merah, maka
semua kendaraan berhenti
Lampu lalu lintas menyala merah
Dengan demikian, ....
11/7/2013
13

14. 1)
2)
3)
Program komputer ini memiliki bug, atau
masukannya salah
Masukannya tidak salah
Dengan demikian, ....
11/7/2013
14

15. 1)
2)
3)
Jika saya makan, maka saya kenyang
Saya tidak kenyang
Dengan demikian, ....
11/7/2013
15

16. 



Hypothetical Syllogism
Disjunctive Syllogism
Modus Ponens
Modus Tollens
Teamwork!
11/7/2013
16

17. 




Sokrates adalah seorang manusia
Plato adalah seorang manusia
Manusia(x)
Semua manusia perlu makan
Sokrates adalah manusia
Jadi, Sokrates perlu makan
11/7/2013
17

18. 11/7/2013
18