LEMBAR KEGIATAN MAHASISWA

MATA KULIAH Himpunan dan Logika

KODE MAT ….. sks 3 SEMESTER 1
DOSEN PENGAMPU Dr. Asrin Lubis, M.Pd
JUDUL LK Pertemuan ke – 10 : Aturan Inferensi / Menarik Kesimpulan
Sub CPMK Trampil menarik kesimpulan dari sekumpulan argumen yang
diberikan
DAFTAR RUJUKAN
Lubis, Asrin. (2019). Himpunan dan Logika. Medan: Universitas Negeri Medan
Soehakso, RMJT, 1971, Pengantar Matematika Modern, Yokyakarta : FMIPA UGM
Stoll, Robert R. 1998. Set Theory and Logic. New Delhi: Eurasia Publishing House (PVT)
Ltd
DESKRIPSI LEMBAR KERJA
Bacalah dengan cermat dari Buku rujukan di atas tentang Aturan Inferensi / Menarik
Kesimpulan, kemudian kerjakan contoh dan latihan di bawah ini.
Aturan Inferensi / Menarik Kesimpulan
Amati dan lengkapi isian dari langkah-langkah penyelesaian di bawah ini dengan
mengkaitkannya terhadap teori yang terdapat pada buku yang disebutkan di atas.

1. Nyatakan aturan inferensi digunakan dalam argumen:

Jika hari ini hujan, maka kami tidak akan memiliki barbekyu hari ini. Jika kami tidak
memiliki barbekyu hari ini, maka kami akan memiliki barbekyu besok. Karena itu, jika
hari ini hujan, maka kami akan memiliki Barbekyu besok.
Jawab:
Misalkan p adalah proposisi " Hari ini hujan ",
Misalkan q adalah proposisi ……………………………………..,
dan misalkan r adalah proposisi ……………………………………....
Maka Argumen ini berbentuk:
……….
q→r
∴ ………..
Oleh karena itu, argumen ini adalah silogisme hipotetis.
2. Tunjukkan bahwa premis-premis "Siang ini tidak cerah dan lebih dingin dari kemarin",
"Kami akan pergi berenang hanya jika cerah", "Jika kami tidak berenang, maka kami
akan bersampan", dan "Jika kami bersampan, maka kami akan pulang saat matahari
terbenam" mengarah pada kesimpulan "Kami akan pulang saat matahari terbenam".
Jawab:
Misalkan p adalah proposisi ……..…………….., q adalah proposisi …...……………….,
r adalah proposisi ……………………….., s adalah proposisi …………………………,
dan t adalah proposisi ………………………………………...
Maka premis itu menjadi ¬ p ∧ q, ………., ¬r → s, dan ………….
Kesimpulannya hanya t.
Perlu diberikan Argumen yang valid dengan premis ……….., r → p, …………, dan s →
t dan kesimpulannya ….
Argumen yang dibangun untuk menunjukkan bahwa premisnya mengarah pada
 kesimpulan yang diinginkan adalah sebagai berikut:
Langkah Alasan
1. ¬p ∧ q Premis
2. ….. Penyederhanaan menggunakan (1)
3. p → p Premis
4. ….. Modus tollens menggunakan (2) dan (3)
5. ¬r → s Premis
6. …. Modus ponens menggunakan (4) dan (5)
7. s → t Premis
8. …. Modus ponens menggunakan (6) dan (7)
Untuk menunjukkan bahwa setiap kali dari masing-masing keempat hipotesis tersebut
memang benar dapat digunakan tabel kebenaran. Kesimpulannya juga akan benar.
3. Tunjukkan bahwa premis "Seorang siswa di kelas ini belum membaca buku ini", dan
"Semua orang dalam kelas ini lulus ujian pertama" menyiratkan kesimpulan "Seseorang
yang lulus ujian pertama belum membaca buku".
Jawab:
Misalkan C(x) adalah …………………..
B(x) adalah ………………………..
P(x) adalah ………………………...
Premis-premisnya adalah ……………………… dan ………………………….
Kesimpulannya adalah …………………………..
Langkah-langkahyang digunakan untuk menentukan kesimpulan dari premis.
Langkah Alasan
1. ∃x (C (x) ∧ ¬B (x)) Premis
2. ………………. Instansiasi eksistensial dari (1)
3. C (a) Penyederhanaan dari (2)
4. ∀x (C (x) → P (x)) Premis
5. C (a) → P (a) Instansiasi Universal dari (4)
6. ….. Modus ponens dari (3) dan (5)
7. ¬B (a) Penyederhanaan dari (2)
8. P (a) ∧ ¬B (a) Konjungsi dari (6) dan (7)
9. …………………….. Generalisasi eksistensial dari (8)

