Bagi mahasiswa Universitas Terbuka, menghadapi Soal UAS UT MSIM4103 Logika Informatika bukan sekadar urusan hafalan. Ada banyak modul yang harus dicerna, dan tantangannya justru ada di sini, bagaimana mengubah tumpukan materi menjadi pemahaman yang benar-benar tertanam.
Mata kuliah MSIM4103 Logika Informatika punya porsi materi yang cukup padat. Mahasiswa dituntut memahami cara membangun penalaran logis dan memilih pendekatan yang tepat dalam memecahkan masalah berbasis informatika. Keterampilan ini bukan hanya berguna untuk lulus Soal Ujian UT.
Latihan soal adalah jalur pintas yang sering diremehkan. Dengan rajin mengerjakan Soal UAS UT dari koleksi soal sebelumnya, kamu bisa mengenali pola pertanyaan yang sering muncul, mengukur seberapa jauh pemahamanmu, dan menemukan celah materi yang masih perlu diperkuat.
Catatan: Soal-soal ini akan terus diperbarui mengikuti modul terbaru Universitas Terbuka.
Soal UT MSIM4103 Logika Informatika
1.
Dalam logika proposisional, simbol yang digunakan untuk menyatakan negasi dari suatu proposisi p adalah…
A. p ∧ q
B. ¬p
C. p ∨ q
D. p → q
Jawaban: B. ¬p. Simbol negasi dalam logika proposisional adalah ¬ (tilde atau garis miring di atas), sehingga negasi dari p ditulis sebagai ¬p yang berarti “tidak p”.
2.
Kalimat logika proposisional yang paling sederhana dan tidak dapat dipecah lagi menjadi kalimat yang lebih kecil disebut…
A. Proposisi atomik
B. Proposisi majemuk
C. Proposisi tautologi
D. Proposisi kontradiksi
Jawaban: A. Proposisi atomik. Proposisi atomik adalah unit dasar dalam logika proposisional yang tidak mengandung konektor logika dan tidak dapat dipecah menjadi proposisi yang lebih sederhana.
3.
Aturan sintaktik dalam logika proposisional digunakan untuk menentukan…
A. Nilai kebenaran suatu kalimat logika
B. Apakah suatu kalimat logika merupakan tautologi
C. Apakah suatu rangkaian simbol merupakan kalimat logika yang sah
D. Hubungan makna antara dua proposisi yang berbeda
Jawaban: C. Apakah suatu rangkaian simbol merupakan kalimat logika yang sah. Aturan sintaktik menentukan keabsahan bentuk suatu ekspresi simbolik sebagai kalimat logika yang benar secara struktur, terlepas dari nilai kebenarannya.
4.
Konektor logika yang menyatakan “jika p maka q” dalam bahasa logika proposisional disebut…
A. Konjungsi
B. Disjungsi
C. Biimplikasi
D. Implikasi
Jawaban: D. Implikasi. Implikasi (→) menyatakan hubungan “jika p maka q”, di mana p disebut anteseden dan q disebut konsekuen.
5.
Interpretasi suatu kalimat logika proposisional adalah fungsi yang memetakan setiap variabel proposisi ke…
A. Sebuah kalimat bahasa natural
B. Salah satu nilai kebenaran, yaitu benar atau salah
C. Simbol konektor logika tertentu
D. Sebuah proposisi atomik lainnya
Jawaban: B. Salah satu nilai kebenaran, yaitu benar atau salah. Interpretasi adalah penugasan nilai kebenaran (benar/salah) kepada setiap variabel proposisi, yang kemudian digunakan untuk menentukan nilai kebenaran kalimat secara keseluruhan.
6.
Diketahui p bernilai benar dan q bernilai salah. Nilai dari kalimat (p ∧ q) adalah…
A. Benar, karena p bernilai benar
B. Benar, karena konjungsi hanya membutuhkan satu operan benar
C. Salah, karena konjungsi bernilai benar hanya jika kedua operan benar
D. Salah, karena q merupakan proposisi yang lebih dominan
Jawaban: C. Salah, karena konjungsi bernilai benar hanya jika kedua operan benar. Konjungsi (∧) bernilai benar jika dan hanya jika kedua proposisi pembentuknya bernilai benar. Karena q bernilai salah, maka p ∧ q bernilai salah.
7.
Aturan semantik logika proposisional digunakan untuk…
A. Menentukan nilai kebenaran suatu kalimat berdasarkan interpretasinya
B. Menentukan apakah suatu kalimat memiliki struktur simbolik yang sah
C. Mengubah kalimat logika ke dalam bentuk bahasa natural
D. Menyederhanakan kalimat logika menjadi proposisi atomik
Jawaban: A. Menentukan nilai kebenaran suatu kalimat berdasarkan interpretasinya. Aturan semantik mendefinisikan cara menghitung nilai kebenaran kalimat majemuk berdasarkan nilai kebenaran komponen-komponennya sesuai interpretasi yang diberikan.
8.
Diketahui p bernilai benar dan q bernilai benar. Berapakah nilai kebenaran dari kalimat (p → q)?
A. Salah, karena kedua operan sama nilainya
B. Salah, karena implikasi hanya benar jika anteseden salah
C. Benar, karena anteseden harus bernilai salah agar implikasi benar
D. Benar, karena implikasi bernilai salah hanya jika anteseden benar dan konsekuen salah
Jawaban: D. Benar, karena implikasi bernilai salah hanya jika anteseden benar dan konsekuen salah. Implikasi (p → q) bernilai salah hanya pada kasus p benar dan q salah. Pada kasus p benar dan q benar, nilai implikasinya adalah benar.
9.
Tabel kebenaran untuk kalimat (p ↔ q) menunjukkan bahwa kalimat tersebut bernilai benar ketika…
A. p benar dan q salah, atau p salah dan q benar
B. p dan q keduanya benar, atau p dan q keduanya salah
C. Setidaknya salah satu dari p atau q bernilai benar
D. p bernilai benar tanpa memperhatikan nilai q
Jawaban: B. p dan q keduanya benar, atau p dan q keduanya salah. Biimplikasi (↔) bernilai benar jika dan hanya jika kedua proposisi memiliki nilai kebenaran yang sama, yaitu keduanya benar atau keduanya salah.
10.
Kalimat logika yang bernilai benar untuk semua kemungkinan interpretasi disebut…
A. Kontradiksi
B. Kontingensi
C. Tautologi
D. Satisfiable
Jawaban: C. Tautologi. Tautologi adalah kalimat logika yang nilai kebenarannya selalu benar untuk setiap kemungkinan penugasan nilai kebenaran kepada variabel-variabel proposisinya.
11.
Kalimat logika yang bernilai salah untuk semua kemungkinan interpretasi disebut…
A. Kontradiksi
B. Tautologi
C. Kontingensi
D. Konsistensi
Jawaban: A. Kontradiksi. Kontradiksi adalah kalimat logika yang nilai kebenarannya selalu salah untuk setiap kemungkinan interpretasi, merupakan kebalikan dari tautologi.
12.
Perhatikan kalimat logika berikut: p ∨ ¬p. Kalimat ini merupakan contoh dari…
A. Kontradiksi, karena p dan ¬p saling berlawanan
B. Kontingensi, karena nilainya bergantung pada nilai p
C. Konsistensi, karena kalimat ini dapat bernilai benar
D. Tautologi, karena kalimat ini selalu bernilai benar
Jawaban: D. Tautologi, karena kalimat ini selalu bernilai benar. p ∨ ¬p adalah hukum ekskluded middle: untuk nilai p apapun, salah satu dari p atau ¬p pasti benar, sehingga disjungsinya selalu bernilai benar.
13.
Pohon semantik digunakan dalam logika proposisional untuk tujuan utama…
A. Menyederhanakan kalimat logika ke bentuk yang lebih pendek
B. Memeriksa apakah suatu kalimat merupakan tautologi, kontradiksi, atau kontingensi
C. Mengubah kalimat logika ke dalam bentuk tabel kebenaran
D. Membuktikan validitas argumen melalui substitusi langsung
Jawaban: B. Memeriksa apakah suatu kalimat merupakan tautologi, kontradiksi, atau kontingensi. Pohon semantik adalah metode sistematis untuk mengeksplorasi semua kemungkinan interpretasi suatu kalimat logika guna menentukan sifatnya sebagai tautologi, kontradiksi, atau kontingensi.
14.
Pada metode pohon semantik, suatu cabang dikatakan “tertutup” jika…
A. Semua kalimat pada cabang tersebut telah diperluas
B. Cabang tersebut hanya memuat proposisi atomik
C. Cabang tersebut memuat suatu proposisi dan negasinya sekaligus
D. Seluruh konektor logika pada cabang tersebut telah dieliminasi
Jawaban: C. Cabang tersebut memuat suatu proposisi dan negasinya sekaligus. Sebuah cabang pohon semantik dinyatakan tertutup jika terdapat kontradiksi pada cabang tersebut, yaitu munculnya proposisi p dan ¬p secara bersamaan.
15.
Jika pada pohon semantik suatu kalimat semua cabang tertutup, maka kalimat tersebut bersifat…
A. Kontradiksi
B. Tautologi
C. Kontingensi
D. Konsisten
Jawaban: A. Kontradiksi. Apabila semua cabang pada pohon semantik suatu kalimat tertutup (mengandung kontradiksi), berarti tidak ada interpretasi yang membuatnya benar, sehingga kalimat tersebut adalah kontradiksi.
16.
Sifat kalimat logika yang dikatakan “satisfiable” berarti kalimat tersebut…
A. Bernilai benar untuk semua interpretasi yang mungkin
B. Bernilai salah untuk semua interpretasi yang mungkin
C. Tidak dapat ditentukan nilai kebenarannya
D. Bernilai benar untuk setidaknya satu interpretasi
Jawaban: D. Bernilai benar untuk setidaknya satu interpretasi. Sebuah kalimat bersifat satisfiable jika terdapat minimal satu interpretasi yang menjadikan kalimat tersebut bernilai benar, termasuk tautologi dan kontingensi.
17.
Metode pembuktian validitas argumen menggunakan pohon semantik dilakukan dengan cara…
A. Membangun pohon semantik untuk semua premis saja
B. Membangun pohon semantik untuk semua premis dan negasi kesimpulan
C. Membangun pohon semantik untuk kesimpulan saja
D. Membangun pohon semantik untuk negasi semua premis
Jawaban: B. Membangun pohon semantik untuk semua premis dan negasi kesimpulan. Untuk membuktikan validitas dengan pohon semantik, kita mengasumsikan premis-premis benar dan kesimpulan salah (negasi kesimpulan). Jika semua cabang tertutup, argumen terbukti valid.
18.
Proof by Falsification adalah metode pembuktian yang bekerja dengan cara…
A. Membuktikan kesimpulan secara langsung dari premis-premisnya
C. Membuktikan bahwa negasi dari semua premis menghasilkan kontradiksi
C. Menunjukkan bahwa asumsi kesimpulan salah bersama premis yang benar menghasilkan kontradiksi
D. Menguji setiap interpretasi yang mungkin menggunakan tabel kebenaran lengkap
Jawaban: C. Menunjukkan bahwa asumsi kesimpulan salah bersama premis yang benar menghasilkan kontradiksi. Proof by Falsification membuktikan validitas argumen dengan mengasumsikan kesimpulan bernilai salah; jika asumsi ini bersama premis-premis yang benar menghasilkan kontradiksi, maka argumen tersebut valid.
19.
Jika pada proses Proof by Falsification ditemukan bahwa asumsi kesimpulan bernilai salah konsisten dengan premis-premisnya (tidak menghasilkan kontradiksi), maka argumen tersebut…
A. Tidak valid, karena terdapat kontra-contoh
B. Valid, karena kesimpulan dapat bernilai salah
C. Tidak dapat ditentukan validitasnya
D. Valid, karena premis-premisnya konsisten
Jawaban: A. Tidak valid, karena terdapat kontra-contoh. Jika asumsi kesimpulan salah tidak menghasilkan kontradiksi dengan premis, itu berarti ada interpretasi di mana premis benar tetapi kesimpulan salah, yang merupakan kontra-contoh yang menunjukkan ketidakvalidan argumen.
20.
Substitusi tunggal dalam logika proposisional adalah operasi yang menggantikan…
A. Semua kemunculan suatu konektor dengan konektor lain yang ekuivalen
B. Hanya satu kemunculan variabel tertentu dengan kalimat lain
C. Semua kalimat dalam argumen dengan bentuk normalnya
D. Semua kemunculan suatu variabel proposisi dengan kalimat yang sama secara seragam
Jawaban: D. Semua kemunculan suatu variabel proposisi dengan kalimat yang sama secara seragam. Substitusi tunggal mengganti setiap kemunculan satu variabel proposisi tertentu dalam suatu kalimat dengan kalimat logika lain secara seragam di seluruh kalimat.
21.
Perbedaan utama antara substitusi tunggal dan substitusi multi adalah…
A. Substitusi tunggal menggunakan kalimat majemuk, sedangkan substitusi multi hanya menggunakan proposisi atomik
B. Substitusi tunggal mengganti satu variabel, sedangkan substitusi multi mengganti beberapa variabel sekaligus
C. Substitusi tunggal hanya berlaku pada tautologi, sedangkan substitusi multi berlaku pada semua kalimat
D. Substitusi tunggal mengubah struktur kalimat, sedangkan substitusi multi mempertahankan strukturnya
Jawaban: B. Substitusi tunggal mengganti satu variabel, sedangkan substitusi multi mengganti beberapa variabel sekaligus. Substitusi tunggal menerapkan penggantian pada satu variabel proposisi, sementara substitusi multi menerapkan penggantian pada dua atau lebih variabel proposisi dalam satu operasi.
22.
Jika A adalah tautologi dan B merupakan hasil substitusi pada A, maka B…
A. Merupakan kontradiksi
B. Merupakan kontingensi
C. Juga merupakan tautologi
D. Belum tentu memiliki nilai kebenaran tertentu
Jawaban: C. Juga merupakan tautologi. Sifat substitusi menyatakan bahwa jika suatu kalimat adalah tautologi, maka setiap hasil substitusi seragam dari tautologi tersebut juga merupakan tautologi.
23.
Dalam logika predikat, perbedaan mendasar antara logika predikat dan logika proposisional terletak pada…
A. Kemampuan logika predikat untuk menganalisis struktur internal suatu proposisi menggunakan variabel dan kuantor
B. Logika predikat hanya menggunakan konektor konjungsi dan disjungsi
C. Logika proposisional mampu menangani pernyataan tentang semua objek, sedangkan logika predikat tidak
D. Logika predikat tidak menggunakan tabel kebenaran dalam analisisnya
Jawaban: A. Kemampuan logika predikat untuk menganalisis struktur internal suatu proposisi menggunakan variabel dan kuantor. Logika predikat memperluas logika proposisional dengan memperkenalkan predikat, variabel individu, dan kuantor (universal dan eksistensial) sehingga dapat mengekspresikan pernyataan tentang objek dan hubungan di antara mereka.
24.
Simbol ∀x dalam logika predikat dibaca sebagai…
A. Terdapat x
B. Tidak ada x
C. Ada beberapa x
D. Untuk semua x
Jawaban: D. Untuk semua x. Simbol ∀ adalah kuantor universal yang dibaca “untuk semua” atau “bagi setiap”, sehingga ∀x P(x) berarti “untuk semua x, P(x) berlaku”.
25.
Simbol ∃x dalam logika predikat menyatakan bahwa…
A. Untuk semua x, pernyataan berlaku
B. Terdapat setidaknya satu x yang memenuhi pernyataan
C. Tidak ada x yang memenuhi pernyataan
D. Tepat satu x memenuhi pernyataan
Jawaban: B. Terdapat setidaknya satu x yang memenuhi pernyataan. Simbol ∃ adalah kuantor eksistensial yang menyatakan keberadaan minimal satu objek dalam domain yang memenuhi predikat yang diberikan.
26.
Nilai kebenaran kalimat logika predikat ∀x P(x) bergantung pada…
A. Hanya pada satu elemen representatif dari domain
B. Pada nilai variabel x yang dipilih secara sembarang
C. Pada apakah P(x) berlaku untuk setiap elemen dalam domain
D. Pada apakah P(x) berlaku untuk setidaknya satu elemen dalam domain
Jawaban: C. Pada apakah P(x) berlaku untuk setiap elemen dalam domain. Kalimat ∀x P(x) bernilai benar jika dan hanya jika predikat P berlaku untuk setiap elemen dalam domain yang sedang dipertimbangkan.
27.
Dalam logika predikat, interpretasi yang diperluas (extended interpretation) mencakup penentuan…
A. Domain pembicaraan, arti predikat, dan nilai konstanta individu
B. Hanya domain pembicaraan untuk variabel yang terikat kuantor
C. Hanya nilai kebenaran untuk setiap proposisi atomik
D. Hanya arti dari setiap konektor logika yang digunakan
Jawaban: A. Domain pembicaraan, arti predikat, dan nilai konstanta individu. Interpretasi dalam logika predikat harus menentukan domain (himpunan objek yang dibicarakan), makna setiap predikat sebagai relasi pada domain, serta nilai untuk setiap konstanta individu.
28.
Suatu kalimat logika predikat dikatakan valid jika…
A. Bernilai benar pada satu interpretasi tertentu
B. Bernilai benar hanya pada interpretasi dengan domain terbatas
C. Bernilai benar pada sebagian besar interpretasi yang mungkin
D. Bernilai benar pada semua interpretasi yang mungkin
Jawaban: D. Bernilai benar pada semua interpretasi yang mungkin. Validitas dalam logika predikat berarti kalimat tersebut benar di bawah setiap interpretasi yang mungkin, termasuk semua kemungkinan domain dan penugasan makna untuk predikat dan konstanta.
29.
Konsep “Agreement” dalam logika predikat berkaitan dengan…
A. Kesepakatan antara dua argumen yang memiliki kesimpulan yang sama
B. Hubungan antara dua interpretasi yang memberikan nilai sama untuk semua kalimat terbuka
C. Kesesuaian antara sintaks dan semantik suatu kalimat
D. Persetujuan antara dua sistem logika berbeda tentang nilai kebenaran
Jawaban: B. Hubungan antara dua interpretasi yang memberikan nilai sama untuk semua kalimat terbuka. Agreement (kesepakatan) menggambarkan kondisi di mana dua interpretasi yang berbeda menghasilkan nilai kebenaran yang sama untuk setiap kalimat terbuka dalam konteks tertentu.
30.
Dalam logika predikat, “Closure” (klosur) dari suatu kalimat terbuka P(x) adalah…
A. Negasi dari kalimat P(x)
B. Substitusi semua variabel bebas dengan konstanta tertentu
C. Hasil mengikat semua variabel bebas dalam kalimat menggunakan kuantor
D. Penyederhanaan kalimat menggunakan aturan ekuivalensi logika
Jawaban: C. Hasil mengikat semua variabel bebas dalam kalimat menggunakan kuantor. Closure dari kalimat terbuka adalah kalimat tertutup yang diperoleh dengan menambahkan kuantor (universal atau eksistensial) di depan kalimat untuk mengikat semua variabel bebas yang ada.
31.
Pernyataan berikut yang benar mengenai variabel bebas dalam logika predikat adalah…
A. Variabel bebas tidak terikat oleh kuantor manapun dalam kalimat
B. Variabel bebas selalu terikat oleh kuantor universal
C. Variabel bebas tidak dapat muncul lebih dari sekali dalam suatu kalimat
D. Variabel bebas hanya muncul dalam kalimat yang bersifat tautologi
Jawaban: A. Variabel bebas tidak terikat oleh kuantor manapun dalam kalimat. Variabel bebas adalah variabel yang kemunculannya dalam suatu kalimat tidak berada dalam cakupan (scope) kuantor manapun, sehingga nilainya bergantung pada penugasan eksternal.
32.
Kalimat logika predikat yang memuat variabel bebas disebut kalimat…
A. Tertutup
B. Valid
C. Satisfiable
D. Terbuka
Jawaban: D. Terbuka. Kalimat terbuka adalah kalimat logika predikat yang mengandung paling sedikit satu variabel bebas, sehingga nilai kebenarannya bergantung pada nilai yang diberikan kepada variabel bebas tersebut.
33.
Konsep “instance” dari kalimat valid dalam logika predikat merujuk pada…
A. Kalimat yang diperoleh dari substitusi konektor logika
B. Kalimat yang diperoleh dari substitusi variabel terikat dengan term tertentu
C. Kalimat yang diperoleh dengan menambahkan negasi pada kalimat asli
D. Kalimat yang memiliki nilai kebenaran yang sama dengan kalimat aslinya
Jawaban: B. Kalimat yang diperoleh dari substitusi variabel terikat dengan term tertentu. Instance dari kalimat berkuantor diperoleh dengan mengganti variabel yang terikat oleh kuantor dengan suatu term (konstanta atau variabel lain) dari domain yang digunakan.
34.
Dalam substitusi aman (safe substitution) pada logika predikat, penggantian variabel bebas x dengan term t harus memastikan bahwa…
A. Term t tidak mengandung variabel apapun
B. Term t merupakan konstanta individu yang ada dalam domain
C. Variabel dalam term t tidak tertangkap oleh kuantor yang ada dalam kalimat
D. Term t merupakan variabel yang terikat oleh kuantor yang sama
Jawaban: C. Variabel dalam term t tidak tertangkap oleh kuantor yang ada dalam kalimat. Substitusi aman mensyaratkan bahwa variabel-variabel dalam term t yang menggantikan x tidak boleh jatuh ke dalam cakupan kuantor yang mengikat variabel dengan nama yang sama, untuk menghindari perubahan makna yang tidak diinginkan.
35.
Konsep “Renaming” dalam logika predikat dilakukan dengan tujuan untuk…
A. Mengganti nama variabel terikat agar substitusi dapat dilakukan dengan aman
B. Mengubah nama predikat menjadi simbol yang lebih sederhana
C. Mengganti konstanta individu dengan variabel bebas baru
D. Menyeragamkan nama variabel di seluruh argumen logika
Jawaban: A. Mengganti nama variabel terikat agar substitusi dapat dilakukan dengan aman. Renaming (penggantian nama) mengubah nama variabel terikat dalam suatu kalimat untuk menghindari konflik nama saat melakukan substitusi, sehingga substitusi dapat dilakukan secara aman tanpa mengubah makna kalimat.
36.
Perhatikan argumen berikut: Premis 1: Semua manusia bersifat fana. Premis 2: Socrates adalah manusia. Kesimpulan: Socrates bersifat fana. Argumen ini merupakan contoh penerapan aturan inferensi…
A. Modus Tollens
B. Disjunctive Syllogism
C. Hypothetical Syllogism
D. Universal Instantiation
Jawaban: D. Universal Instantiation. Universal Instantiation adalah aturan yang memungkinkan kita menyimpulkan P(c) dari ∀x P(x) dengan mensubstitusikan konstanta c. Argumen tersebut menerapkan pernyataan universal tentang semua manusia kepada individu khusus (Socrates).
37.
Kalimat ∀x (P(x) → Q(x)) dan ∃x P(x) dalam logika predikat dapat digunakan untuk menyimpulkan…
A. ∀x Q(x)
B. ∃x Q(x)
C. ∀x ¬Q(x)
D. ∃x ¬P(x)
Jawaban: B. ∃x Q(x). Dari ∃x P(x) kita tahu ada setidaknya satu objek a dengan P(a). Karena ∀x (P(x) → Q(x)) berarti untuk semua x termasuk a berlaku P(a) → Q(a), maka Q(a) juga benar, sehingga ∃x Q(x) dapat disimpulkan.
38.
Konsep “Capturing” dalam konteks substitusi logika predikat terjadi ketika…
A. Suatu konstanta menggantikan variabel terikat dalam kalimat
B. Substitusi menghasilkan kalimat yang ekuivalen secara logis
C. Variabel bebas dalam term pengganti menjadi terikat setelah substitusi dilakukan
D. Dua kalimat dengan variabel berbeda menghasilkan interpretasi yang sama
Jawaban: C. Variabel bebas dalam term pengganti menjadi terikat setelah substitusi dilakukan. Capturing terjadi ketika variabel bebas dalam term yang menggantikan suatu variabel bebas lain masuk ke dalam cakupan kuantor dan menjadi terikat, sehingga makna kalimat berubah secara tidak diinginkan.
39.
Konsep “Value Property” dalam logika predikat berhubungan dengan…
A. Nilai kebenaran yang dipertahankan oleh suatu kalimat di bawah operasi substitusi tertentu
B. Pengukuran derajat kepastian suatu proposisi dalam domain tertentu
C. Nilai numerik yang diberikan pada setiap variabel predikat
D. Properti yang menjamin kalimat selalu bernilai benar pada domain terbatas
Jawaban: A. Nilai kebenaran yang dipertahankan oleh suatu kalimat di bawah operasi substitusi tertentu. Value Property berkaitan dengan bagaimana nilai kebenaran suatu kalimat logika predikat dipertahankan atau berubah ketika dilakukan operasi substitusi pada variabel-variabel dalam kalimat tersebut.
40.
Konsep “Total Value” dalam logika predikat merujuk pada…
A. Jumlah total interpretasi yang membuat kalimat bernilai benar
B. Nilai gabungan dari semua predikat dalam suatu kalimat majemuk
C. Nilai kebenaran rata-rata dari semua kalimat dalam suatu argumen
D. Nilai kebenaran suatu kalimat yang dihitung dari nilai-nilai komponen penyusunnya secara menyeluruh
Jawaban: D. Nilai kebenaran suatu kalimat yang dihitung dari nilai-nilai komponen penyusunnya secara menyeluruh. Total Value adalah nilai kebenaran akhir dari suatu kalimat logika predikat yang dihasilkan dari evaluasi seluruh komponen kalimat secara sistematis berdasarkan interpretasi yang diberikan.
41.
Suatu argumen logika dikatakan valid jika dan hanya jika…
A. Premis-premisnya semuanya bernilai benar
B. Tidak mungkin semua premis benar sementara kesimpulannya salah
C. Kesimpulannya bernilai benar pada setidaknya satu interpretasi
D. Premis dan kesimpulannya bernilai benar secara bersamaan
Jawaban: B. Tidak mungkin semua premis benar sementara kesimpulannya salah. Definisi validitas argumen adalah tidak adanya interpretasi di mana semua premis bernilai benar dan kesimpulan bernilai salah. Argumen valid menjamin kesimpulan benar jika premis-premisnya benar.
42.
Manakah yang merupakan perbedaan antara kalimat valid dan argumen valid dalam logika?
A. Kalimat valid terdiri dari premis dan kesimpulan, sedangkan argumen valid hanya memiliki kesimpulan
B. Kalimat valid hanya berlaku dalam logika proposisional, sedangkan argumen valid berlaku di logika predikat
C. Kalimat valid benar di semua interpretasi, sedangkan argumen valid menjamin kesimpulan benar jika premisnya benar
D. Kalimat valid tidak memerlukan interpretasi, sedangkan argumen valid memerlukan interpretasi khusus
Jawaban: C. Kalimat valid benar di semua interpretasi, sedangkan argumen valid menjamin kesimpulan benar jika premisnya benar. Validitas kalimat berarti kalimat tersebut tautologi (benar di semua interpretasi), sementara validitas argumen adalah hubungan antara premis dan kesimpulan di mana kebenaran premis menjamin kebenaran kesimpulan.
43.
Konsep tambahan dalam kalimat logika predikat yang memperbolehkan kalimat memiliki lebih dari satu kuantor dalam urutannya disebut…
A. Kuantifikasi berlapis (nested quantification)
B. Kuantifikasi ganda eksklusif
C. Kuantifikasi substitusi majemuk
D. Kuantifikasi terbatas (bounded quantification)
Jawaban: A. Kuantifikasi berlapis (nested quantification). Kuantifikasi berlapis terjadi ketika dalam suatu kalimat logika predikat terdapat lebih dari satu kuantor, seperti ∀x ∃y P(x,y), di mana satu kuantor berada dalam cakupan kuantor lainnya.
44.
Seorang mahasiswa menganalisis kalimat: ∀x (Mahasiswa(x) → Belajar(x)). Kalimat ini dalam bahasa natural berarti…
A. Ada mahasiswa yang belajar
B. Beberapa mahasiswa pasti belajar
C. Jika belajar, maka menjadi mahasiswa
D. Setiap mahasiswa pasti belajar
Jawaban: D. Setiap mahasiswa pasti belajar. Kalimat ∀x (Mahasiswa(x) → Belajar(x)) dibaca “untuk semua x, jika x adalah mahasiswa maka x belajar”, yang secara natural berarti setiap mahasiswa belajar.
45.
Negasi dari kalimat ∀x P(x) dalam logika predikat adalah…
A. ∀x ¬P(x)
B. ∃x ¬P(x)
C. ¬∀x ∀x P(x)
D. ∃x P(x)
Jawaban: B. ∃x ¬P(x). Berdasarkan hukum De Morgan untuk kuantor, negasi dari pernyataan universal ∀x P(x) adalah pernyataan eksistensial ∃x ¬P(x), yang berarti “terdapat setidaknya satu x di mana P(x) tidak berlaku”.
46.
Pada kalimat logika predikat bersyarat (conditional), kalimat ∀x (P(x) → Q(x)) dikatakan valid jika…
A. Ada satu interpretasi di mana untuk semua x, P(x) benar dan Q(x) benar
B. Untuk semua x dalam setiap domain, P(x) selalu bernilai benar
C. Dalam setiap interpretasi, tidak ada objek x yang membuat P(x) benar dan Q(x) salah
D. Dalam setiap interpretasi, Q(x) selalu bernilai benar tanpa memperhatikan P(x)
Jawaban: C. Dalam setiap interpretasi, tidak ada objek x yang membuat P(x) benar dan Q(x) salah. Kalimat ∀x (P(x) → Q(x)) valid jika di bawah setiap interpretasi yang mungkin, untuk semua x, kasus P(x) benar dan Q(x) salah tidak pernah terjadi.
47.
Kegiatan belajar tentang “Konsep Tambahan untuk Kalimat Logika Predikat” memperkenalkan tambahan notasi dan konsep di luar logika predikat dasar. Salah satu tujuan utama konsep tambahan tersebut adalah untuk…
A. Memperluas kemampuan ekspresi bahasa logika predikat untuk menangani situasi yang lebih kompleks
B. Menyederhanakan kalimat logika predikat menjadi kalimat proposisional
C. Menghilangkan kebutuhan penggunaan kuantor dalam logika predikat
D. Mengubah logika predikat menjadi sistem yang kompatibel dengan logika proposisional klasik
Jawaban: A. Memperluas kemampuan ekspresi bahasa logika predikat untuk menangani situasi yang lebih kompleks. Konsep tambahan dalam logika predikat diperkenalkan untuk meningkatkan daya ekspresif sistem logika agar dapat merepresentasikan dan menganalisis pernyataan-pernyataan yang lebih rumit dan bernuansa.
48.
Kalimat valid bersyarat dalam logika predikat (Modul 9) memiliki karakteristik bahwa validitasnya…
A. Bergantung pada ukuran domain yang digunakan dalam interpretasi
B. Hanya berlaku jika domain interpretasinya adalah himpunan bilangan natural
C. Bergantung pada nilai konstanta individu yang dipilih
D. Berlaku pada interpretasi yang memenuhi syarat-syarat tambahan tertentu
Jawaban: D. Berlaku pada interpretasi yang memenuhi syarat-syarat tambahan tertentu. Kalimat valid bersyarat berbeda dari kalimat valid biasa karena kebenarannya tidak berlaku di semua interpretasi, melainkan hanya pada interpretasi-interpretasi yang memenuhi kondisi atau syarat tertentu yang ditetapkan.
49.
Manakah pernyataan yang paling tepat membedakan sifat klosur universal dan klosur eksistensial dari suatu kalimat terbuka P(x)?
A. Klosur universal dan eksistensial selalu memiliki nilai kebenaran yang sama
B. Klosur universal ∀x P(x) mensyaratkan P berlaku untuk semua objek, sedangkan klosur eksistensial ∃x P(x) cukup mensyaratkan P berlaku untuk satu objek
C. Klosur universal hanya dapat dibentuk untuk predikat dengan satu argumen, sedangkan klosur eksistensial dapat dibentuk untuk predikat dengan banyak argumen
D. Klosur universal menghasilkan kalimat terbuka, sedangkan klosur eksistensial menghasilkan kalimat tertutup
Jawaban: B. Klosur universal ∀x P(x) mensyaratkan P berlaku untuk semua objek, sedangkan klosur eksistensial ∃x P(x) cukup mensyaratkan P berlaku untuk satu objek. Perbedaan mendasar keduanya adalah cakupan: klosur universal memerlukan predikat berlaku di seluruh domain, sedangkan klosur eksistensial hanya memerlukan keberadaan minimal satu objek yang memenuhi predikat.
50.
Dalam Modul 9, konsep “Substitution” yang berkaitan dengan kalimat valid bersyarat berbeda dari substitusi biasa karena…
A. Substitusi pada kalimat valid bersyarat hanya dapat dilakukan oleh konstanta individu
B. Substitusi pada kalimat valid bersyarat tidak memperhatikan keamanan penggantian variabel
C. Substitusi pada kalimat valid bersyarat harus mempertahankan syarat validitas kalimat bersyarat tersebut
D. Substitusi pada kalimat valid bersyarat mengubah semua kuantor menjadi kuantor universal
Jawaban: C. Substitusi pada kalimat valid bersyarat harus mempertahankan syarat validitas kalimat bersyarat tersebut. Ketika melakukan substitusi pada kalimat valid bersyarat, operasi penggantian harus dilakukan sedemikian rupa sehingga kondisi atau syarat yang menentukan validitas kalimat bersyarat tersebut tetap terpenuhi setelah substitusi.
Perlu kamu tahu, UT mengenal beberapa format ujian yang berbeda. Ada Ujian Tatap Muka (UTM) yang dilaksanakan langsung di lokasi ujian, Ujian Online (UO) yang bisa dikerjakan secara daring, serta Take Home Exam (THE). Berlatih mengerjakan Soal UO UT maupun soal format lainnya secara konsisten membantu kamu beradaptasi.
Proses belajar yang kamu jalani selama ini tidak akan sia-sia. Setiap sesi mengerjakan Soal UAS UT MSIM4103 Logika Informatika, setiap halaman modul yang kamu baca, semuanya terakumulasi menjadi kesiapan nyata. Percayai prosesmu, jaga fokusmu, dan hadapi ujian dengan kepala dingin. Hasil terbaik adalah milik mereka yang mau berlatih dengan sungguh-sungguh.
