UNIVERSITAS ISLAM INDONESIA

FAKULTAS TEKNOLOGI INDUSTRI

JURUSAN TEKNIK INFORMATIKA
WORKSHEET LOGIKA MATEMATIKA
---------------------------------------------------------------------------------------------------MATERI: TABLO SEMANTIK UNTUK LOGIKA PREDIKAT

NIM:
NAMA:
KELAS:

Kerjakanlah soal-soal berikut pada worksheet ini.

1. Buktikan validitas ekspresi berikut dengan tablo semantic.
a) (x)A(x) (y)A(y)
b) (x)A(x) (y)A(y)
c) (x)(A(x) B(x)) (x)B(x)
d) (x)((A(x) B(x)) A(x))
e) (x)((A(x) B(x)) A(x))
f)

(x)(A(x) (A(x) B(x))

g) (x) (A(x) (-A(x) B(x))

2. Buktikan validitas argument berikut dengan tablo semantik! Petunjuk: Suatu kalimat
merupakan sebuah premis, ditandai dengan adanya titik. Adapun kesimpulan ditandai
dengan kata dengan demikian, Antar premis dihubungkan dengan tanda dan,
sedangkan kesimpulan dihubungkan dengan tanda maka. Universe of discourse
pernyataan ini adalah semua jenis buah-buahan.
Contoh: Premis 1. Premis 2. Dengan demikian, kesimpulan. Maka ekspresi logikanya
adalah Premis 1 Premis 2 Kesimpulan
a) Semua jenis buah enak dimakan jika ia tidak dimasak. Mangga ini tidak
dimasak. Dengan demikian, ia enak dimakan.
b) Semua jenis buah enak dimakan jika ia tidak dimasak. Mangga ini dimasak.
Dengan demikian, ia tidak enak dimakan.
c) Beberapa jenis buah enak dimakan jika ia tidak dimasak. Mangga ini dimasak.
Dengan demikian, ia tidak enak dimakan.
d) Beberapa jenis buah enak dimakan jika ia tidak dimasak. Mangga ini tidak
dimasak. Dengan demikian, ia enak dimakan.
3. Buktikan ekspresi berikut dengan tablo semantic.
a) (x)((A(x) B(x)) (A(x) C(x))

(x)(B(x) C(x))

UNIVERSITAS ISLAM INDONESIA

FAKULTAS TEKNOLOGI INDUSTRI
JURUSAN TEKNIK INFORMATIKA
WORKSHEET LOGIKA MATEMATIKA
----------------------------------------------------------------------------------------------------

b) (x) ((A(x) B(x)) (A(x) B(x)) (c(x) D(x)))

(x) (A(x)

D(x))
c) (x) ((A(x) (B(x) -C(x))) (B(x)) (A(x) C(x)))) (x) (A(x)

B(x) -D(x)) (x) (C(x) D(x))