MSIM4103 — Logika Informatika

1. Seorang mahasiswa menyusun untaian simbol logika dan ingin memastikan untaian tersebut sah sebagai kalimat logika proposisional. Prinsip utama yang harus dipenuhi untaian tersebut adalah…

A. untaian harus memiliki makna semantik yang jelas
B. untaian harus mengandung setidaknya satu konektif logika
C. untaian harus dibentuk sesuai aturan sintaktik yang berlaku
D. untaian harus bernilai benar pada suatu interpretasi

Jawaban: C. Aturan sintaktik adalah himpunan aturan pembentukan yang mendefinisikan secara rekursif untaian simbol yang sah sebagai kalimat logika proposisional. Sah atau tidaknya suatu untaian ditentukan oleh kepatuhannya terhadap aturan ini, bukan oleh makna atau nilai kebenarannya.

2. Berikut ini yang merupakan contoh kalimat atomik dalam logika proposisional adalah…

A. (P ∧ Q) → R
B. ¬(P ∨ Q)
C. P
D. P ↔ Q

Jawaban: C. Kalimat atomik adalah kalimat yang tidak dapat dipecah lagi menjadi kalimat yang lebih sederhana. Simbol P berdiri sendiri tanpa konektif, sedangkan opsi lainnya mengandung konektif (∧, ∨, ¬, →, ↔) yang menghubungkan beberapa proposisi sehingga merupakan kalimat majemuk.

3. Dalam sebuah sistem informatika, tim pengembang harus memastikan bahwa spesifikasi formal yang ditulis benar-benar merepresentasikan proposisi tunggal yang tidak dapat diurai. Istilah teknis untuk menyebut elemen dasar tersebut adalah…

A. kalimat atomik
B. kalimat majemuk
C. konektif logika
D. interpretasi

Jawaban: A. Kalimat atomik adalah unit dasar dalam logika proposisional yang tidak dapat dipecah lagi menjadi kalimat lebih sederhana. Ini membedakannya dari kalimat majemuk yang dibangun dari beberapa kalimat atomik menggunakan konektif.

4. Pernyataan yang benar mengenai perbedaan sintaks dan semantik dalam logika proposisional adalah…

A. sintaks berkaitan dengan makna kalimat, sedangkan semantik berkaitan dengan struktur kalimat
B. sintaks menentukan nilai kebenaran, sedangkan semantik menentukan keabsahan untaian simbol
C. sintaks mendefinisikan aturan pembentukan kalimat, sedangkan semantik menentukan aturan penentuan nilai kebenaran
D. sintaks dan semantik tidak memiliki perbedaan mendasar dalam logika proposisional

Jawaban: C. Sintaks berurusan dengan struktur dan aturan pembentukan kalimat yang sah, sedangkan semantik berurusan dengan makna dan penentuan nilai kebenaran kalimat berdasarkan interpretasi.

5. Konektif logika yang hanya menghasilkan nilai salah apabila kedua proposisi penyusunnya bernilai salah adalah…

A. konjungsi
B. disjungsi
C. implikasi
D. biimplikasi

Jawaban: B. Disjungsi (∨) hanya bernilai salah jika kedua proposisi penyusunnya salah. Jika salah satu atau keduanya benar, disjungsi bernilai benar. Ini berbeda dengan konjungsi yang mengharuskan keduanya benar, dan implikasi yang hanya salah ketika anteseden benar dan konsekuen salah.

6. Dalam sebuah argumen debat, Budi menyatakan 'Jika hujan turun maka jalan basah, dan hujan tidak turun'. Berdasarkan aturan sintaktik, bentuk representasi yang tepat untuk pernyataan Budi adalah…

A. (H → B) ∧ ¬H
B. H → B ∨ ¬H
C. H → B ∧ ¬H
D. H → (B ∧ ¬H)

Jawaban: A. Pernyataan Budi terdiri dari dua bagian yang dihubungkan dengan 'dan' (konjungsi): 'Jika hujan maka jalan basah' yang direpresentasikan sebagai (H → B), dan 'hujan tidak turun' sebagai ¬H. Oleh karena itu, bentuk lengkapnya adalah (H → B) ∧ ¬H.

7. Perbedaan utama antara notasi prefiks dan notasi infiks dalam penulisan kalimat logika terletak pada…

A. jenis proposisi yang dapat digunakan
B. jumlah konektif yang terlibat
C. nilai kebenaran yang dihasilkan
D. posisi operator terhadap operandnya

Jawaban: D. Notasi prefiks menempatkan operator di depan operand (misal ∧(P,Q)), sedangkan notasi infiks menempatkan operator di antara operand (misal P ∧ Q). Perbedaan ini murni pada struktur penulisan, tidak memengaruhi nilai kebenaran atau jenis proposisi.

8. Seorang analis sistem mendefinisikan suatu 'dunia' dalam konteks logika proposisional sebagai…

A. himpunan semua kalimat yang bernilai benar
B. representasi suatu keadaan yang mendasari pemberian nilai kebenaran pada proposisi
C. kumpulan aturan sintaktik yang mengatur pembentukan kalimat
D. tabel yang memuat semua kemungkinan nilai kebenaran

Jawaban: B. Dunia (world) merepresentasikan suatu keadaan atau kemungkinan tertentu yang menjadi dasar pemberian nilai kebenaran pada proposisi. Setiap dunia memberikan satu konfigurasi nilai kebenaran tertentu untuk simbol-simbol proposisional.

9. Misalkan terdapat suatu kalimat logika dengan tiga simbol proposisional atomik berbeda: P, Q, dan R. Banyaknya interpretasi berbeda yang mungkin untuk kalimat tersebut adalah…

A. 3
B. 8
C. 6
D. 9

Jawaban: B. Jumlah interpretasi berbeda untuk n simbol proposisional atomik berbeda adalah 2^n. Dengan tiga simbol (n=3), jumlah interpretasi adalah 2^3 = 8.

10. Interpretasi yang diperluas berbeda dari interpretasi biasa karena…

A. interpretasi yang diperluas memetakan nilai kebenaran ke semua kalimat berdasarkan aturan semantik
B. interpretasi yang diperluas hanya berlaku untuk kalimat atomik
C. interpretasi yang diperluas tidak memerlukan tabel kebenaran
D. interpretasi yang diperluas menghilangkan kebutuhan akan aturan sintaktik

Jawaban: A. Interpretasi yang diperluas mengembangkan pemetaan dari hanya pada simbol proposisional atomik menjadi mencakup semua kalimat. Pengembangan ini dilakukan menggunakan aturan semantik sehingga setiap kalimat, termasuk kalimat majemuk, memperoleh nilai kebenaran.

11. PT Maju Jaya menggunakan sistem logika untuk validasi kontrak. Seorang staf IT perlu menentukan nilai kebenaran kalimat majemuk (P ∨ Q) ∧ ¬R dengan interpretasi P benar, Q salah, R benar. Nilai kebenaran yang diperoleh adalah…

A. benar
B. benar dan salah sekaligus
C. tidak dapat ditentukan
D. salah

Jawaban: D. Dengan P benar, Q salah, R benar: (P ∨ Q) bernilai benar karena P benar, ¬R bernilai salah karena R benar. Konjungsi dari benar dan salah menghasilkan salah, sehingga keseluruhan kalimat bernilai salah.

12. Di antara pasangan konektif berikut, pasangan yang memiliki nilai kebenaran berlawanan untuk semua kombinasi nilai atom penyusunnya adalah…

A. konjungsi dan disjungsi
B. implikasi dan biimplikasi
C. negasi dari suatu proposisi dan proposisi itu sendiri
D. konjungsi dan implikasi

Jawaban: C. Negasi selalu menghasilkan nilai kebenaran yang berlawanan dengan proposisi aslinya. Jika proposisi bernilai benar, negasinya salah, dan sebaliknya. Ini berlaku untuk semua kemungkinan nilai, tidak seperti pasangan konektif lainnya yang tidak selalu berlawanan.

13. Seorang mahasiswa menyusun tabel kebenaran untuk kalimat ¬(P ∧ Q) dan kalimat ¬P ∨ ¬Q. Berdasarkan tabel tersebut, mahasiswa menyimpulkan bahwa kedua kalimat tersebut…

A. adalah tautologi
B. adalah kontradiksi
C. saling kontradiktif
D. ekuivalen secara logis

Jawaban: D. ¬(P ∧ Q) dan ¬P ∨ ¬Q memiliki nilai kebenaran yang sama pada semua baris tabel kebenaran. Ini sesuai dengan hukum De Morgan yang menyatakan bahwa negasi konjungsi ekuivalen dengan disjungsi dari negasi-negasi. Keduanya ekuivalen secara logis.

