1. Menjelaskan pengertian hukum-hukum logika dan konsep ekuivalensi logika.

2. Menyebutkan dan memahami berbagai hukum dasar dalam logika proposisional.

3. Menerapkan hukum-hukum logika dalam menyederhanakan pernyataan majemuk.

4. Menentukan ekuivalensi dua pernyataan logika melalui tabel kebenaran dan hukum logika.

5. Menunjukkan penerapan hukum logika dalam bidang komputer, matematika, dan pemrograman.

Materi Pokok: Hukum-Hukum Logika dan Ekuivalensi Logika

Materi ini membahas dasar-dasar berpikir rasional melalui hukum-hukum logika dan konsep ekuivalensi dalam pernyataan majemuk. Pada bagian awal, mahasiswa akan mempelajari pengertian hukum logika, yaitu seperangkat aturan yang selalu benar dalam sistem logika proposisional. Hukum-hukum ini digunakan untuk menyederhanakan, memverifikasi, atau mengubah bentuk suatu pernyataan tanpa mengubah nilai kebenarannya. Pemahaman terhadap hukum logika penting karena menjadi fondasi dalam menganalisis argumen matematis maupun dalam penerapan logika di bidang komputer dan sains.

Selanjutnya, mahasiswa akan mempelajari hukum-hukum dasar logika, yang meliputi hukum identitas, hukum negasi ganda, hukum kontraposisi, hukum idempoten, hukum komutatif, hukum asosiatif, hukum distributif, serta hukum De Morgan. Setiap hukum memiliki fungsi tertentu dalam proses penalaran logis. Misalnya, hukum identitas menyatakan bahwa nilai suatu proposisi tidak berubah bila dikonjungsikan dengan nilai netralnya; hukum De Morgan menjelaskan hubungan antara operasi negasi, konjungsi, dan disjungsi; sementara hukum kontraposisi menunjukkan bahwa suatu implikasi ekuivalen dengan negasi dari konsekuennya yang diimplikasikan pada negasi antecedennya. Pemahaman hukum-hukum ini membuat mahasiswa mampu menelusuri hubungan logis antarproposisi secara sistematis.

Pada bagian berikutnya, mahasiswa akan mempelajari ekuivalensi logika, yaitu kondisi di mana dua pernyataan logika memiliki nilai kebenaran yang sama untuk setiap kemungkinan nilai variabelnya. Konsep ini penting dalam pembuktian matematika, karena dengan menggunakan ekuivalensi logika, suatu pernyataan kompleks dapat diubah menjadi bentuk yang lebih sederhana tanpa kehilangan maknanya. Contohnya, pernyataan implikasi p → q dapat ditulis dalam bentuk ekuivalen ¬p ∨ q. Mahasiswa juga akan belajar menggunakan tabel kebenaran untuk membuktikan dua pernyataan yang ekuivalen secara sistematis.

Bagian terakhir dari materi ini adalah penerapan ekuivalensi logika. Mahasiswa akan mempraktikkan bagaimana menyederhanakan bentuk proposisi, melakukan pembuktian logika matematika, serta menerapkan prinsip logika dalam algoritma komputer dan sistem pengambilan keputusan. Dengan pemahaman ini, mahasiswa tidak hanya menguasai teori logika, tetapi juga mampu menggunakan logika secara praktis dalam analisis data, pembuatan program, maupun perancangan sistem yang efisien dan benar secara rasional.

Individu: Tuliskan esai reflektif (1 halaman) dengan tema:

“Hukum-hukum Logika dan Ekuivalensi Logika dalam Kehidupan dan Pembelajaran”

Petunjuk:

1. Jelaskan pemahaman Anda tentang hukum-hukum logika (seperti hukum identitas, negasi ganda, kontradiksi, kontraposisi, De Morgan, dan sebagainya) serta konsep ekuivalensi logika.

2. Berikan contoh nyata bagaimana hukum-hukum logika dan ekuivalensi logika tersebut diterapkan dalam kehidupan sehari-hari, dalam bidang akademik, maupun dalam pemecahan masalah logika dan pemrograman komputer.

3. Gunakan bahasa yang jelas, logis, dan reflektif, menunjukkan pemahaman pribadi Anda terhadap konsep logika formal.

1 Halaman dalam bentuk Pdf & Upload pada tombol UPLOAD TUGAS

Deadline: Pertemuan Ke-5.