LK 1: Lembar Kerja Belajar Mandiri
Judul Modul
Judul Kegiatan Belajar (KB)
No Butir Refleksi
1 Daftar peta konsep (istilah
dan definisi) di modul ini
Logika Matematika
1. Kalimat, Pernyataan, dan Tabel Kebenaran
2. Tautologi dan Kontradiksi
3. Aljabar Proposisi dan Argumen
4. Aturan Bukti Bersyarat dan Bukti Tak Langsung
Respon/Jawaban
KB1. Kalimat, Pernyataan, dan Tabel Kebenaran
1. Kalimat adalah rangkaian yang disusun menurut tata
bahasa dan mengandung arti. Sedangkan Pernyataan
merupakan kalimat- kalimat yang berarti
menerangkan (kalimat deklaratif) atau dapat diartikan
sebagai kalimat yang sudah dapat ditentukan nilai
kebenarannya (benar/salah).
2. Kalimat terbuka adalah kalimat yang belum/ tidak
dapat ditentukan nilai kebenarannya.
3. Pernyataan Majemuk adalah pernyataan yang terdiri
atas beberapa pernyataan tunggal.
4. Tabel simbol – simbol logika
5. Negasi suatu pernyataan adalah pernyataan yang
bernilai salah jika pernyataan semula benar, dan
sebaliknya.

6. Konjungsi merupakan pernyataan majemuk dengan
kata penghubung “dan”, “tetapi”, “meskipun”, atau
“walaupun”. Pernyataan tersebut akan bernilai benar
apabila kedua pernyataan tunggalnya bernilai benar.
 Tabel kebenaran Konjungsi
7. Disjungsi merupakan pernyataan majemuk dengan
kata penghubung “atau”. Pernyataan tersebut akan
bernilai benar apabila salah satu diantara pernyataan
tunggalnya bernilai benar (disjungsi
inklusif).Pernyataan tersebut akan bernilai benar
apabila hanya salah satu diantara pernyataan
tunggalnya bernilai benar, dan tidak akan bernilai
benar jika kedua pernyataan tunggalnya bernilai benar
(disjungsi eksklusif).
  Tabel Kebenaran Disjungsi

 Tabel Kebenaran Disjungsi Ekslusif

8. Implikasi merupakan pernyataan yang dibuat dari

dua pernyataan tunggal p dan q yang dinyatakan
dalam bentuk kalimat “jika p maka q”. pernyataan
tersebut bernilai salah apabila pernyataan tunggal
yang pertama bernilai benar dan pernyataan tunggal
yang kedua bernilai salah.
 Tabel Kebenaran Implikasi

9. Biimplikasi merupakan pernyataan yang dibuat dari

dua pernyataan tunggal p dan q yang dinyatakan
dalam bentuk kalimat “ p jika dan hanya jika q”.
pernyataan tersebut bernilai benar jika kedua
pernyataan tunggalnya mempunyai nilai kebenaran
yang sama.
 Tabel kebenaran Biimplikasi

KB 2. Tautologi dan Kontradiksi

1. Kuantor
a. Kuantor Universal ( ∀ ) yaitu pernyataan
matematika yang dilengkapi dengan kata – kata
“semua”, “setiap”, “untuk semua” atau “untuk
setiap”.
b. Kuantor Eksistensial (∃) yaitu pernyataan
matematika yang dilengkapi dengan kata – kata
“terdapat”, “ada”, “sekurang – kurangnya satu”,
atau “beberapa”.

c. Negasi Pernyataan Kuantor (≡)

2 Daftar materi yang sulit 1. Silogisme hipotesis
dipahami di modul ini 2. Aturan Bukti Bersyarat
3. Aturan Bukti Tak Langsung

3 Daftar materi yang sering 1. Dilema

mengalami miskonsepsi 2. Dilema konstruktif
3. Dilema destruktif