14. Dalam konteks aturan semantik, suatu kalimat majemuk dievaluasi dengan cara…

A. menghitung semua kemungkinan interpretasi sekaligus
B. mengabaikan konektif dan hanya melihat simbol atomik
C. menebak nilai kebenaran berdasarkan intuisi
D. melakukan evaluasi bertahap mulai dari sub-kalimat terdalam menggunakan aturan semantik konektif

Jawaban: D. Evaluasi kalimat majemuk dilakukan secara bertahap dari dalam ke luar. Sub-kalimat terdalam (atomik) dievaluasi terlebih dahulu, kemudian hasilnya digunakan bersama aturan semantik setiap konektif untuk menghitung nilai pada tingkat berikutnya hingga diperoleh nilai keseluruhan kalimat.

15. Fungsi utama tabel kebenaran dasar dalam logika proposisional adalah…

A. menggantikan aturan sintaktik dalam pembentukan kalimat
B. merangkum aturan semantik setiap konektif dengan mendaftar semua kombinasi nilai kebenaran atom-atomnya
C. menentukan apakah suatu kalimat termasuk kalimat atomik
D. menghitung jumlah interpretasi yang mungkin

Jawaban: B. Tabel kebenaran dasar merangkum aturan semantik setiap konektif. Setiap tabel mendaftar semua kombinasi nilai kebenaran atom-atom penyusunnya dan menunjukkan nilai kebenaran hasil operasi konektif untuk setiap kombinasi tersebut.

16. Siti sedang mempelajari dua kalimat logika: kalimat A selalu bernilai benar, sedangkan kalimat B selalu bernilai salah. Klasifikasi yang tepat untuk A dan B secara berurutan adalah…

A. tautologi dan kontradiksi
B. kontradiksi dan tautologi
C. keduanya satisfiable
D. keduanya kontingen

Jawaban: A. Kalimat yang selalu bernilai benar di bawah semua interpretasi disebut tautologi, sedangkan kalimat yang selalu bernilai salah disebut kontradiksi. Satisfiable berarti bernilai benar setidaknya pada satu interpretasi, dan kontingen berarti bernilai benar pada sebagian interpretasi dan salah pada sebagian lainnya.

17. Dalam mengerjakan tugas logika, seorang mahasiswa membuat pohon semantik untuk suatu himpunan kalimat. Struktur pohon yang setiap cabangnya memuat semua simbol proposisional atomik yang muncul dalam kalimat sehingga merepresentasikan satu interpretasi lengkap disebut…

A. pohon semantik lengkap
B. pohon semantik parsial
C. pohon sintaktik
D. pohon keputusan

Jawaban: A. Pohon semantik lengkap adalah pohon yang setiap cabangnya memuat semua simbol proposisional atomik yang muncul dalam kalimat. Setiap jalur dari akar ke daun merepresentasikan tepat satu interpretasi lengkap.

18. Dalam menyusun tabel kebenaran, seorang mahasiswa menemukan bahwa suatu kalimat majemuk dievaluasi dengan urutan tertentu menggunakan tanda kurung dan prioritas konektif. Aturan yang mendasari evaluasi bertahap ini disebut…

A. aturan semantik
B. aturan sintaktik
C. aturan interpretasi
D. aturan substitusi

Jawaban: A. Aturan semantik menentukan bagaimana nilai kebenaran kalimat majemuk dievaluasi berdasarkan nilai atom dan konektif, termasuk urutan prioritas dan efek tanda kurung.

19. Manakah di antara kalimat berikut yang memiliki tepat empat interpretasi berbeda…

A. P ∧ Q
B. P ∨ ¬P
C. (P ∧ Q) ∨ R
D. P → (Q ∧ R)

Jawaban: A. Jumlah interpretasi berbeda adalah 2^n dengan n adalah banyaknya simbol proposisional atomik berbeda. Kalimat P ∧ Q memiliki dua simbol atomik (P dan Q) sehingga 2^2 = 4 interpretasi.

20. Berapakah jumlah maksimum baris dalam tabel kebenaran lengkap untuk kalimat (P ∨ Q) ∧ (¬R → S)…

A. 4
B. 16
C. 8
D. 32

Jawaban: B. Kalimat tersebut memiliki empat simbol proposisional atomik berbeda: P, Q, R, S. Jumlah interpretasi = 2^4 = 16 baris.

21. Seorang analis sistem ingin membuktikan bahwa dua spesifikasi formal adalah ekuivalen. Ia menyusun tabel kebenaran lengkap untuk kedua kalimat dan membandingkan kolom nilai kebenarannya. Dua kalimat tersebut ekuivalen secara logis jika…

A. setidaknya satu baris memiliki nilai kebenaran yang sama
B. kedua kolom tidak memiliki baris bernilai salah
C. jumlah baris bernilai benar pada kedua kolom sama banyak
D. semua baris pada kedua kolom memiliki nilai kebenaran yang sama

Jawaban: D. Dua kalimat ekuivalen secara logis jika dan hanya jika keduanya memiliki nilai kebenaran yang sama di bawah semua interpretasi, yang berarti semua baris pada kedua kolom identik.

22. Dalam konteks interpretasi yang diperluas, perbedaan mendasar antara interpretasi biasa dan interpretasi yang diperluas adalah…

A. interpretasi biasa hanya berlaku untuk kalimat atomik, sedangkan interpretasi yang diperluas berlaku untuk kalimat majemuk
B. interpretasi biasa menggunakan tabel kebenaran, sedangkan interpretasi yang diperluas menggunakan pohon semantik
C. interpretasi biasa memberikan nilai pada simbol proposisional, sedangkan interpretasi yang diperluas memberikan nilai pada semua kalimat berdasarkan aturan semantik
D. interpretasi biasa menghasilkan satu nilai, sedangkan interpretasi yang diperluas menghasilkan banyak nilai

Jawaban: C. Interpretasi biasa hanya memetakan nilai kebenaran pada simbol proposisional atomik, sedangkan interpretasi yang diperluas memperluas pemetaan tersebut ke semua kalimat menggunakan aturan semantik.

23. Budi memiliki kalimat dengan 5 simbol proposisional atomik yang semuanya berbeda. Ia menyusun tabel kebenaran dan mendapati bahwa dari 32 baris, terdapat 20 baris bernilai benar. Berdasarkan data ini, kalimat tersebut tergolong…

A. tautologi
B. satisfiable
C. kontradiksi
D. tidak dapat ditentukan

Jawaban: B. Kalimat yang bernilai benar pada sebagian baris dan salah pada sebagian baris lainnya adalah satisfiable (kontingen). Tautologi bernilai benar di semua baris, kontradiksi bernilai salah di semua baris.

24. Di antara kalimat berikut, manakah yang menghasilkan tabel kebenaran dengan jumlah baris bernilai benar sama dengan jumlah baris bernilai salah…

A. P ∨ Q
B. P
C. P → Q
D. P ∧ Q

Jawaban: B. Kalimat P hanya memiliki satu simbol atomik sehingga 2^1 = 2 baris. Satu baris bernilai benar (P = true) dan satu baris bernilai salah (P = false), sehingga jumlahnya sama.

25. Dalam pohon semantik, sebuah simpul yang tidak dapat diperluas lagi karena sudah menghasilkan kontradiksi atau sudah mencapai interpretasi lengkap disebut…

A. simpul daun
B. simpul dalam
C. simpul akar
D. simpul cabang

Jawaban: A. Simpul daun adalah simpul terminal pada pohon semantik yang tidak memiliki anak. Simpul ini menandakan akhir suatu cabang, baik karena kontradiksi maupun karena interpretasi telah lengkap.

26. Seorang mahasiswa menggambar pohon semantik untuk kalimat (P ∨ Q) ∧ ¬P. Pada cabang di mana P bernilai salah dan Q bernilai benar, evaluasi pada simpul tersebut akan menghasilkan…

A. kontradiksi karena ¬P bertentangan dengan P ∨ Q
B. nilai salah karena P ∨ Q salah
C. nilai benar karena P ∨ Q benar dan ¬P benar
D. nilai benar hanya jika Q bernilai benar

Jawaban: C. Jika P = false dan Q = true, maka P ∨ Q = true (karena Q true), dan ¬P = true (karena P false). Konjungsi true ∧ true menghasilkan true, sehingga cabang tersebut tidak kontradiktif.

27. Perbedaan utama antara pohon semantik dan tabel kebenaran sebagai alat evaluasi adalah…

