KEMENTERIAN PENDIDIKAN, KEBUDAYAAN, RISET DAN TEKNOLOGI

UNIVERSITAS NEGERI PADANG

FAKULTAS TEKNIK
Departemen Teknik Elektronika
Alamat: Jl. Prof.DR. Hamka Air Tawar Padang 25131

UJIAN TENGAH SEMESTER

Program Studi : Informatika Mata Kuliah : TBA
Jenjang Program : S1 Lokal :
Sifat Ujian : Hari/Tanggal: 18/06/2023
Dosen : Iip Permana, S.T., M.T Waktu :

Petunjuk UAS:

1. Ujian bersifat open all

2. Waktu penggerjaan selama 90 menit
3. Kerjakan ujian dengan jujur
4. Dilarang keras plagiat dari teman dan internet, jika ditemukan nilai 0.

SELAMAT UJIAN

1. Buatlah sebuah formula proporsional logic versi anda sendiri yang terdiri
dari minimal 4 simbol (P, Q, R, S) dan minimal 3 operator (¬ , ∧ , ∨) dan
tentukan apakah formula proposional tersebut bersifat unsatisfiable
menggunakan tableaux semantic. (nilai 35).
2. Buatlah sebuah formula first order logic versi anda sendiri yang terdiri
dari minimal 2 kuantor (∀ dan ∃) dan minimal 3 operator (¬ ,→, →) dan
tentukan bentuk CNF dari formula tersebut. (nilai 35).
3. Buatlah sebuah pernyataan temporal logic versi anda sendiri, kemudian
formulasikan formula Logical temporal logic yang terdiri dari minimal 3
operator (○ , ◻ dan ♢) dan minimal 3 operator sintaksis (¬ , ∧ , ∨). (nilai
30)