Latihan Soal Logika Kuantifikasi

(1)

NAMA : MUHAMMAD IRFA’ MAULANA

NIM : 222355201003

PRODI : TEKNIK INFORMATIKA

Latihan Soal 1

Lambangkan pernyataan-pernyataan dalam tabel dimana : Bx : x adalah seorang bintang film

Mx : x mempesona Tx : x terlatih dengan baik

No. SOAL JAWABAN

1 Beberapa bintang film mempesona dan terlatih

dengan baik (x) [Mx  Tx]

2 Beberapa bintang film mempesona hanya jika

terlatih dengan baik (x) [Mx  Tx]

3 Tidak ada bintang film yang mempesona kecuali

jika mereka terlatih dengan baik ~ (x) [Mx  Tx]

4 Beberapa bintang film terlatih dengan baik jika

mereka mempesona (x) [Tx  Mx]

Latihan Soal 2

(2)

Terjemahkan lambang-lambang dalam tabel dimana : Px : x adalah bilangan prima

Ex : x adalah bilangan genap Ax : x adalah bilangan ganjil Bxy: x habis membagi y

No. SOAL JAWABAN

1 (x) (B2x  Ex) Semua x habis membagi 2 jika x adalah bilangan genap

2 (x) (Ex  Bx6) Beberapa x adalah bilangan genap dan x habis membagi 6

3 x [Px  (y)(Ey  Bxy)] Semua x adalah bilangan prima jika beberapa y adalah bilangan genap dan x habis membagi y

4 x [Ax (y)(Py)  ~Bxy) ] Beberapa x adalah bilangan ganjil tidak habis membagi y jika semua y adalah bilangan prima

Latihan Soal 3

Tentukan nilai kebenaran dari kuantor dalam tabel dimana x dan y adalah bilangan real.

No. SOAL JAWABAN DAN ALASAN

1 xy (x² = y) Tidak benar, karena x dan y ∈R yang mempunyai range luas

2 x y (xy=0) Tidak benar, karena x dan y ∈R yang mempunyai range luas

3 xy[(x+y=2 )(2x-y=1)] Tidak benar, karena x dan y ∈R yang mempunyai range luas

4 x y[(x+2y=2 )(2x+4y=5)] Tidak benar, karena x dan y ∈R yang mempunyai range luas

(3)