Dokumen ini membahas logika sebagai metode berpikir dan menyelesaikan permasalahan hidup. Ia menjelaskan konsep proposisi dalam logika proposisional, perbandingan antara pernyataan yang benar atau salah, serta berbagai jenis penarikan kesimpulan logis. Terdapat juga contoh konkret serta diskusi tentang semantik dan bentuk pernyataan.

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