A. pohon semantik lebih cepat untuk semua jenis kalimat
B. tabel kebenaran selalu menghasilkan lebih sedikit langkah
C. tabel kebenaran hanya dapat digunakan untuk kalimat dengan maksimal tiga simbol
D. pohon semantik hanya mengevaluasi cabang hingga ditemukan kontradiksi, sedangkan tabel kebenaran mengevaluasi semua interpretasi

Jawaban: D. Pohon semantik dapat menghentikan evaluasi suatu cabang begitu kontradiksi ditemukan tanpa harus melengkapi semua interpretasi, berbeda dengan tabel kebenaran yang selalu mendaftar seluruh interpretasi.

28. Dalam pohon semantik lengkap untuk kalimat P ∧ ¬P, banyaknya cabang yang tidak kontradiktif adalah…

A. 1
B. 0
C. 2
D. tidak terhingga

Jawaban: B. Kalimat P ∧ ¬P adalah kontradiksi. Pada pohon semantik, setiap cabang akan menghasilkan kontradiksi (P benar dan P salah tidak mungkin terjadi bersamaan), sehingga tidak ada cabang yang tidak kontradiktif.

29. Berikut ini yang merupakan karakteristik dari semua cabang yang tidak kontradiktif dalam sebuah pohon semantik yang lengkap adalah…

A. Setiap cabang selalu menghasilkan nilai akhir benar untuk kalimat yang dievaluasi
B. Setiap cabang pasti mengandung semua simbol proposisional atomik dari kalimat
C. Tidak ada cabang yang memuat suatu simbol proposisional atomik dan negasinya sekaligus
D. Semua cabang memiliki panjang simpul yang sama satu dengan lainnya

Jawaban: C. Suatu cabang disebut tidak kontradiktif jika tidak terdapat pasangan literal yang saling komplemen (misalnya P dan ¬P) pada cabang tersebut. Dalam konteks pohon semantik, jika semua cabang tidak kontradiktif, berarti pada setiap cabang tidak ditemukan atom yang dinegasikan dan atom itu sendiri secara bersamaan. Opsi yang menyatakan bahwa cabang pasti menghasilkan nilai benar adalah keliru karena sifat cabang yang tidak kontradiktif hanya menunjukkan konsistensi interpretasi parsial, bukan nilai kebenaran akhir. Opsi yang menyatakan bahwa cabang pasti memuat semua atom juga tidak tepat karena sebuah cabang bisa saja belum diperluas untuk atom tertentu. Adapun panjang simpul antar cabang dapat berbeda-beda bergantung pada urutan perluasan atom.

30. PT Logika Digital menggunakan pohon semantik untuk memverifikasi suatu kalimat. Setelah pohon selesai dibangun, mereka menemukan bahwa pada setiap cabang, terdapat paling sedikit satu pasangan literal yang saling bertentangan. Kalimat yang diverifikasi tersebut adalah…

A. tautologi
B. ekuivalen dengan true
C. satisfiable
D. kontradiksi

Jawaban: D. Jika setiap cabang pada pohon semantik mengandung kontradiksi (pasangan literal yang bertentangan), maka tidak ada interpretasi yang membuat kalimat bernilai benar, sehingga kalimat tersebut adalah kontradiksi.

31. Seorang dosen memberikan kalimat (P → Q) ∧ (Q → R) → (P → R) kepada mahasiswanya dan meminta mereka mengklasifikasikan sifat kalimat tersebut. Klasifikasi yang tepat adalah…

A. tidak dapat ditentukan tanpa tabel kebenaran
B. kontradiksi
C. satisfiable namun bukan tautologi
D. tautologi

Jawaban: D. Kalimat tersebut menyatakan transitivitas implikasi yang selalu bernilai benar di bawah semua interpretasi, sehingga merupakan tautologi atau kalimat valid.

32. Diketahui kalimat A: (P ∧ Q) → R dan kalimat B: P → (Q → R). Hubungan logis yang tepat antara A dan B adalah…

A. A dan B ekuivalen secara logis
B. B mengimplikasikan A tetapi tidak sebaliknya
C. A mengimplikasikan B tetapi tidak sebaliknya
D. A dan B tidak memiliki hubungan implikasi

Jawaban: A. Kedua kalimat tersebut adalah ekuivalen berdasarkan hukum eksporasi: (P ∧ Q) → R ≡ P → (Q → R). Nilai kebenaran keduanya selalu sama di bawah semua interpretasi.

33. Ani memeriksa suatu sistem penalaran dan menemukan bahwa pada setiap interpretasi di mana premis-premis sistem bernilai benar, kesimpulannya juga selalu bernilai benar. Hubungan logis antara premis dan kesimpulan tersebut disebut…

A. ekuivalensi logis
B. satisfiabilitas
C. implikasi logis
D. kontradiksi

Jawaban: C. Implikasi logis terjadi ketika pada setiap interpretasi di mana kalimat A benar, kalimat B juga benar. Ini menunjukkan bahwa A secara logis mengimplikasikan B.

34. Terdapat dua kalimat: A adalah tautologi dan B adalah kontradiksi. Manakah pernyataan berikut yang pasti benar…

A. A ∨ B adalah tautologi
B. A ∨ B adalah kontradiksi
C. A → B adalah kontradiksi
D. A ∧ B adalah tautologi

Jawaban: A. Karena A selalu benar, maka A ∨ B akan selalu benar tanpa bergantung pada nilai B. Disjungsi dengan tautologi selalu menghasilkan tautologi.

35. Diketahui kalimat A bernilai benar pada 8 dari 16 interpretasi yang mungkin. Kalimat B bernilai benar pada 0 dari 16 interpretasi. Kalimat C bernilai benar pada 16 dari 16 interpretasi. Klasifikasi berturut-turut untuk A, B, dan C adalah…

A. Tautologi, kontradiksi, satisfiable
B. Kontradiksi, satisfiable, tautologi
C. Satisfiable, kontradiksi, tautologi
D. Satisfiable, tautologi, kontradiksi

Jawaban: C. Kalimat yang benar pada semua interpretasi disebut tautologi (C), yang benar pada sebagian interpretasi disebut satisfiable (A), dan yang salah pada semua interpretasi disebut kontradiksi (B).

36. Sebuah lembaga penelitian pendidikan melakukan survei untuk mengetahui efektivitas metode pembelajaran daring pada siswa SD. Untuk memastikan hasil kajiannya valid, peneliti perlu memahami hakikat penelitian pendidikan sebagai…

A. Proses pengumpulan data statistik tentang prestasi siswa di berbagai jenjang pendidikan
B. Teknik mengukur kemampuan siswa melalui instrumen tes yang telah distandardisasi secara nasional
C. Kegiatan evaluasi program sekolah yang dilakukan secara periodik oleh pihak eksternal
D. Upaya sistematis untuk memperoleh pengetahuan yang sahih tentang fenomena pendidikan melalui metode ilmiah

Jawaban: D. Hakikat penelitian pendidikan adalah upaya sistematis dan ilmiah untuk memperoleh pengetahuan yang sahih tentang fenomena pendidikan, bukan sekadar pengumpulan data atau evaluasi program.

37. Ruang lingkup penelitian pendidikan mencakup berbagai aspek yang saling terkait. Manakah yang termasuk dalam ruang lingkup penelitian pendidikan…

A. Pengembangan teori fisika kuantum untuk aplikasi teknologi semikonduktor
B. Kajian tentang perilaku konsumen dalam pasar modal internasional
C. Studi tentang hubungan antara metode mengajar guru dan hasil belajar siswa
D. Analisis struktur geologis untuk mitigasi bencana alam di wilayah pesisir

Jawaban: C. Ruang lingkup penelitian pendidikan berfokus pada proses, komponen, dan hasil pendidikan, termasuk hubungan metode mengajar dengan hasil belajar siswa.

38. Manfaat penelitian pendidikan bagi guru profesional sangat beragam. Salah satu manfaat utamanya adalah…

A. Menggantikan kurikulum nasional yang dianggap tidak relevan dengan kebutuhan lokal
B. Meningkatkan anggaran operasional sekolah melalui proposal hibah penelitian
C. Memberikan landasan empiris untuk pengambilan keputusan dalam praktik pembelajaran
D. Menentukan kebijakan politik pendidikan di tingkat kementerian secara langsung

Jawaban: C. Penelitian pendidikan memberi landasan empiris bagi guru untuk mengambil keputusan berbasis bukti dalam praktik pembelajaran, bukan untuk mengganti kurikulum atau menentukan kebijakan politik.

39. Seorang kepala sekolah menemukan bahwa hasil belajar siswa di kelas eksperimen lebih tinggi daripada kelas kontrol. Sebelum menyimpulkan metode baru lebih efektif, ia perlu mempertimbangkan ruang lingkup penelitian pendidikan yang menekankan pentingnya…

