TUGAS 3

MSIM4103

LOGIKA INFORMATIKA

No Soal Skor
1. Terdapat interpretasi J atas domain D = {0, 1, 2, 3, 4, 5, 6}, sedemikian hingga {b  3,
y  6, z  0, f  fI(d1, d2, d3) = 2(d2 + d1) - d3 (mod 7), p  pI(d1, d2): (d1 + d2) <=
10d1, q  qI(d1, d2, d3): 3(d1 - d3) < 2(d2 + d1)}. Tentukan hasil perluasan interpretasi I 30
dengan mengubah nilai dari a, z, f dan q.

2. Perhatikan pernyataan berikut:

“Beberapa orang yang bekerja di Jakarta melakukan work from home tetapi beberapa
30
orang di kesehatan tidak melakukan work from home”
Dari pernyataan diatas buatlah sebuah formula kalimat!

3. Perhatikan kalimat berikut:

Saya menyukai basket atau voly. Jika saya menyukai basket, maka saya menyukai voly.
40
Apakah bisa dinyatakan bahwa “saya mencintai basket”? Buktikan validitas kalimat
tersebut menggunakan tabel kebenaran.