Logika Matematika

Bentuk Soal Diagram Venn pada TPA/TPS UTBK

UTBK merupakan kepanjangan dari Ujian Tulis Berbasis Komputer yaitu salah satu tahapan yang dapat menjadi bagian seleksi masuk perguruan tinggi negeri. Di mana, penyelenggara UTBK adalah Lembaga Tes Masuk Perguruan Tinggi (LTMPT) milik pemerintah. Salah satu bentuk soal yang diujikan adalah Tes Potensi Akademik (TPA) atau Tes Potensi Skolastik (TPS) adalah diagarm venn. Bentuk soal […]

Bentuk Soal Diagram Venn pada TPA/TPS UTBK Read More »

Bentuk Ekuivalen Pernyataan Majemuk

Suatu pernyataan majemuk dalam bahasan logika matematika memiliki bentuk ekuivalen pernyataan majemuk. Bentuk ekuivalen pernyataan majemuk dapat ditunjukkan melalui hasil nilai-nilai kebenaran yang sama. Contoh sederhana bentuk ekuivalen pernuataan majemuk terdapat pada Saya mampu mengerjakan soal matematika dan Saya bukan tidak mampu mengerjakan soal matematika. Kedua pernyataan tersebut terlihat berbeda. Namun, kedua pernyataan tersebut sebenarnya

Bentuk Ekuivalen Pernyataan Majemuk Read More »

Pernyataan Berkuantor Universal dan Eksistensial

Quantifier atau kuantor adalah kata yang mendahului kata benda sebagai fungsi untuk menunjukkan jumlah dari benda tersebut. Sehingga, pernyataan berkuantor merupakan pernyataan yang mengandung ukuran kuantitas atau jumlah. Kata yang digunakan sebagai penunjuk kuantitas/jumlah biasanya adalah semua, beberapa, ada, dan lain sebagainya. Dalam bahasan logika matematika, pernyataan berkuantor terdiri dari dua macam yaitu kuantor universal

Pernyataan Berkuantor Universal dan Eksistensial Read More »

Negasi Pernyataan Majemuk (Konjungsi, Disjungsi, Implikasi, dan Biimplikasi)

Negasi atau ingkaran dalam bahasan logika matematika memiliki arti lawan atau kebalikan dari pernyataan awal. Nilai kebenaran dari suatu premis dengan ingkaran premis selalu menyatakan hubungan yang berlawanan. Jika suatu premis bernilai benar maka negasi pernyataan majemuk atau premis tersebut bernilai salah. Sebaliknya, jika suatu premis bernilai salah maka negasi pernyataan majemuk atau premis tersebut

Negasi Pernyataan Majemuk (Konjungsi, Disjungsi, Implikasi, dan Biimplikasi) Read More »

3 Metode Penarikan Kesimpulan dalam Logika Matematika

Ada tiga metode penarikan kesimpulan yang sah dalam bahasan logika matematika yaitu modus ponens, modus tollens, dan silogisme. Penarikan kesimpulan dalam logika matematika sama dengan mendapatkan argumen yang tidak bertentangan dengan premis-premis. Kesimpulan yang sah didapatkan melalui metode penarikan kesimpulan dalam logika matematika. Kesimpulan merupakan hasil akhir dari sebuah pemikiran. Kesimpulan juga dapat dikatakan sebagai

3 Metode Penarikan Kesimpulan dalam Logika Matematika Read More »

Bentuk Tautologi Kontradiksi dan Kontingensi

Bentuk tautologi kontradiksi dan kontingensi dari suatu ekspresi logika matematika secara berturut-turut memiliki karakteristik nilai kebenaran yang selalu benar, selalu salah, dan bisa benar/salah. Cara mengetahui suatu ekspresi logika memiliki bentuk tautologi kontradiksi dan kontingensi dapat ditentukan menggunakan tabel kebenaran dalam logika matematika. Tabel kebenaran adalah tabel yang memuat semua kemungkinan nilai kebenaran dari proposisi

Bentuk Tautologi Kontradiksi dan Kontingensi Read More »

Konvers Invers dan Kontraposisi dari Suatu Implikasi

Suatu implikasi memiliki bentuk konvers invers dan kontraposisi yang dapat dinyatakan melalui suatu hubungan. Konvers adalah logika yang merupakan kebalikan dari imlplikasi, sementara invers adalah logika negasi dari implikasi. Sedangkan kontraposisi adalah logika yang merupakan kebalikan dan negasi dari suatu implikasi. Implikasi tidak ekuivalen dengan konvers dan invers, namun implikasi ekuivalen dengan kontraposisi dan konvers

Konvers Invers dan Kontraposisi dari Suatu Implikasi Read More »

Logika Matematika (Konjungsi, Disjungsi, Implikasi, Biimplikasi)

Logika matematika adalah bahasan ilmu matematika mengenai bagaimana penalaran atau cara berpikir. Bahasan materi logika matematika meliputi cara menentukan penalaran yang tepat dengan penalaran yang tidak tepat. Materi didalamnya berkaitan dengan pemecahan masalah pernyataan majemuk dan berkuantor. Pernyataan majemuk dalam materi logika matematika dihubungkan dalam empat kata penghubung yang berbeda. Empat kata hubung tersebut meliputi

Logika Matematika (Konjungsi, Disjungsi, Implikasi, Biimplikasi) Read More »