A. Generalisasi temuan ke seluruh populasi tanpa mempertimbangkan konteks spesifik
B. Identifikasi batasan dan keterbatasan penelitian agar kesimpulan tidak melampaui bukti
C. Pengakuan bahwa setiap metode pasti unggul di semua kondisi pembelajaran
D. Penerapan hasil penelitian secara langsung tanpa melalui proses adaptasi kontekstual

Jawaban: B. Ruang lingkup penelitian pendidikan mengajarkan pentingnya mengidentifikasi batasan dan keterbatasan studi agar kesimpulan yang ditarik sahih dan tidak melampaui bukti empiris yang ada.

40. Hakikat, ruang lingkup, dan manfaat penelitian pendidikan menjadi dasar penting bagi calon peneliti. Ketiga aspek tersebut memberikan kerangka untuk…

A. Merumuskan masalah, mendesain metodologi, dan menginterpretasi temuan secara tepat
B. Memastikan semua penelitian menghasilkan temuan signifikan secara statistik
C. Menentukan jumlah sampel minimal yang wajib digunakan dalam setiap penelitian
D. Menghilangkan variabel pengganggu secara sempurna dari desain eksperimental

Jawaban: A. Pemahaman tentang hakikat, ruang lingkup, dan manfaat penelitian pendidikan memberi kerangka bagi peneliti dalam merumuskan masalah, mendesain metode, dan menginterpretasi temuan dengan tepat.

41. Pembuktian dengan metode proof by falsification mendasarkan diri pada prinsip logika bahwa suatu kalimat valid jika…

A. Dapat diturunkan dari aksioma yang telah disepakati kebenarannya
B. Semua sub-kalimat penyusunnya bersifat satisfiable secara individual
C. Memiliki setidaknya satu interpretasi yang membuatnya bernilai benar
D. Pengandaian bahwa kalimat tersebut bernilai salah menghasilkan kontradiksi

Jawaban: D. Proof by falsification membuktikan validitas dengan mengasumsikan kalimat bernilai salah; bila asumsi itu menghasilkan kontradiksi, maka kalimat tidak mungkin salah sehingga pasti valid.

42. Seorang mahasiswa ingin membuktikan validitas kalimat (P → Q) ∨ (Q → P) menggunakan proof by falsification. Langkah pertama yang harus dilakukan adalah…

A. Mengasumsikan bahwa (P → Q) ∨ (Q → P) bernilai salah pada suatu interpretasi
B. Menyusun tabel kebenaran lengkap untuk semua kombinasi nilai P dan Q
C. Membuktikan bahwa (P → Q) dan (Q → P) masing-masing adalah tautologi
D. Mengganti semua simbol proposisional dengan kalimat atomik yang lebih sederhana

Jawaban: A. Langkah pertama proof by falsification adalah mengasumsikan kalimat target bernilai salah, lalu menelusuri konsekuensi asumsi tersebut hingga menemukan kontradiksi atau membuktikan ketidakmungkinannya.

43. Dalam membuktikan validitas argumen dengan proof by falsification, argumen tersebut valid jika…

A. Setiap premis secara individual merupakan kalimat tautologi
B. Kesimpulan dapat dibuktikan benar secara independen tanpa bergantung pada premis
C. Terdapat setidaknya satu interpretasi yang membuat semua premis bernilai benar
D. Konjungsi premis-premis dan negasi kesimpulan tidak mungkin benar secara bersamaan

Jawaban: D. Argumen valid berarti konjungsi premis mengimplikasikan kesimpulan; dengan proof by falsification, ini dibuktikan dengan menunjukkan bahwa konjungsi premis dan negasi kesimpulan bersifat kontradiktif.

44. Bandingkan pembuktian validitas dengan tabel kebenaran dan proof by falsification. Keunggulan utama proof by falsification dibanding tabel kebenaran adalah…

A. Lebih efisien untuk kalimat dengan banyak simbol proposisional karena tidak perlu mendaftar semua interpretasi
B. Tidak memerlukan pemahaman tentang aturan semantik konektif logika
C. Selalu menghasilkan jawaban yang lebih akurat secara numerik
D. Dapat membuktikan ketidakvalidan sekaligus validitas dalam satu langkah pengerjaan

Jawaban: A. Proof by falsification lebih efisien untuk kalimat kompleks karena bekerja dengan asumsi dan penalaran, tidak perlu mendaftar 2^n interpretasi seperti pada tabel kebenaran.

45. PT LogiTech menggunakan metode tablo untuk memverifikasi spesifikasi formal sistem. Metode tablo pada dasarnya bekerja dengan cara…

A. Mendaftar semua interpretasi yang mungkin dan menghitung nilai kebenaran kalimat
B. Membandingkan dua kalimat untuk menentukan apakah keduanya ekuivalen secara logis
C. Mendekomposisi kalimat berdasarkan aturan semantik dan mencari cabang yang tidak kontradiktif
D. Menerapkan substitusi pada simbol proposisional hingga mencapai bentuk paling sederhana

Jawaban: C. Metode tablo mendekomposisi kalimat mengikuti aturan semantik konektif; bila semua cabang menghasilkan kontradiksi, kalimat valid; bila ada cabang yang tidak kontradiktif, kalimat tidak valid.

46. Operasi substitusi tunggal pada kalimat logika proposisional berarti mengganti…

A. Satu simbol proposisional tertentu dengan satu kalimat pengganti secara seragam di semua kemunculannya
B. Semua simbol proposisional dalam kalimat dengan kalimat lain yang berbeda-beda
C. Sub-kalimat yang memiliki nilai kebenaran sama dengan kalimat baru yang ekuivalen
D. Semua kemunculan konektif tertentu dengan konektif lain yang setara secara semantik

Jawaban: A. Substitusi tunggal adalah penggantian satu simbol proposisional tertentu dengan satu kalimat pengganti secara seragam di semua kemunculannya dalam kalimat target.

47. Jika A adalah kalimat tautologi dan dilakukan substitusi tunggal pada salah satu simbol proposisional di dalamnya, kalimat hasil substitusi akan bersifat…

A. Satisfiable, karena nilai kebenarannya bergantung pada kalimat pengganti
B. Tautologi, karena instance dari tautologi selalu tautologi
C. Kontradiksi, karena substitusi selalu menurunkan derajat kebenaran kalimat
D. Kontingen, karena kalimat pengganti bisa bernilai salah

Jawaban: B. Instance dari kalimat tautologi melalui substitusi tunggal selalu menghasilkan tautologi, sesuai sifat dasar substitusi yang mempertahankan struktur kebenaran kalimat asal.

48. Seorang programmer menulis ekspresi logika P ∨ ¬P dan mengganti P dengan kalimat (Q ∧ R). Kalimat hasil substitusi adalah…

A. Q ∨ ¬Q ∧ R ∨ ¬R
B. (Q ∧ R) ∨ ¬(Q ∧ R)
C. (Q ∧ R) ∧ ¬(Q ∧ R)
D. (Q ∨ ¬Q) ∧ (R ∨ ¬R)

Jawaban: B. Substitusi tunggal mengganti semua kemunculan P dengan (Q ∧ R), sehingga P ∨ ¬P menjadi (Q ∧ R) ∨ ¬(Q ∧ R).

49. Substitusi tunggal hanya dapat dilakukan jika…

A. Kalimat pengganti memiliki jumlah simbol proposisional yang sama dengan simbol yang diganti
B. Semua simbol proposisional dalam kalimat target diganti secara bersamaan
C. Kalimat target dan kalimat pengganti memiliki nilai kebenaran yang identik
D. Simbol proposisional yang diganti muncul setidaknya satu kali dalam kalimat target

Jawaban: D. Substitusi tunggal mengganti semua kemunculan satu simbol tertentu; operasi ini bermakna hanya jika simbol tersebut memang muncul dalam kalimat target.

50. Budi melakukan substitusi tunggal pada kalimat (P → Q) ∧ P dengan mengganti P menggunakan kalimat ¬R. Hasil substitusinya adalah…

A. (¬R → Q) ∧ ¬R
B. (R → Q) ∧ ¬R
C. ¬(R → Q) ∧ ¬R
D. (¬R → Q) ∧ R

Jawaban: A. Setiap kemunculan P diganti ¬R: P pertama pada implikasi menjadi ¬R, P kedua pada konjungsi juga menjadi ¬R, sehingga diperoleh (¬R → Q) ∧ ¬R.

51. Perbedaan mendasar antara substitusi multi dan beberapa substitusi tunggal yang dilakukan secara berurutan adalah…

