LK 1: Lembar Kerja Belajar Mandiri

Judul Modul Pendalaman Materi Matematika

Modul 6 Logika Matematika
Judul Kegiatan Belajar (KB) 1. KB 1. Kalimat, Pernyataan, dan
Tabel Kebenaran.
2. KB 2. Tautologi dan Kontradiksi.
3. KB 3. Aljabar Proposisi dan
Argumen
4. KB 4. Aturan Bukti Bersyarat dan
Bukti Tak Langsung.
No Butir Refleksi Respon/Jawaban
1 Daftar peta konsep (istilah dan definisi) di KB.1
modul ini 1. Kalimat adalah rangkaian kata
yang disusun menurut tata bahasa
KB1. Kalimat pernyataan dan tabel dan mengandung arti
Kebenaran 2. Pernyataan adalah kalimat yang
sudah dapat ditentukan nilai
Kalimat kebenarannya (benar atau salah).
deklaratif
( pernyataan 3. Nilai kebenaran adalah benar atau
) salahnya sebuah pernyataan
Kalimat
4. Pernyataan
sederhana/pernyataan primer
Bukan adalah Pernyataan yang hanya
kalimat
deklaratif menyatakan pikiran tunggal dan
Kalimat tidak mengandung kata hubung
dan
pernya kalimat
taan 5. Pernyataan majemuk/pernyataan
Pernyataan
sederhana
komposit adalah pernyataan yang
terdiri atas dua atau lebih
Pernyat pernyataan sederhana dengan
Kalimat, aan
bermacam-macam kata hubung
pernyataa Pernyataan
n dan Kalimat
majemuk
kalimat
tabel terbuka
6. Kalimat terbuka adalah kalimat
kebenaran
yang belum/tidak dapat
Negasi ditentukan nilai kebenarannya
7. Pernyataan majemuk adalah
Konjungsi
pernyataan yang terdiri atas
beberapa pernyataan tunggal.
Pernyat 8. Negasi suatu pernyataan adalah
aan
majemu Disjungsi pernyataan yang bernilai salah jika
k pernyataan semula benar, dan
sebaliknya.
Implikasi 9. Konjungsi merupakan pernyataan
majemuk dengan kata
penghubung “dan”, “tetapi”,
Biimplikasi “meskipun”, atau “walaupun”

KB.2 Tautologi dan Kontradiksi
KB.3 Aljabar proposisi dan Argumentasi
10. Disjungsi merupakan pernyataan
majemuk dengan kata
penghubung “atau”.
11. Implikasi merupakan pernyataan
yang dibuat dari 2 pernyataan
tunggal 𝑝 dan 𝑞 yang dinyatakan
dalam bentuk kalimat “jika 𝑝 maka
𝑞”.
12. Biimplikasi merupakan
pernyataan yang dibuat dari 2
pernyataan tunggal 𝑝 dan 𝑞 yang
dinyatakan dalam bentuk kalimat
“𝑝 jika dan hanya jika 𝑞”.
KB.2 Tautologi dan Kontradiksi
1. kuantor adalah kata yang
mendahului kata benda sebagai
fungsi untuk menunjukkan jumlah
dari benda tersebut
2. Kuantor Universal adalah
pernyataan matematika yang
dilengkapi dengan kata-kata
“semua”, “setiap”, “untuk semua”
atau “untuk setiap”.
3. Kuantor Eksistensial adalah
pernyataan matematika yang
dilengkapi dengan kata-kata
“terdapat”, “ada”, “sekurang-
kurangnya satu”, atau “beberapa”
4. Tautologi adalah pernyataan
majemuk yang selalu bernilai
benar untuk setiap substitusi
pernyataan tunggalnya
5. Kontradiksi adalah pernyataan
yang selalu bernilai salah untuk
setiap substitusi nilai kebenaran
pernyataan tunggalnya.
6. Teorema DeMorgan
Misalkan 𝑝(𝑥) adalah sebuah
fungsi proposisional pada 𝐴,
maka :
~(∀𝑥 ∈ 𝐴)𝑝(𝑥) ≡ (∃𝑥 ∈ 𝐴)~𝑝(𝑥);
~(∃𝑥 ∈ 𝐴)𝑝(𝑥) ≡ (∀𝑥 ∈ 𝐴)~𝑝(𝑥).
KB.3 Aljabar proposisi dan
Argumentasi
1. Aljabar proposisi merupakan
penerapan hukum-hukum aljabar
dalam logika proposisi
2. Hukum Idempoten
•𝑝∨𝑝≡𝑝
•𝑝∧𝑝≡p
3. Hukum Asosiatif
• (𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
• (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
4. Hukum Komutatif
•𝑝∨𝑞≡𝑞∨𝑝
•𝑝∧𝑞≡𝑞∧𝑝
5. Hukum Distributif
• 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
• 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
6. Hukum Identitas
•𝑝∨𝐹≡𝑝
•𝑝∧𝑇≡p
7. Hukum null/ Dominasi
•𝑝∧𝐹≡𝐹
•𝑝∨𝑇≡𝑇
8. Hukum Komplemen (Negasi)
•𝑝∨∼𝑝≡𝑇
•𝑝∧∼𝑝≡𝐹
•∼𝑇≡𝐹
•∼𝐹≡𝑇
9. Hukum Involusi (Negasi Ganda)
∼ (∼ 𝑝) ≡ 𝑝
10. Hukum Penyerapan (Absorpsi)
• 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
• 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
11. Hukum Transposisi
𝑝 ⇒ 𝑞 ≡ ∼ 𝑞 ⇒∼ p
12. Hukum Implikasi
𝑝⇒𝑞≡∼𝑝∨𝑞
13. Hukum Ekivalensi
• 𝑝 ⟺ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝)
• 𝑝 ⟺ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑞 ∧ ∼ 𝑝)
14. Hukum Eksportasi
 (𝑝 ∧ 𝑞) ⇒ 𝑟 ≡ 𝑝 ⇒ (𝑞 ⇒ 𝑟)
15. Argumen adalah kumpulan
kalimat yang terdiri atas satu atau
lebih premis yang mengandung
bukti- 58 bukti (evidence) dan
suatu (satu) konklusi
16. Inferensi adalah proses atau cara
untuk menarik atau menurunkan
kesimpulan dalam suatu argumen
dari beberapa proposisi (premis)
17. Premis adalah pernyataan-
pernyataan yang digunakan untuk
menarik kesimpulan
18. Modus Ponen (Penalaran
Langsung)
19. Modus Tolen (Penalaran Tak
Langsung)
20. Silogisme Hipotesis
21. Silogisme Disjungtif
22. Simplifikasi (Penyederhanaan
Konjungtif)
23. Dilema (Pembagian Kasus)
24. Dilema Konstruktif
25. Dilema Destruktif

KB.4 Aturan Bukti Bersyarat dan

Bukti Tak Langsung.
1. Aturan Bukti Bersyarat
2. Bukti Tak Langsung (Reductio Ad
Absordum).

2 Daftar materi yang sulit dipahami di modul 1. Kontradiksi

ini 2. Hukum aljabar proposisi
3. Metode inferensi
4. Penerapan argumen dalam
menyimpulkan permasalah sehari-
hari
5. Aturan bukti bersyarat
6. Aturan bukti tak langsung

3 Daftar materi yang sering mengalami 1. Negasi pernyataan berkuantor

miskonsepsi 2. Argumen Inferensi
3. Aturan Bukti Bersyarat