Bahan Diskusi
Setelah mencermati materi Aturan Inferensi serta melengkapi isian di atas, kerjakan Soal
berikut sesuai petunjuk dan arahan Dosen.
Kelompok 1: Soal no. 5 Kelompok 2: Soal no. 4 Kelompok 3: Soal no. 3
Kelompok 4: Soal no. 2 Kelompok 5: Soal no. 1
1. Cari bentuk argumen untuk argumen berikut dan tentukan apakah argument itu valid.
Dapatkah diambil kesimpulan bahwa Kesimpulannya benar jika premis itu benar ?
Jika Socrates adalah manusia, maka Socrates adalah makhluk fana.
Socrates adalah manusia.
∴ Sokrates adalah fana.
2. Aturan inferensi apakah yang digunakan dalam masing-masing argumen berikut ini ?
a) Regina adalah Prodi Pendidikan matematika. Oleh karena itu, Regina adalah Prodi
Pendidikan matematika atau Prodi Matematika Nondik.
b) Hendriko adalah Prodi Pendidikan matematika dan Matematika Nondik. Oleh karena
 itu, Hendriko adalah Prodi Pendidikan Matematika.
c) Jika sedang hujan, maka kolam akan ditutup. Sedang hujan. Karena itu kolam ditutup.
d) Jika salju turun, kampus akan tutup. Kampus tidak tutup hari ini. Karena itu, salju
tidak turun hari ini.
e) Jika saya pergi berenang, maka saya akan tinggal di bawah sinar matahari terlalu
lama.
Jika saya tinggal di bawah sinar matahari terlalu lama, maka saya akan terbakar sinar
matahari. Karena itu, jika saya pergi berenang, maka saya akan terbakar sinar
matahari.
3. Gunakan aturan inferensi untuk menunjukkan bahwa hipotesis "Randy Bekerja keras",
"Jika Randy bekerja keras, maka dia adalah anak yang membosankan", dan "Jika Randy
adalah anak yang membosankan, maka dia tidak akan mendapatkan pekerjaan itu"
menyiratkan kesimpulan "Randy tidak akan mendapatkan pekerjaan itu".
4. Untuk masing-masing koleksi premis-premis ini, kesimpulan atau kesimpulan apa yang
relevan yang dapat ditarik ? Jelaskan Aturan inferensi yang digunakan untuk
mendapatkan setiap kesimpulan dari premis-premis itu.
a) "Jika saya mengambil cuti, hari itu hujan atau salju". "Saya cuti Selasa atau saya cuti
Kamis". "Hari Selasa cuaca cerah". "Hari Kamis tidak turun salju".
b) "Jika saya makan makanan pedas, maka saya mimpi yang aneh". "Saya mimpi aneh,
jika ada petir saat aku tidur". "Aku tidak mimpi aneh".
c) "Saya pintar atau beruntung". "Saya tidak beruntung". "Jika saya saya beruntung,
maka saya akan memenangkan undian".
d) "Setiap mahasiswa ilmu komputer memiliki komputer pribadi". "Panji tidak memiliki
komputer pribadi". "Vina punya komputer pribadi".
e) "Apa yang baik untuk perusahaan baik untuk Indonesia". "Apa yang baik untuk
Indonesia baik untuk Kamu". "Apa yang baik untuk perusahaan adalah untuk Kamu
membeli banyak barang".
f) "Semua hewan pengerat menggerogoti makanan mereka". "Tikus adalah hewan
pengerat". "Kelinci tidak mengunyah makanan mereka". "Kelelawar bukan hewan
pengerat".
5. Tunjukkan bahwa bentuk argumen dengan premis p1, p2,. . . , pn dan kesimpulan q → r
berlaku jika bentuk argumen dengan premis p1, p2,. . . , pn, q, dan kesimpulan r valid.