A. Substitusi multi hanya dapat dilakukan pada kalimat dengan maksimal tiga simbol proposisional
B. Pada substitusi multi, hasil penggantian satu simbol tidak menjadi input bagi penggantian simbol lain dalam langkah yang sama
C. Substitusi multi selalu menghasilkan kalimat yang lebih sederhana dibanding substitusi tunggal berurutan
D. Substitusi multi memerlukan kalimat pengganti yang semuanya bernilai benar

Jawaban: B. Substitusi multi bersifat serentak sehingga hasil penggantian satu simbol tidak memengaruhi penggantian simbol lain dalam langkah yang sama, berbeda dengan substitusi tunggal berurutan yang bersifat sekuensial.

52. Seorang mahasiswa mengerjakan tugas logika dan perlu mengganti dua simbol proposisional berbeda dalam satu kalimat secara bersamaan. Operasi yang tepat untuk keperluan ini adalah…

A. substitusi multi yang dilakukan secara serentak
B. substitusi tunggal pada masing-masing simbol secara berurutan
C. interpretasi yang diperluas pada simbol-simbol tersebut
D. penggantian teks biasa menggunakan find and replace

Jawaban: A. Substitusi multi adalah operasi penggantian beberapa simbol proposisional atomik yang berbeda dengan kalimat pengganti dalam satu langkah serentak. Pada substitusi serentak, semua penggantian dilakukan bersamaan sehingga hasil substitusi satu simbol tidak menjadi input substitusi simbol lain.

53. Diketahui kalimat A: (P ∧ Q) → P adalah tautologi. Jika dilakukan substitusi multi {P ← (R ∨ S), Q ← ¬R}, maka kalimat hasil substitusi adalah…

A. ((R ∨ S) ∧ ¬R) → (R ∨ S)
B. (P ∧ Q) → P dengan P dan Q tidak berubah
C. (R ∨ S) → (R ∨ S)
D. (R ∧ S) → R

Jawaban: A. Substitusi multi {P ← (R ∨ S), Q ← ¬R} dilakukan serentak pada kalimat (P ∧ Q) → P. Setiap kemunculan P diganti (R ∨ S) dan setiap kemunculan Q diganti ¬R, sehingga menghasilkan ((R ∨ S) ∧ ¬R) → (R ∨ S). Kalimat ini berdasarkan Lema Substitusi tetap merupakan tautologi.

54. Dalam konteks substitusi multi, perbedaan utama antara substitusi serentak dan substitusi sekuensial terletak pada…

A. jumlah simbol proposisional yang dapat diganti
B. apakah kalimat hasil substitusi tetap tautologi
C. apakah hasil substitusi satu simbol dapat menjadi input substitusi simbol lain dalam langkah yang sama
D. apakah kalimat pengganti harus berupa kalimat atomik

Jawaban: C. Substitusi serentak melakukan semua penggantian secara bersamaan, sehingga hasil substitusi satu simbol tidak menjadi input bagi substitusi simbol lain dalam langkah yang sama. Sebaliknya, pada substitusi sekuensial, penggantian dilakukan bertahap sehingga hasil substitusi sebelumnya dapat memengaruhi substitusi berikutnya.

55. Budi mempelajari Lema Substitusi dan bertanya: jika suatu kalimat bukan tautologi, apakah hasil substitusi multi darinya pasti bukan tautologi juga…

A. ya, karena Lema Substitusi berlaku dua arah
B. ya, karena substitusi tidak mengubah struktur logika
C. tidak, karena substitusi multi hanya berlaku untuk kalimat valid
D. tidak, karena hasil substitusi pada kalimat non-tautologi bisa saja menjadi tautologi

Jawaban: D. Lema Substitusi hanya menjamin bahwa hasil substitusi dari tautologi tetap tautologi. Namun, kalimat non-tautologi dapat menjadi tautologi setelah substitusi, misalnya kalimat P yang bukan tautologi jika disubstitusi menjadi Q ∨ ¬Q akan menjadi tautologi. Jadi arah sebaliknya tidak dijamin.

56. Perbedaan esensial antara logika proposisional dan logika predikat terletak pada…

A. jumlah konektif logika yang digunakan
B. apakah kalimat dapat bernilai benar atau salah
C. apakah tabel kebenaran dapat digunakan untuk evaluasi
D. kemampuan untuk menyatakan relasi antar objek dan kuantifikasi atas domain

Jawaban: D. Logika predikat memperluas logika proposisional dengan menambahkan predikat yang menyatakan relasi atau properti objek, serta kuantor universal dan eksistensial yang memungkinkan kuantifikasi atas elemen domain. Ini memungkinkan penalaran tentang sifat objek dan hubungan antar objek yang tidak dapat diekspresikan dalam logika proposisional.

57. Dalam logika predikat, simbol yang menyatakan properti atau relasi dari objek dalam domain disebut…

A. kuantor
B. predikat
C. fungsi
D. variabel

Jawaban: B. Predikat adalah simbol yang menyatakan relasi atau properti dari suatu objek atau individu dalam domain. Predikat menerima satu atau lebih term sebagai argumen dan menghasilkan nilai kebenaran. Contohnya P(x) bisa berarti 'x adalah bilangan prima'.

58. PT Analitika membangun sistem pakar untuk diagnosis penyakit. Tim mengembangkan basis pengetahuan yang memerlukan pernyataan 'terdapat setidaknya satu obat yang efektif untuk semua pasien'. Representasi logika predikat yang tepat menggunakan kuantor adalah…

A. ∀p ∃o Efektif(o, p)
B. ∃o ∃p Efektif(o, p)
C. ∀o ∀p Efektif(o, p)
D. ∃o ∀p Efektif(o, p)

Jawaban: D. Pernyataan 'terdapat setidaknya satu obat yang efektif untuk semua pasien' berarti ada suatu obat o sedemikian sehingga untuk setiap pasien p, o efektif untuk p. Ini direpresentasikan dengan ∃o ∀p Efektif(o, p). Urutan kuantor sangat penting: ∃o ∀p berbeda makna dengan ∀p ∃o.

59. Dalam kalimat logika predikat ∀x (P(x) → ∃y Q(x, y)), variabel y tergolong sebagai…

A. variabel bebas karena berada setelah kuantor ∃
B. variabel terikat karena muncul bersama variabel x
C. variabel bebas karena muncul dalam predikat Q
D. variabel terikat karena berada dalam cakupan kuantor ∃

Jawaban: D. Variabel y berada dalam cakupan kuantor ∃y, sehingga ia merupakan variabel terikat. Kuantor ∃y mengikat semua kemunculan y dalam cakupannya. Sebaliknya, variabel yang tidak diikat oleh kuantor mana pun disebut variabel bebas.

60. Fungsi dalam logika predikat berbeda dari predikat karena fungsi…

A. memetakan term ke suatu term, sedangkan predikat memetakan term ke nilai kebenaran
B. menghasilkan nilai kebenaran, sedangkan predikat menghasilkan objek
C. hanya dapat menerima satu argumen
D. selalu bernilai benar

Jawaban: A. Fungsi memetakan satu atau lebih term (argumen) ke suatu term tunggal (nilai objek dalam domain), sedangkan predikat memetakan term ke nilai kebenaran (benar atau salah). Contoh: f(x) adalah fungsi yang menghasilkan objek, sedangkan P(x) adalah predikat yang menghasilkan true atau false.

61. Misalkan domain D = {1, 2, 3} dan interpretasi menetapkan P(x) bernilai benar untuk x = 1, 2 dan salah untuk x = 3. Nilai kebenaran kalimat ∀x P(x) → ∃x ¬P(x) pada interpretasi tersebut adalah…

A. benar, karena antesedennya salah
B. salah, karena konsekuennya salah
C. benar, karena terdapat elemen yang membuat P salah
D. salah, karena semua elemen memenuhi P

Jawaban: A. Pada domain tersebut, ∀x P(x) bernilai salah karena P(3) salah. Dalam implikasi, jika anteseden salah maka implikasi bernilai benar terlepas dari nilai konsekuennya. Konsekuen ∃x ¬P(x) memang benar karena ada x=3 yang membuat ¬P(x) benar, tetapi nilai implikasi sudah ditentukan oleh anteseden yang salah.

62. Seorang mahasiswa mengevaluasi kalimat ∃x ∀y (y ≤ x) dengan domain bilangan asli {1, 2, 3,…} dan interpretasi ≤ sebagai relasi kurang dari atau sama dengan. Nilai kebenaran kalimat tersebut adalah…

A. benar, karena ada bilangan yang lebih besar atau sama dengan semua bilangan
B. salah, karena tidak ada bilangan asli terbesar
C. benar, karena untuk setiap y terdapat x yang lebih besar
D. salah, karena domain tidak terbatas

