UNIVERSITAS ISLAM INDONESIA

FAKULTAS TEKNOLOGI INDUSTRI

JURUSAN TEKNIK INFORMATIKA
WORKSHEET LOGIKA MATEMATIKA
TAHUN AKADEMIK 2013/2014
---------------------------------------------------------------------------------------------------MATERI: TAUTOLOGI

NIM:
NAMA:
KELAS:

Petunjuk Pengerjaan:
Kerjakanlah soal-soal berikut pada worksheet ini!
Worksheet dikumpulkan sesuai hari kuliah di bagian Perkuliahan dengan ketentuan:
Kelas pukul 09.30 dapat mengumpulkan paling lambat pukul 13.00 wib.
Kelas pukul 12.30 dapat mengumpulkan paling lambat pukul 16.00 wib.
PART 1. TAUTOLOGI
1. Buatlah tabel kebenarannya!
}

(A B) (C (B C))

(A A)

(A B) B

A (B A)

((A B) (B C)) (A C)

2. Buatlah menjadi ekspresi logika dan buat tabel kebenarannya! 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.
Contoh: Premis 1. Premis 2. Dengan demikian, kesimpulan. Maka ekspresi logikanya
adalah Premis 1 Premis 2 Kesimpulan
}

Jika Tono pergi kuliah, maka Tini juga pergi kuliah. Jika Siska tidur, maka Tini
pergi kuliah. Dengan demikian, jika Tono pergi kuliah atau Siska tidur, maka
Tini pergi kuliah

Semua contoh di atas memiliki sebuah karakteristik yang sama, bisakah Anda
menyimpulkan karakteristik tersebut? Ekspresi logika dengan karakteristik tersebut
disebut sebagai apa?
PART 2. KONTRADIKSI
1. Buatlah tabel kebenarannya!
}

((A B) A) B

UNIVERSITAS ISLAM INDONESIA

FAKULTAS TEKNOLOGI INDUSTRI
JURUSAN TEKNIK INFORMATIKA
WORKSHEET LOGIKA MATEMATIKA
TAHUN AKADEMIK 2013/2014
----------------------------------------------------------------------------------------------------

(A A)

(A (B C)) ((A B) (A C))

Semua contoh di atas memiliki sebuah karakteristik yang sama, bisakah Anda
menyimpulkan karakteristik tersebut? Ekspresi logika dengan karakteristik tersebut
disebut sebagai apa?
PART 3. CONTINGENT
1. Buatlah tabel kebenarannya!
}

((A B) C) A

((A B) (B C)) (C A)

((A

(B (A B)) A

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

Semua contoh di atas memiliki sebuah karakteristik yang sama, bisakah Anda
menyimpulkan karakteristik tersebut? Ekspresi logika dengan karakteristik tersebut
disebut sebagai apa?