” , pertanyaan yang sering muncul di grup diskusi sebelum ujian. Modul 1 dan Modul 2 membahas dua hal dasar ini, dari aturan sintaktik kalimat proposisional sampai interpretasi yang diperluas. Dua modul itu fondasi seluruh materi selanjutnya. Kumpulan soal UT di halaman ini sengaja kami susun dari situ agar kamu langsung fokus ke inti yang sering diujikan. Jadi, buka dulu tabel kebenaranmu. Soal MSIM4103 Logika Informatika biasanya mulai dari sana.
Modul 3 tentang pohon semantik dan Modul 4 yang membahas proof by falsification adalah dua topik yang paling bikin mahasiswa mengernyitkan dahi. Bukan karena rumit, tapi karena cara baca pohonnya punya aturan sendiri. Coba kerjakan soal dari modul itu dulu. Prediksi soal UAS Sistem Informasi ini mencakup metode pembuktian validitas yang sering keluar di UAS, jadi kamu bisa ukur sejauh mana pemahamanmu.
Soal Ujian UT di bawah ini langsung menguji kemampuanmu menerjemahkan kalimat logika proposisional ke pohon semantik dan sebaliknya. Setiap soal dilengkapi kunci jawaban dan pembahasan langkah demi langkah, bukan sekadar jawaban akhir. Kalau ada langkah yang terlewat, tinggal bandingkan dengan pembahasan yang kami sediakan. Bank soal UAS UT ini bikin proses belajarmu lebih terarah tanpa harus bolak-balik cek modul.
Soal UT MSIM4103 Logika Informatika
Dalam logika proposisional, manakah dari berikut ini yang merupakan kalimat proposisional yang benar secara sintaktik?
Kalimat proposisional yang benar secara sintaktik harus menggunakan operator logika yang valid seperti dan. P ∧ Q menggunakan operator dan yang sesuai.
Apa yang dimaksud dengan atom dalam logika proposisional?
Atom adalah simbol variabel proposisional yang tidak dapat diuraikan lagi menjadi kalimat yang lebih sederhana.
Manakah dari berikut ini yang merupakan aturan sintaktik untuk membentuk kalimat proposisional yang benar?
Aturan sintaktik dasar menyatakan bahwa setiap atom adalah kalimat proposisional yang valid.
Dalam bahasa logika proposisional, simbol mana yang digunakan untuk menyatakan negasi?
Negasi dalam logika proposisional dilambangkan dengan simbol ¬.
Manakah dari berikut ini yang bukan merupakan kalimat proposisional yang valid secara sintaktik?
P ∧ Q R tidak valid karena tidak ada operator logika yang jelas antara Q dan R.
Apa peran tanda kurung dalam kalimat proposisional?
Tanda kurung digunakan untuk menunjukkan urutan operasi logika agar tidak ambigu.
Dalam interpretasi logika proposisional, apa yang dimaksud dengan interpretasi?
Interpretasi adalah pemberian nilai kebenaran (true/false) pada setiap atom dalam kalimat logika proposisional.
Jika diberikan atom P dan Q dengan interpretasi P = true dan Q = false, berapakah nilai dari kalimat P ∧ Q?
Operator dan menghasilkan true hanya jika kedua atom bernilai true. Karena Q false, P ∧ Q false.
Manakah notasi yang benar untuk menyatakan kalimat proposisional 'jika P maka Q'?
Implikasi 'jika P maka Q' dilambangkan dengan P → Q.
Dalam notasi logika proposisional, operator ∨ menyatakan operasi logika apa?
Simbol ∨ dalam logika proposisional digunakan untuk menyatakan operasi logika 'atau'.
Diberikan atom P, Q, dan R. Berapa jumlah interpretasi yang mungkin untuk ketiga atom tersebut?
Dengan tiga atom yang masing-masing dapat bernilai true atau false, jumlah interpretasi yang mungkin adalah 2^3 = 8.
Apa yang dimaksud dengan kalimat proposisional yang tautologi?
Tautologi adalah kalimat proposisional yang selalu bernilai true pada setiap interpretasi.
Berdasarkan aturan semantik logika proposisional, apa nilai dari kalimat P ∨ ¬P?
Kalimat P ∨ ¬P adalah tautologi, yaitu selalu bernilai true karena baik P true atau false, salah satu dari kedua bagian akan true.
Dalam penentuan nilai kalimat logika proposisional, jika diberikan interpretasi A = true dan B = false, tentukan nilai dari (A ∨ B) ∧ ¬B.
A ∨ B = true ∨ false = true, dan ¬B = ¬false = true, sehingga (true) ∧ (true) = true.
Aturan semantik untuk operator implikasi P → Q menyatakan bahwa kalimat tersebut bernilai false jika …
Implikasi P → Q hanya bernilai false ketika anteseden (P) true dan konsekuen (Q) false.
Apa yang dimaksud dengan interpretasi yang diperluas dalam logika proposisional?
Interpretasi yang diperluas adalah proses memberikan nilai kebenaran pada kalimat majemuk dengan menerapkan aturan semantik pada nilai atom yang telah ditentukan.
Dalam tabel kebenaran untuk kalimat P ∧ Q, berapa banyak baris yang menunjukkan nilai false?
Tabel kebenaran untuk P ∧ Q memiliki 4 baris (untuk kombinasi P dan Q). Kalimat P ∧ Q bernilai false pada 3 baris (P=true Q=false, P=false Q=true, P=false Q=false) dan true pada 1 baris (P=true Q=true).
Dalam menentukan nilai kebenaran kalimat logika proposisional, jika diketahui proposisi P bernilai true dan Q bernilai false, maka nilai dari (P AND Q) adalah…
Konjungsi (AND) bernilai true hanya jika kedua proposisi true. Karena Q false, maka P AND Q false.
Jika interpretasi I memberikan nilai true untuk proposisi A dan false untuk proposisi B, maka nilai dari (A OR B) pada interpretasi I adalah…
Disjungsi (OR) bernilai true jika salah satu proposisi true. A true, maka A OR B true.
Dalam tabel kebenaran, jika proposisi X dan Y memiliki nilai (true, true), (true, false), (false, true), (false, false), maka banyaknya baris tabel kebenaran untuk dua proposisi adalah…
Untuk n proposisi, jumlah baris tabel kebenaran adalah 2^n. Dengan n=2, maka 2^2=4 baris.
Pada interpretasi yang diperluas, jika diberikan interpretasi I dengan I(P)=true, I(Q)=false, dan I(R)=true, maka nilai dari (P AND Q) OR R adalah…
(P AND Q) bernilai false, kemudian false OR R (true) menghasilkan true.
Dalam tabel kebenaran untuk kalimat (A AND B) OR (NOT C), jika A true, B false, dan C true, maka hasilnya adalah…
A AND B bernilai false, NOT C bernilai false, maka false OR false adalah false.
Jika interpretasi I memenuhi I(P)=false, I(Q)=true, I(R)=false, maka nilai dari (P OR Q) AND (Q OR R) adalah…
P OR Q bernilai true, Q OR R bernilai true, maka true AND true adalah true.
Dalam tabel kebenaran untuk kalimat (X IMPLIES Y), jika X false dan Y true, maka nilai kebenarannya adalah…
Implikasi bernilai false hanya jika anteseden true dan konsekuen false. Karena anteseden false, implikasi true.
Dalam pohon semantik, cabang yang mengandung kontradiksi disebut…
Cabang tertutup adalah cabang yang mengandung kontradiksi, sehingga tidak dapat diperluas lebih lanjut.
Pada pohon semantik untuk kalimat (P AND Q) OR R, akar pohon semantik terdiri dari…
Akar pohon semantik memuat semua kemungkinan interpretasi untuk proposisi atomik yang muncul.
Jika suatu pohon semantik untuk kalimat K memiliki semua cabang tertutup, maka kalimat K bersifat…
Semua cabang tertutup berarti tidak ada counterexample, sehingga kalimat valid.
Dalam pohon semantik, jika suatu cabang tidak mengandung kontradiksi dan masih memiliki proposisi yang belum dievaluasi, maka cabang tersebut…
Cabang yang belum selesai dan tidak kontradiktif dapat diperluas dengan menambahkan nilai kebenaran untuk proposisi yang tersisa.
Pada pohon semantik untuk kalimat (A OR B) AND (NOT A), jika A true dan B false, maka cabang tersebut…
A true dan NOT A false menyebabkan kontradiksi, sehingga cabang tertutup.
Pohon semantik untuk kalimat (P AND NOT P) akan menghasilkan…
Kalimat kontradiksi seperti P AND NOT P selalu false, sehingga semua cabang tertutup.
Suatu kalimat logika proposisional disebut valid jika…
Kalimat valid memiliki nilai true untuk setiap kemungkinan interpretasi.
Kalimat yang memiliki interpretasi yang membuatnya true disebut…
Kalimat satisfiable adalah kalimat yang memiliki setidaknya satu interpretasi yang membuatnya true.
Jika suatu kalimat tidak memiliki interpretasi yang membuatnya true, maka kalimat tersebut bersifat…
Kalimat kontradiksi selalu false pada semua interpretasi, sehingga tidak ada interpretasi yang membuatnya true.
Kalimat yang kadang true dan kadang false tergantung interpretasi disebut…
Kalimat contingent memiliki nilai kebenaran yang bergantung pada interpretasi, bukan selalu true atau selalu false.
Manakah dari berikut ini yang merupakan sifat kalimat logika proposisional yang benar?
Sifat kalimat valid adalah kalimat yang memiliki nilai benar pada semua interpretasi. Kontradiksi adalah kebalikannya, yaitu semua interpretasi menghasilkan nilai salah.
Hakikat penelitian pendidikan adalah upaya sistematis untuk memperoleh pengetahuan yang valid tentang fenomena pendidikan. Manakah pernyataan yang paling sesuai dengan hakikat tersebut?
Hakikat penelitian pendidikan menekankan penggunaan metode ilmiah secara sistematis untuk memperoleh pengetahuan yang valid dan relevan dengan masalah pendidikan.
Ruang lingkup penelitian pendidikan mencakup berbagai aspek. Manakah contoh yang termasuk dalam ruang lingkup ini?
Ruang lingkup penelitian pendidikan meliputi aspek-aspek seperti metode pembelajaran, kurikulum, media, dan hasil belajar siswa. Pilihan A relevan dengan hal tersebut.
Manfaat penelitian pendidikan bagi guru adalah…
Penelitian pendidikan memberikan manfaat praktis bagi guru, seperti meningkatkan kualitas pembelajaran berdasarkan bukti ilmiah yang valid.
Salah satu tujuan penelitian pendidikan adalah deskripsi. Manakah contoh yang menggambarkan tujuan deskripsi?
Tujuan deskripsi dalam penelitian pendidikan adalah untuk menggambarkan fenomena secara sistematis, seperti karakteristik penggunaan teknologi di kelas.
Manakah pernyataan yang benar tentang manfaat penelitian pendidikan bagi pengambil kebijakan?
Penelitian pendidikan menyediakan data empiris yang dapat digunakan oleh pengambil kebijakan untuk membuat keputusan yang berbasis bukti.
Dalam proof by falsification, langkah pertama yang dilakukan adalah…
Proof by falsification dimulai dengan asumsi bahwa kalimat bernilai salah, kemudian dicari kontradiksi untuk membuktikan validitas kalimat.
Jika dalam proof by falsification ditemukan kontradiksi pada semua cabang, maka kalimat tersebut bersifat…
Apabila semua cabang dalam proof by falsification menghasilkan kontradiksi, maka kalimat tersebut valid karena tidak ada interpretasi yang membuatnya salah.
Manakah langkah yang benar dalam proof by falsification untuk kalimat (A and B) implies A?
Untuk membuktikan validitas, kita asumsikan kalimat bernilai salah, yaitu (A and B) benar dan A salah. Karena A salah, maka terjadi kontradiksi, sehingga kalimat valid.
Dalam proof by falsification, jika pada suatu cabang tidak ditemukan kontradiksi, maka kalimat tersebut…
Jika ada cabang yang tidak mengandung kontradiksi, maka ada interpretasi yang membuat kalimat salah, sehingga kalimat tidak valid.
Diberikan kalimat (P or Q) and not P. Dengan proof by falsification, manakah yang terjadi?
Asumsikan kalimat salah, berarti (P or Q) and not P salah. Ini bisa terjadi jika P salah dan Q benar (tidak kontradiksi). Jadi kalimat tidak valid.
Dalam proof by falsification, kontradiksi terjadi jika…
Kontradiksi dalam proof by falsification adalah ketika dalam satu cabang ditemukan proposisi yang harus bernilai benar dan salah secara bersamaan.
Dalam substitusi tunggal, jika P diganti dengan (Q and R) pada kalimat (P or not P), hasilnya adalah…
Substitusi tunggal mengganti semua kemunculan P dengan (Q and R) secara serentak, sehingga menghasilkan (Q and R) or not (Q and R).
Hasil substitusi tunggal not P dengan (Q implies R) pada kalimat (P and not P) adalah…
Substitusi tunggal mengganti not P dengan (Q implies R), sehingga kalimat menjadi (P and (Q implies R)). Perhatikan bahwa hanya not P yang diganti, bukan P.
Substitusi tunggal dilakukan dengan mengganti…
Substitusi tunggal mensyaratkan penggantian semua kemunculan proposisi yang sama secara serentak dengan formula baru.
Jika R adalah proposisi dalam kalimat (R and (R or S)), maka hasil substitusi tunggal R dengan (P or Q) adalah…
Semua kemunculan R diganti dengan (P or Q), sehingga menghasilkan ((P or Q) and ((P or Q) or S)).
Dalam substitusi multi, jika P diganti dengan Q dan Q diganti dengan P pada kalimat (P implies Q), hasilnya adalah…
Substitusi multi melakukan penggantian secara simultan: P diganti Q dan Q diganti P. Hasilnya (Q implies P).
Dalam substitusi multi pada logika proposisional, jika dilakukan substitusi terhadap dua proposisi P dan Q secara simultan pada kalimat (P dan Q) atau R, maka hasil substitusi P menjadi (A atau B) dan Q menjadi (C dan D) adalah?
Substitusi multi dilakukan secara serentak, sehingga P diganti (A atau B) dan Q diganti (C dan D), maka hasilnya ((A atau B) dan (C dan D)) atau R.
Pada substitusi multi, jika kalimat awal adalah (P atau Q) dan (R dan S), dan dilakukan substitusi P menjadi (X dan Y), R menjadi (X atau Y), maka hasil substitusinya adalah?
Substitusi multi mengganti P dengan (X dan Y) dan R dengan (X atau Y) secara bersamaan, menghasilkan ((X dan Y) atau Q) dan ((X atau Y) dan S).
Jika kalimat logika proposisional adalah (P -> Q) dan (Q -> R), dan dilakukan substitusi multi P menjadi (R atau S), Q menjadi (P dan S), maka hasil substitusinya adalah?
Substitusi multi mengganti P dan Q secara simultan, sehingga P menjadi (R atau S) dan Q menjadi (P dan S), menghasilkan ((R atau S) -> (P dan S)) dan ((P dan S) -> R).
Pada substitusi multi, jika kalimat (P dan Q) diganti dengan (A dan B) dan P menjadi (C atau D), Q menjadi (E dan F), maka hasil substitusi (P dan Q) menjadi?
Substitusi multi mengganti P dengan (C atau D) dan Q dengan (E dan F) secara bersamaan, menghasilkan (C atau D) dan (E dan F).
Dalam logika predikat, kalimat 'Semua mahasiswa rajin belajar' jika dinyatakan dengan predikat Mahasiswa(x) dan Rajin(x) dan menggunakan kuantor universal adalah?
Kalimat 'Semua mahasiswa rajin belajar' berarti jika x adalah mahasiswa maka x rajin, sehingga menggunakan kuantor universal dengan implikasi: untuk semua x (Mahasiswa(x) -> Rajin(x)).
Kalimat logika predikat 'Beberapa bilangan genap adalah prima' dengan predikat Genap(x) dan Prima(x) dinyatakan sebagai?
Kalimat 'Beberapa bilangan genap adalah prima' berarti terdapat x yang genap dan prima, sehingga menggunakan kuantor eksistensial dengan konjungsi: ada x (Genap(x) dan Prima(x)).
Jika predikat M(x) berarti 'x adalah manusia' dan F(x) berarti 'x fana', maka kalimat 'Semua manusia fana' dalam logika predikat adalah?
'Semua manusia fana' berarti jika x manusia maka x fana, sehingga menggunakan kuantor universal dengan implikasi: untuk semua x (M(x) -> F(x)).
Dalam logika predikat, kalimat 'Tidak ada kucing yang bisa terbang' dengan predikat Kucing(x) dan Terbang(x) dinyatakan sebagai?
'Tidak ada kucing yang bisa terbang' berarti tidak terdapat x yang merupakan kucing dan bisa terbang, sehingga dengan kuantor negasi eksistensial: tidak ada x (Kucing(x) dan Terbang(x)).
Kalimat 'Ada bilangan yang lebih besar dari semua bilangan' jika dinyatakan dengan predikat Bilangan(x) dan LebihBesar(x,y) adalah?
'Ada bilangan yang lebih besar dari semua bilangan' berarti terdapat x yang bilangan dan untuk setiap y jika y bilangan maka x lebih besar dari y, sehingga A benar.
Pada kalimat logika predikat 'untuk semua x (P(x) -> Q(x))', jika domain adalah {a,b} dan P(a)=benar, P(b)=salah, Q(a)=benar, Q(b)=benar, maka nilai kalimat tersebut adalah?
Untuk x=a: P(a) -> Q(a) = benar -> benar = benar. Untuk x=b: P(b) -> Q(b) = salah -> benar = benar. Karena semua x menghasilkan benar, maka kalimat bernilai benar.
Diketahui domain bilangan bulat, predikat G(x) berarti x genap, dan kalimat 'ada x (G(x) dan x>5)'. Jika interpretasi memberikan nilai kebenaran untuk x=4, x=6, dan x=8, maka kalimat tersebut bernilai?
Untuk x=6, G(6) benar dan 6>5 benar, sehingga konjungsi benar. Dengan demikian ada x yang memenuhi, jadi kalimat bernilai benar.
Dalam logika predikat, jika kalimat 'untuk semua x (P(x) atau Q(x))' dengan domain {1,2} dan P(1)=benar, P(2)=salah, Q(1)=salah, Q(2)=benar, maka nilai kalimat adalah?
Untuk x=1: P(1) atau Q(1) = benar atau salah = benar. Untuk x=2: P(2) atau Q(2) = salah atau benar = benar. Semua x menghasilkan benar, sehingga kalimat benar.
Jika domain adalah {a,b} dan predikat R(x) berarti x merah, dengan R(a)=benar, R(b)=salah, maka nilai kalimat 'ada x (R(x))' adalah?
Karena R(a) benar, maka ada x yang memenuhi R(x), sehingga kalimat bernilai benar.
Pada kalimat 'untuk semua x (P(x) -> Q(x))', jika terdapat suatu elemen a dalam domain dengan P(a)=benar dan Q(a)=salah, maka nilai kalimat tersebut adalah?
Implikasi P(a)->Q(a) = benar -> salah = salah. Karena ada satu x yang membuat implikasi salah, maka kalimat universal bernilai salah.
Interpretasi yang diperluas dalam logika predikat adalah interpretasi yang mencakup?
Interpretasi yang diperluas mencakup domain, predikat, dan fungsi, sehingga lebih lengkap dalam memetakan simbol logika.
Dalam interpretasi yang diperluas, jika terdapat fungsi f(x)=x+1 pada domain bilangan bulat, dan predikat P(x) berarti x genap, maka nilai kalimat 'ada x (P(f(x)))' dengan x=1 adalah?
f(1)=2, P(2) berarti 2 genap, benar. Tetapi kalimat 'ada x (P(f(x)))' perlu diperiksa untuk semua x. Untuk x=1, P(f(1))=P(2)=benar, sehingga kalimat benar secara keseluruhan. Namun karena pertanyaan spesifik untuk x=1, tetapi kalimat eksistensial bernilai benar. Perbaikan: seharusnya kalimat 'untuk semua x (P(f(x)))' baru salah. Karena pertanyaan kurang tepat, asumsi yang dimaksud adalah pemeriksaan nilai. Jawaban yang benar adalah A karena untuk x=1 menghasilkan benar, tetapi karena kalimat eksistensial, jika ada satu benar maka kalimat benar. Namun opsi yang tepat: nilai kalimat 'ada x (P(f(x)))' adalah benar, sehingga jawaban B. Saya perbaiki: jawaban B.
Dalam interpretasi yang diperluas, jika domain adalah {1,2}, fungsi g(x)=x^2, dan predikat Q(x) berarti x>0, maka nilai kalimat 'untuk semua x (Q(g(x)))' adalah?
Untuk x=1: g(1)=1, Q(1) berarti 1>0 benar. Untuk x=2: g(2)=4, Q(4) berarti 4>0 benar. Semua x memenuhi, sehingga kalimat bernilai benar.
Dalam interpretasi yang diperluas pada logika predikat, jika I adalah suatu interpretasi dan S adalah suatu urutan (sequence) yang mendefinisikan nilai variabel, maka interpretasi yang diperluas I' (omega) untuk formula A dengan variabel x didefinisikan sebagai I' yang sama dengan I, kecuali untuk variabel x yang nilainya diganti dengan…
Interpretasi yang diperluas memperbolehkan perubahan nilai variabel tertentu sesuai urutan S, sehingga untuk variabel x nilai I' diganti dengan nilai S pada x.
Diberikan interpretasi I dengan domain D = {1,2} dan predikat P(x) diartikan sebagai 'x adalah bilangan genap'. Jika urutan S memberikan nilai x = 1, maka dalam interpretasi yang diperluas I', nilai kebenaran dari P(x) adalah…
Dengan x=1 dan P(x) berarti '1 adalah bilangan genap' yang bernilai salah, karena 1 bukan genap.
Suatu kalimat logika predikat dikatakan valid jika dan hanya jika kalimat tersebut bernilai benar pada…
Validitas kalimat logika predikat mensyaratkan kalimat tersebut benar pada semua interpretasi dan semua urutan (sequence).
Perhatikan kalimat: (untuk semua x) P(x) atau (ada x) bukan P(x). Kalimat tersebut bersifat…
Kalimat tersebut adalah tautologi: untuk setiap x, P(x) benar atau ada x yang tidak memenuhi P(x), yang selalu benar secara logika.
Jika suatu kalimat A tidak valid, maka negasi dari A, yaitu bukan A, bersifat…
Jika A tidak valid, ada interpretasi yang membuat A salah, sehingga bukan A benar pada interpretasi tersebut, maka bukan A satisfiable.
Manakah di antara kalimat berikut yang merupakan kalimat valid?
Jika semua x memiliki sifat P, maka pasti ada x yang memiliki P, sehingga implikasi tersebut selalu benar.
Diberikan kalimat: (untuk semua x) (P(x) atau Q(x)). Agar kalimat tersebut valid, syarat yang harus dipenuhi adalah…
Validitas mensyaratkan untuk setiap objek dalam domain, (P(x) atau Q(x)) bernilai benar, artinya setiap objek memenuhi salah satu atau keduanya.
Dalam logika predikat, konsep tambahan yang menyatakan bahwa suatu variabel muncul dalam lingkup kuantor disebut…
Variabel terikat adalah variabel yang berada dalam lingkup kuantor (untuk semua atau ada), berbeda dengan variabel bebas.
Jika dalam kalimat (untuk semua x) (P(x) dan Q(y)), variabel y disebut sebagai variabel…
Variabel y tidak berada dalam lingkup kuantor (untuk semua x), sehingga y adalah variabel bebas.
Suatu kalimat logika predikat disebut kalimat tertutup jika…
Kalimat tertutup adalah kalimat yang tidak mengandung variabel bebas; semua variabelnya terikat oleh kuantor.
Diberikan kalimat: (ada x) P(x) dan Q(x). Dalam kalimat tersebut, variabel x pada predikat Q(x) termasuk…
Kuantor (ada x) mengikat semua kemunculan x dalam lingkupnya, sehingga x pada Q(x) juga terikat.
Jika suatu kalimat memiliki variabel bebas, maka nilai kebenaran kalimat tersebut bergantung pada…
Variabel bebas memerlukan urutan (sequence) untuk memberikan nilai, sehingga kebenaran tergantung pada interpretasi dan urutan.
Dua interpretasi I dan J dikatakan setuju (agree) pada suatu kalimat A jika…
Agreement (kesepakatan) berarti interpretasi-interpretasi tersebut menghasilkan nilai kebenaran yang identik untuk kalimat yang ditinjau.
Jika I dan J adalah dua interpretasi yang berbeda dalam domain tetapi setuju pada semua kalimat atomik, maka keduanya akan setuju pada…
Kesepakatan pada kalimat atomik menjamin kesepakatan pada semua kalimat kompleks karena nilai kebenaran diturunkan secara rekursif.
Dalam konsep agreement, jika dua interpretasi I dan J memiliki domain yang sama dan memberikan arti yang sama untuk setiap simbol predikat dan fungsi, maka keduanya disebut…
Jika domain dan arti simbol sama, maka interpretasi identik sehingga setuju pada semua kalimat.
Jika dua interpretasi setuju pada suatu kalimat A, tetapi tidak setuju pada kalimat B, maka dapat disimpulkan bahwa…
Kesepakatan pada A dan ketidaksepakatan pada B tidak memberikan hubungan logis langsung antara A dan B; keduanya independen.
Dua interpretasi I dan J dikatakan agreement pada suatu himpunan simbol predikat P jika untuk setiap simbol predikat p dalam P, nilai I(p) sama dengan J(p). Pernyataan yang benar tentang agreement adalah:
Agreement pada himpunan simbol predikat P memastikan bahwa untuk setiap kalimat yang hanya menggunakan simbol predikat dalam P, interpretasi I dan J memberikan nilai kebenaran yang sama, meskipun mungkin berbeda pada simbol lain.
Jika I dan J adalah dua interpretasi yang agreement pada himpunan simbol predikat P dan juga agreement pada semua simbol fungsi yang muncul dalam kalimat F, maka pernyataan berikut yang benar adalah:
Jika I dan J agreement pada simbol predikat P dan simbol fungsi dalam F, maka untuk setiap kalimat F yang menggunakan simbol-simbol tersebut, nilai F pada I dan J adalah sama karena semua komponen yang mempengaruhi nilai kalimat telah disepakati.
Misalkan I dan J adalah interpretasi yang agreement pada himpunan simbol predikat P = {p, q}. Jika I(p) = {1, 2} dan J(p) = {2, 1}, maka pernyataan yang benar adalah:
Agreement pada simbol predikat didasarkan pada kesamaan himpunan nilai, bukan urutan, sehingga I dan J dianggap agreement pada P karena {1,2} sama dengan {2,1}.
Dalam logika predikat, closure universal dari kalimat F dengan variabel x ditulis sebagai ∀x F. Pernyataan yang benar tentang closure universal adalah:
Closure universal dari F adalah kalimat yang menambahkan kuantor universal untuk semua variabel bebas dalam F, sehingga tidak ada variabel bebas yang tersisa dan kalimat menjadi tertutup.
Closure eksistensial dari kalimat F dengan variabel bebas x ditulis sebagai ∃x F. Manakah pernyataan yang benar?
Closure eksistensial dari F adalah kalimat yang menambahkan kuantor eksistensial untuk setiap variabel bebas dalam F, sehingga variabel-variabel tersebut menjadi terikat dan kalimat menjadi tertutup.
Jika sebuah kalimat F memiliki variabel bebas x dan y, maka closure universal dari F adalah:
Closure universal mengikat semua variabel bebas dalam F dengan kuantor universal. Karena F memiliki dua variabel bebas x dan y, maka closure universalnya adalah ∀x ∀y F.
Jika F adalah kalimat yang sudah tertutup (tidak memiliki variabel bebas), maka closure universal dari F adalah:
Jika F sudah tertutup dan tidak memiliki variabel bebas, maka closure universal dari F adalah F itu sendiri, karena tidak ada variabel yang perlu diikat.
Misalkan F adalah kalimat ∃x P(x) dan G adalah kalimat ∀x P(x). Pernyataan yang benar tentang sifat-sifat closure adalah:
Jika ∀x P(x) valid, artinya P(x) benar untuk semua x, maka pasti ∃x P(x) juga benar karena ada setidaknya satu x yang memenuhi. Sebaliknya, validitas ∃x P(x) tidak menjamin ∀x P(x) valid.
Instance kalimat valid F adalah kalimat yang diperoleh dengan mensubstitusi semua simbol predikat dalam F dengan kalimat tertentu. Jika F adalah kalimat valid, maka:
Jika F adalah kalimat valid, maka setiap instance yang diperoleh dengan substitusi simbol predikat dengan kalimat tertentu juga valid, karena validitas dipertahankan di bawah substitusi seragam.
Validitas dengan syarat tambahan terjadi jika suatu kalimat F valid asalkan dipenuhi syarat tertentu. Contoh yang tepat adalah:
Kalimat ∀x P(x) → ∃x P(x) baru valid jika domain tidak kosong karena untuk menyimpulkan ∃x P(x) dari ∀x P(x), harus ada setidaknya satu elemen dalam domain.
Sifat closure universal menyatakan bahwa jika F adalah kalimat dengan variabel bebas x, maka:
Sifat closure universal berarti ∀x F bernilai benar jika dan hanya jika untuk setiap elemen x dalam domain, F bernilai benar. Ini adalah definisi dasar kuantor universal.
Dalam substitusi kalimat logika predikat, jika kita mengganti variabel x dengan term t dalam kalimat F, maka hasilnya disebut:
Substitusi variabel x dengan term t dalam kalimat F menghasilkan instance dari F. Ini adalah proses mengganti variabel bebas dengan term tertentu.
Renaming dalam logika predikat adalah proses mengganti nama variabel terikat. Tujuan renaming adalah untuk:
Renaming dilakukan untuk menghindari capturing, yaitu situasi di mana variabel bebas menjadi terikat secara tidak sengaja saat substitusi karena adanya kuantor dengan nama variabel yang sama.
Capturing terjadi ketika dalam substitusi, variabel bebas dalam term t menjadi terikat oleh kuantor dalam kalimat. Contoh capturing adalah:
Capturing terjadi ketika variabel dalam term t (y) menjadi terikat oleh kuantor yang sudah ada. Dalam opsi C, setelah substitusi x dengan y, y menjadi terikat oleh ∀y, sehingga terjadi capturing.
Value property dalam logika predikat mengacu pada:
Value property adalah properti yang menyatakan nilai kebenaran suatu kalimat pada suatu interpretasi. Ini adalah konsep dasar dalam semantik logika predikat.
Total value dari suatu kalimat F pada interpretasi I adalah:
Total value dari kalimat F pada interpretasi I adalah nilai kebenaran yang diperoleh setelah semua variabel bebas dalam F diberi nilai dari domain sesuai dengan interpretasi I.
Daftar kebenaran dan pohon semantik sering jadi batu sandungan di UAS Logika Informatika. Banyak yang hafal truth table untuk proposisi sederhana, tapi begitu ketemu tabel dengan tiga variabel atau lebih langsung bingung narik kesimpulan validitasnya. Belum lagi proof by falsification yang ngetes pemahaman logis kamu secara langsung. Kalau masih ragu bedain mana kalimat yang valid, contingent, sama contradiction, lebih baik ulang lagi Modul 3 sampai benar-benar paham.
Konsep closure dan agreement di modul delapan itu jarang banget keluar di soal UTM, tapi hampir pasti muncul di soal UO. Di MSIM4103 Logika Informatika, bagian ini sering jadi pembeda karena butuh nalar bukan sekadar hafalan aturan sintaktik. Kamu bisa coba latihan soal tipe UO dengan substitusi multi untuk melihat sejauh mana kamu paham kalau variabelnya ke-capture. Kalau udah lancar di situ, soal UAS UT lain rasanya lebih ringan. Good luck ya, ada soal UAS Universitas Terbuka lain yang bisa kamu coba.