Jawaban: B. Kalimat ∃x ∀y (y ≤ x) berarti ada suatu bilangan asli x yang lebih besar atau sama dengan semua bilangan asli. Pada domain bilangan asli, tidak ada bilangan terbesar karena untuk setiap bilangan selalu ada bilangan yang lebih besar. Jadi kalimat tersebut bernilai salah.

63. Perbedaan antara variabel bebas dan variabel terikat dalam logika predikat adalah…

A. variabel bebas nilainya selalu benar, variabel terikat nilainya tidak tentu
B. variabel bebas selalu muncul dalam predikat, variabel terikat dalam fungsi
C. variabel terikat berada dalam cakupan suatu kuantor, sedangkan variabel bebas tidak diikat kuantor mana pun
D. variabel terikat hanya muncul pada kuantor universal

Jawaban: C. Variabel terikat (bound variable) adalah variabel yang berada dalam cakupan suatu kuantor dan nilainya ditentukan oleh kuantor tersebut. Variabel bebas (free variable) tidak diikat oleh kuantor mana pun sehingga nilainya harus ditentukan dari luar konteks kalimat melalui assignment.

64. Dalam mengevaluasi kalimat berkuantor universal ∀x P(x), langkah paling tepat adalah…

A. mengecek semua elemen domain dan memastikan P(x) benar untuk setiap elemen
B. mencari satu elemen domain yang membuat P(x) benar
C. mengecek apakah domain memiliki paling sedikit satu elemen
D. menghitung jumlah elemen domain yang membuat P(x) benar

Jawaban: A. Kalimat berkuantor universal ∀x P(x) bernilai benar jika dan hanya jika P(x) benar untuk semua elemen dalam domain. Evaluasi harus memeriksa setiap elemen domain. Jika ditemukan satu saja elemen yang membuat P(x) salah, maka kalimat tersebut bernilai salah.

65. PT DataCerdas mengembangkan sistem verifikasi formal. Tim perlu menentukan nilai kalimat ∃x (P(x) ∧ Q(x)) pada domain D = {a, b, c} dengan P bernilai benar untuk a dan b, Q bernilai benar untuk b dan c. Nilai kalimat tersebut adalah…

A. benar, karena P bernilai benar untuk dua elemen
B. salah, karena tidak ada elemen yang memenuhi P saja
C. benar, karena terdapat elemen b yang memenuhi P(b) dan Q(b) sekaligus
D. salah, karena Q bernilai benar untuk elemen yang berbeda dengan P

Jawaban: C. Kalimat ∃x (P(x) ∧ Q(x)) bernilai benar jika ada setidaknya satu elemen yang memenuhi kedua predikat sekaligus. Pada domain tersebut, elemen b memenuhi P(b) benar dan Q(b) benar, sehingga konjungsi P(b) ∧ Q(b) benar dan akibatnya kalimat eksistensial bernilai benar.

66. Interpretasi yang diperluas dalam logika predikat terdiri dari…

A. hanya domain dan pemberian nilai pada variabel bebas
B. domain, fungsi interpretasi untuk simbol predikat, fungsi, dan konstanta, serta assignment untuk variabel bebas
C. hanya tabel kebenaran yang diperluas untuk semua kemungkinan predikat
D. pohon semantik dengan node tambahan untuk kuantor

Jawaban: B. Interpretasi yang diperluas I dalam logika predikat mencakup domain D, fungsi interpretasi yang memberikan makna pada simbol predikat, fungsi, dan konstanta ke dalam domain D, serta assignment yang memetakan variabel bebas ke elemen domain. Ini lebih kompleks dibanding interpretasi pada logika proposisional yang hanya memetakan simbol ke nilai kebenaran.

67. Budi mempelajari evaluasi term dalam logika predikat. Diberikan term f(g(a), x) dengan interpretasi: domain bilangan bulat, a = 2, f(u,v) = u + v, g(w) = w^2, dan assignment x = 3. Nilai term tersebut adalah…

A. 5
B. 11
C. 7
D. 13

Jawaban: C. Evaluasi term dilakukan dari dalam ke luar: a dievaluasi menjadi 2, g(a) = g(2) = 2^2 = 4, x dievaluasi menjadi 3, lalu f(g(a), x) = f(4, 3) = 4 + 3 = 7. Nilai term dihitung berdasarkan interpretasi fungsi, konstanta, dan assignment variabel.

68. Perbedaan antara interpretasi (domain dan fungsi interpretasi) dengan assignment dalam logika predikat adalah…

A. interpretasi hanya berlaku untuk predikat, sedangkan assignment untuk fungsi
B. interpretasi menentukan domain, sedangkan assignment menentukan nilai variabel bebas dalam domain tersebut
C. interpretasi dan assignment adalah dua istilah untuk konsep yang sama
D. interpretasi digunakan saat evaluasi, sedangkan assignment tidak

Jawaban: B. Interpretasi I menetapkan domain D dan memberikan makna pada simbol predikat, fungsi, dan konstanta. Assignment σ adalah fungsi terpisah yang memetakan variabel bebas ke elemen tertentu dalam domain D. Keduanya diperlukan untuk mengevaluasi kalimat yang mengandung variabel bebas.

69. Dalam logika predikat, evaluasi nilai suatu term seperti f(g(a), x) memerlukan informasi yang lengkap. Komponen utama yang membedakan interpretasi yang diperluas dari interpretasi biasa adalah…

A. adanya domain dan fungsi interpretasi pada simbol
B. adanya tabel kebenaran yang diperluas untuk kuantor
C. adanya assignment yang memetakan variabel bebas ke elemen domain
D. adanya aturan semantik khusus untuk konektif

Jawaban: C. Interpretasi biasa hanya memberikan makna pada simbol predikat, fungsi, dan konstanta, sedangkan interpretasi yang diperluas melibatkan juga assignment, yaitu pemetaan nilai untuk setiap variabel bebas.

70. Budi bekerja di PT LogiTech dan harus mengevaluasi nilai kalimat ∀x P(x, f(x)) pada domain D = {1,2,3}. Ia telah mendefinisikan interpretasi untuk simbol P dan f, serta menyiapkan assignment yang diperlukan. Komponen yang memastikan Budi tahu elemen domain mana yang dirujuk oleh setiap variabel bebas yang mungkin muncul disebut…

A. domain semantik
B. fungsi interpretasi
C. klosur eksistensial
D. assignment variabel

Jawaban: D. Assignment adalah fungsi yang memetakan setiap variabel bebas ke elemen domain D, sehingga nilai variabel diketahui saat evaluasi.

71. PT DataCerdas sedang mengembangkan sistem verifikasi formal. Tim mendefinisikan kalimat logika predikat yang bernilai benar pada semua interpretasi dan semua assignment yang mungkin. Dalam terminologi logika, kalimat tersebut diklasifikasikan sebagai…

A. kalimat valid
B. kontradiksi
C. satisfiable
D. kalimat atomik

Jawaban: A. Kalimat tertutup yang bernilai benar di bawah semua interpretasi dan semua assignment disebut valid dalam logika predikat.

72. Seorang mahasiswa mengevaluasi dua kalimat tertutup: kalimat X bernilai benar di setidaknya satu interpretasi, sedangkan kalimat Y selalu bernilai salah di semua interpretasi. Klasifikasi yang tepat untuk X dan Y adalah…

A. X valid, Y satisfiable
B. X unsatisfiable, Y satisfiable
C. X kontradiksi, Y valid
D. X satisfiable, Y unsatisfiable

Jawaban: D. Kalimat satisfiable bernilai benar pada minimal satu interpretasi, sedangkan kalimat unsatisfiable (kontradiksi) selalu bernilai salah di semua interpretasi.

73. Dalam membandingkan validitas di logika proposisional dan logika predikat, suatu kalimat logika predikat dikatakan valid jika bernilai benar pada…

A. semua interpretasi pada domain berhingga saja
B. semua interpretasi dan semua assignment yang mungkin
C. sedikitnya satu interpretasi dengan domain tak hingga
D. semua interpretasi tanpa memperhatikan assignment

Jawaban: B. Validitas dalam logika predikat mensyaratkan kebenaran kalimat di bawah semua interpretasi (domain dan fungsi interpretasi) serta semua assignment untuk variabel bebas.

74. Siti menganalisis kalimat ∃x ∀y P(x, y) pada domain tertentu. Ia menemukan bahwa kalimat tersebut bernilai benar pada satu interpretasi I1, tetapi bernilai salah pada interpretasi I2. Kesimpulan yang tepat tentang sifat kalimat tersebut adalah…

