MSIM4103-3

NASKAH TUGAS MATA KULIAH

UNIVERSITAS TERBUKA
SEMESTER: 2022/23.2 (2023.1)

Fakultas : FST/Fakultas Sains dan Teknologi

Kode/Nama MK : MSIM4103/Logika Informatika
Tugas :1

No. Soal
1. Jelaskan bahwa:

F: if (P and Q) then not(Q and true) else (P and S)

adalah kalimat dalam bahasa logika proposisional.

2. Buat kalimat dalam bahasa logika proposisional yang memuat 3 simbol proposisional P, Q, R, satu simbol
kebenaran true dan menggunakan konektif-konektif proposisional: not, or, if-then, dan if-and-only-if.

3. Diketahui kalimat:

E: (if P then Q) and (if Q then not R) if and only if (if P then not Q)

Selidiki apakah interpretasi I = {R ← false, S ← true, P ← false} merupakan interpretasi untuk kalimat E.

4. Tentukan urutan penerapan (penggunaan) aturan semantik untuk menentukan nilai dari kalimat logika
proposisional:

F: (if (P or Q) then (R and S)) if and only if (((if P then (R and S)) or (if Q then (R and S)))

5. Diketahui suatu interpretasi I = {P ← true, Q ← false, R ← true, S ← false} untuk suatu kalimat logika
proposisional:

E: if (P or Q) then (if Q then (R and S) else not (R and S)

Definisikan suatu perluasan terhadap interpretasi I, misalnya hasil perluasan interpretasi adalah J. Tentukan
definisi untuk interpretasi J.

Buat pohon keputusan untuk suatu kalimat logika proposisional:

6.
E: if (P and not Q) then ((not (Q or R)) or (not Q and R))

Tentukan sifat atau sifat-sifat (mungkin lebih dari satu) dari kalimat logika proposisional:
7.
G: (if not P then (Q or P)) if and only if (if (not(Q or R) then Q else not R)

berdasarkan nilai-nilai di bawah (under) semua interpretasi untuk G.

1 dari 1