A. kalimat valid karena ada interpretasi yang membuatnya benar
B. kalimat unsatisfiable karena ada interpretasi yang membuatnya salah
C. kalimat satisfiable dan tidak valid
D. kalimat kontradiksi

Jawaban: C. Kalimat yang benar pada setidaknya satu interpretasi tetapi salah pada interpretasi lain tergolong satisfiable dan tidak valid.

75. Sebuah argumen dalam logika predikat dinyatakan valid jika dan hanya jika…

A. kesimpulan bernilai benar pada semua interpretasi
B. konjungsi premis dan negasi kesimpulan adalah satisfiable
C. premis-premisnya adalah kalimat valid
D. pada setiap interpretasi di mana semua premis benar, kesimpulan juga benar

Jawaban: D. Validitas argumen berarti bahwa pada setiap interpretasi yang membuat semua premis benar, kesimpulan harus ikut benar, yang merupakan definisi implikasi logis.

76. Dalam logika predikat, operasi mengganti suatu variabel bebas di dalam kalimat dengan suatu term secara seragam disebut…

A. substitusi multi
B. variable renaming
C. agreement
D. substitusi term

Jawaban: D. Substitusi term adalah penggantian variabel bebas dalam kalimat dengan suatu term secara seragam pada semua kemunculannya.

77. Seorang mahasiswa menulis formula P(x) ∨ Q(x, y) dan ingin mengubahnya menjadi kalimat tertutup. Formula semacam ini yang masih mengandung variabel bebas dikategorikan sebagai…

A. formula terbuka
B. klosur universal
C. kalimat tertutup
D. term majemuk

Jawaban: A. Formula yang masih memiliki kemunculan variabel bebas disebut formula terbuka, berbeda dengan kalimat tertutup yang semua variabelnya terikat oleh kuantor.

78. Suatu formula universal dianggap valid jika dan hanya jika…

A. formula tersebut bernilai benar pada suatu domain
B. universal closure-nya adalah kalimat valid
C. semua variabelnya adalah variabel bebas
D. existential closure-nya adalah kalimat satisfiable

Jawaban: B. Formula terbuka disebut valid jika universal closure-nya, yaitu hasil membubuhkan kuantor universal pada semua variabel bebasnya, merupakan kalimat valid.

79. PT VerifSolusi ingin mengonversi formula Q(x) ∧ R(y) menjadi kalimat tertutup untuk kebutuhan verifikasi. Manakah di antara berikut yang merupakan kalimat tertutup…

A. Q(x) ∧ R(y)
B. ∀x Q(x) ∧ R(y)
C. ∀x ∀y (Q(x) ∧ R(y))
D. Q(a) ∧ R(b) di mana a, b adalah konstanta

Jawaban: C. Kalimat tertutup tidak memiliki variabel bebas. Opsi C mengikat semua variabel dengan kuantor universal sehingga menjadi kalimat tertutup. Opsi D bukan kalimat tertutup jika a dan b adalah variabel bebas; namun jika a, b adalah konstanta, itu juga tertutup. Dalam konteks ini, pembubuhan kuantor adalah cara standar membentuk kalimat tertutup.

80. Budi membandingkan dua interpretasi I1 dan I2 untuk kalimat yang sama. Ia menemukan bahwa I1 dan I2 memiliki domain identik dan memberi penafsiran yang sama pada semua simbol yang muncul di kalimat tersebut. Hubungan antara I1 dan I2 ini dalam logika predikat disebut…

A. agreement pada simbol
B. ekuivalensi logis
C. unifikasi interpretasi
D. assignment yang kongruen

Jawaban: A. Agreement adalah hubungan antara dua interpretasi yang memiliki domain sama dan memberikan penafsiran identik pada simbol-simbol tertentu.

81. Coincidence Lemma dalam logika predikat menyatakan bahwa nilai kebenaran suatu kalimat hanya bergantung pada…

A. semua simbol yang terdefinisi dalam signature bahasa
B. simbol-simbol yang benar-benar muncul di dalam kalimat tersebut
C. assignment pada semua variabel yang mungkin
D. domain terbesar yang memuat semua elemen

Jawaban: B. Coincidence Lemma menegaskan bahwa evaluasi kalimat atau term hanya bergantung pada interpretasi simbol-simbol yang benar-benar muncul di dalamnya.

82. Pada suatu proyek, tim menggunakan dua interpretasi I dan J yang berbeda untuk domain yang sama. Kedua interpretasi sepakat pada semua simbol predikat, fungsi, dan konstanta yang muncul dalam kalimat A. Berdasarkan Coincidence Lemma, nilai kebenaran A pada I dan J akan…

A. selalu berbeda karena interpretasi berbeda
B. bergantung pada assignment, bukan interpretasi
C. selalu sama karena agreement pada simbol yang muncul
D. tidak dapat ditentukan tanpa tabel kebenaran

Jawaban: C. Coincidence Lemma menjamin bahwa nilai kalimat hanya bergantung pada interpretasi simbol yang muncul di dalamnya, sehingga jika dua interpretasi sepakat pada simbol-simbol tersebut, nilai kalimat akan sama.

83. PT CerdasLogika mengembangkan alat bantu pembuktian. Alat tersebut memanfaatkan universal closure untuk mengubah formula terbuka menjadi kalimat tertutup. Operasi ini bekerja dengan cara…

A. menambahkan kuantor universal pada semua variabel bebas
B. menghapus semua variabel bebas dari formula
C. mengganti semua variabel dengan konstanta baru
D. menambahkan kuantor eksistensial pada semua variabel bebas

Jawaban: A. Universal closure mengikat semua variabel bebas suatu formula dengan kuantor universal sehingga menghasilkan kalimat tertutup.

84. Perbedaan utama antara universal closure dan existential closure terletak pada…

A. domain yang digunakan dalam evaluasi
B. jenis kuantor yang dibubuhkan pada variabel bebas
C. jumlah variabel bebas yang diikat
D. apakah formula asli valid atau satisfiable

Jawaban: B. Universal closure membubuhkan kuantor ∀ pada semua variabel bebas, sedangkan existential closure membubuhkan kuantor ∃, sehingga jenis kuantornya berbeda.

85. Diberikan dua interpretasi I dan J untuk logika predikat dengan domain D yang sama. Jika I dan J sepakat pada semua simbol fungsi dan konstanta, tetapi berbeda untuk satu simbol predikat P, maka untuk setiap kalimat yang tidak memuat P…

A. nilai kebenarannya di I selalu berbeda dengan di J
B. nilai kebenarannya di I dan J selalu sama
C. nilai kebenarannya di I dan J bisa sama atau berbeda tergantung assignment
D. kalimat tersebut tidak dapat dievaluasi pada kedua interpretasi

Jawaban: B. Berdasarkan Coincidence Lemma, nilai kebenaran suatu kalimat hanya bergantung pada interpretasi simbol-simbol yang muncul di dalamnya. Karena kalimat tersebut tidak memuat simbol predikat P, maka perbedaan interpretasi terhadap P tidak memengaruhi nilai kebenarannya. Akibatnya, nilai kebenaran kalimat itu di I dan J pasti sama.

86. Seorang mahasiswa ingin mengubah formula P(x) ∧ Q(y) → R(x) menjadi kalimat tertutup dengan cara membubuhkan kuantor universal pada setiap variabel bebasnya. Operasi yang dilakukan mahasiswa ini disebut…

A. Existential closure
B. Universal closure
C. Substitusi term
D. Interpretasi yang diperluas

Jawaban: B. Universal closure adalah operasi membubuhkan kuantor ∀ pada semua variabel bebas suatu formula untuk menjadikannya kalimat tertutup.

87. Budi memiliki formula terbuka A(x) yang mengandung satu variabel bebas x. Ia mengetahui bahwa kalimat ∃x A(x) bernilai benar di semua interpretasi. Berdasarkan fakta ini, formula terbuka A(x) diklasifikasikan sebagai…

A. Tautologi
B. Satisfiable
C. Valid
D. Kontradiksi

Jawaban: B. Formula terbuka dianggap valid jika dan hanya jika universal closure-nya valid. Karena hanya diberikan bahwa existential closure-nya benar, formula terbuka tersebut bersifat satisfiable, yaitu bernilai benar pada setidaknya satu interpretasi.

88. PT VerifSolusi perlu memverifikasi suatu spesifikasi formal yang ditulis sebagai formula dengan variabel bebas. Tim memutuskan untuk menguji validitas formula tersebut. Menurut definisi standar, suatu formula terbuka dianggap valid jika…

A. Existential closure-nya bernilai benar pada setidaknya satu interpretasi
B. Formula tersebut bernilai benar pada domain berhingga
C. Formula tersebut tidak mengandung variabel bebas
D. Universal closure-nya merupakan kalimat yang valid

Jawaban: D. Validitas formula terbuka didefinisikan melalui universal closure-nya; formula terbuka valid jika dan hanya jika universal closure-nya adalah kalimat valid.

89. Seorang pengembang sistem di PT LogikaCerdas ingin mengubah formula dengan variabel bebas menjadi kalimat tertutup menggunakan universal closure dan existential closure. Ia mengamati bahwa pada domain D={1,2,3} dengan interpretasi yang sama, nilai kebenaran kalimat hasil universal closure dan existential closure bisa berbeda. Perbedaan operasional utama antara universal closure dan existential closure terletak pada…

A. Penambahan kuantor pada setiap variabel bebas; universal closure selalu menghasilkan kalimat benar, sedangkan existential closure selalu menghasilkan kalimat salah…
B. Jenis kuantor yang dibubuhkan; universal closure membubuhkan kuantor universal pada setiap variabel bebas, sedangkan existential closure membubuhkan kuantor eksistensial…
C. Urutan variabel yang diikat; universal closure mengikat variabel dari kiri ke kanan, sedangkan existential closure mengikat dari kanan ke kiri…
D. Sifat kalimat hasil; universal closure menghasilkan kalimat valid, sedangkan existential closure menghasilkan kalimat kontradiksi…

Jawaban: B. Perbedaan operasional utama antara universal closure dan existential closure terletak pada jenis kuantor yang dibubuhkan. Universal closure membubuhkan kuantor universal pada setiap variabel bebas, sedangkan existential closure membubuhkan kuantor eksistensial. Keduanya sama-sama mengubah formula terbuka menjadi kalimat tertutup dengan mengikat semua variabel bebas, tetapi menghasilkan kalimat dengan makna semantik yang berbeda karena jenis kuantornya berbeda.

90. Ani memiliki formula Q(x, y) dengan dua variabel bebas. Ia melakukan existential closure dan memperoleh suatu kalimat tertutup. Manakah di antara berikut yang merupakan hasil operasi tersebut…

A. ∀x ∀y Q(x, y)
B. ∀x ∃y Q(x, y)
C. ∃x ∀y Q(x, y)
D. ∃x ∃y Q(x, y)

Jawaban: D. Existential closure berarti membubuhkan kuantor eksistensial pada semua variabel bebas. Formula Q(x, y) dengan dua variabel bebas menjadi ∃x ∃y Q(x, y).

91. Sebuah tim verifikasi di PT LogiTech menerapkan hasil substitusi suatu kalimat valid logika proposisional ke dalam kerangka logika predikat. Tim menemukan bahwa kalimat hasil substitusi tersebut juga valid dalam logika predikat. Fenomena ini terjadi karena kalimat hasil substitusi merupakan…

A. Instance kalimat valid
B. Kalimat satisfiable
C. Kalimat ekuivalen logis
D. Interpretasi yang diperluas

Jawaban: A. Instance kalimat valid adalah hasil substitusi suatu kalimat valid logika proposisional ke dalam kalimat logika predikat; sifat kevalidannya tetap terjaga dalam kerangka logika predikat.

92. PT Maju Jaya mendefinisikan spesifikasi sistem yang harus dipenuhi di semua implementasi yang memenuhi syarat keamanan tertentu. Suatu kalimat yang menjadi valid hanya pada interpretasi-interpretasi yang memenuhi syarat tambahan tersebut dikategorikan sebagai…

A. Kalimat satisfiable
B. Kalimat kontradiksi
C. Kalimat valid bersyarat
D. Kalimat tautologi

Jawaban: C. Validitas bersyarat berarti suatu kalimat menjadi valid dalam semua interpretasi yang memenuhi syarat tambahan tertentu, bukan pada semua interpretasi mutlak.

93. Diketahui bahwa kalimat A adalah valid dan kalimat A → B juga valid. Berdasarkan sifat klosur terhadap implikasi, apa yang dapat disimpulkan tentang B…

A. B adalah satisfiable
B. B pasti juga valid
C. B pasti kontradiksi
D. B ekuivalen logis dengan A

Jawaban: B. Sifat klosur terhadap implikasi menyatakan bahwa jika A valid dan A → B valid, maka B juga valid; kevalidan menutup di bawah implikasi.

94. Seorang analis membandingkan dua konsep: validitas umum dan validitas bersyarat. Validitas umum mengharuskan kalimat bernilai benar di semua interpretasi, sedangkan validitas bersyarat hanya mengharuskan kebenaran pada…

A. Interpretasi dengan domain berhingga
B. Interpretasi yang menggunakan assignment kosong
C. Interpretasi yang memenuhi syarat tambahan tertentu
D. Interpretasi dengan domain tak berhingga

Jawaban: C. Validitas bersyarat membatasi cakupan interpretasi hanya pada yang memenuhi syarat tambahan tertentu; di luar syarat itu kalimat boleh bernilai salah tanpa membatalkan status valid bersyaratnya.

95. Siti memiliki kalimat valid logika proposisional P ∨ ¬P. Ia mengganti simbol proposisional P dengan kalimat logika predikat ∀x R(x) dan memperoleh ∀x R(x) ∨ ¬∀x R(x). Klasifikasi kalimat hasil substitusi ini dalam logika predikat adalah…

A. Valid
B. Kontradiksi
C. Satisfiable
D. Kontingen

Jawaban: A. Hasil substitusi dari kalimat valid proposisional ke dalam logika predikat merupakan instance kalimat valid yang tetap valid dalam kerangka logika predikat.

96. Budi akan mensubstitusi term f(x) ke dalam variabel y pada formula ∀x P(y, x). Sebelum melakukan substitusi, ia mengamati bahwa variabel x pada term f(x) dapat tertangkap oleh kuantor ∀x di formula target. Fenomena yang dikhawatirkan Budi ini disebut…

A. Variable renaming
B. Variable capturing
C. Value property
D. Safe substitution

Jawaban: B. Variable capturing adalah tertangkapnya variabel bebas dari term pengganti oleh kuantor di formula target secara tidak sengaja setelah substitusi dilakukan.

97. PT DataCerdas mengembangkan alat substitusi otomatis. Alat ini harus memastikan bahwa setelah substitusi, tidak ada variabel bebas dari term pengganti yang menjadi terikat. Jenis substitusi yang memenuhi syarat keamanan ini disebut…

A. Substitusi sekuensial
B. Substitusi multi
C. Substitusi parsial
D. Substitusi aman

Jawaban: D. Substitusi aman adalah substitusi term ke dalam variabel yang tidak menyebabkan variabel bebas dari term pengganti tertangkap oleh kuantor di tempat substitusi dilakukan.

98. Untuk menghindari variable capturing saat mensubstitusi term g(x, z) ke variabel y di dalam formula ∀x P(y, x), seorang mahasiswa mengganti nama variabel terikat x menjadi w sehingga formula menjadi ∀w P(y, w). Teknik ini dikenal sebagai…

A. Variable renaming
B. Value property
C. Safe substitution
D. Coincidence lemma

Jawaban: A. Variable renaming adalah teknik mengubah nama variabel terikat untuk menghindari tertangkapnya variabel bebas dari term pengganti oleh kuantor sebelum dilakukan substitusi.

99. Di PT VerifSolusi, seorang insinyur mengubah nama variabel terikat pada suatu formula sebelum melakukan substitusi. Ia mengandalkan prinsip bahwa penggantian nama variabel terikat tidak mengubah nilai kebenaran kalimat. Prinsip ini dalam logika predikat dikenal sebagai…

A. Coincidence lemma
B. Agreement
C. Safe substitution
D. Value property

Jawaban: D. Value property menyatakan bahwa nilai kebenaran kalimat hanya bergantung pada domain, interpretasi simbol, dan assignment variabel bebas; penggantian nama variabel terikat tidak memengaruhi nilai kebenaran tersebut.

100. Budi membandingkan dua pendekatan: mensubstitusi langsung term ke variabel tanpa pengecekan, dan mensubstitusi setelah memastikan tidak ada variable capturing. Risiko utama dari pendekatan pertama adalah…

A. Term pengganti menjadi lebih panjang
B. Domain interpretasi berubah
C. Variabel bebas dari term pengganti dapat menjadi terikat oleh kuantor
D. Jumlah variabel bebas berkurang

Jawaban: C. Tanpa pengecekan variable capturing, variabel bebas dari term pengganti berisiko tertangkap secara tidak sengaja oleh kuantor di formula target, mengubah makna logis kalimat hasil substitusi.

MSIM4103 — Logika Informatika

Latihan Tambahan dengan AI