SOAL-SOAL TUGAS MATA KULIAH TOPIK PROGRAM STUDI KELAS : LOGIKA : LOGIKA PROPOSISIONAL : PENDIDIKAN TEKNIK INFORMATIKA :E&F

PETUNJUK: 1. Tugas ini adalah sebagai pengganti kuliah hari Selasa 19 Oktober dan Rabu 20 Oktober 2. Penyelesaian dikerjakan pada kertas Folio bergaris, ditulis dengan rapi 3. Tugas ini dikumpulkan hari Selasa tanggal 19 Oktober 2010 untuk kelas F dan hari Rabu tanggal 20 oktober 2010 untuk kelas E 4. Bila tugas ini telah dikumpulkan, anda berhak untuk menanda-tangani presensi kehadiran (bisa dilakukan pada pertemuan berikutnya) SOAL: 1. Berikan tanda kurung agar pernyataan berikut ini tidak ambigu: a. PQRP (P Q) R P b. P Q R R (PQ) RR (P Q) R P P Q (RP) ((P Q) ) ((R) P) R P Q R ((R P) (( Q) ( R))) ((P Q ) R) P (( P Q) R) R (P Q) (R P) (R P) (Q R)

c.

d.

e. f. g. h. 2.

Tunjukan bahwa pernyataan (P Q) (P Q) Q adalah sebuah Tautology. Kemudian gunakan skema A = P dan B = Q , dan gunakan skema ini untuk membuktikan ekspresi logika berikut: (P Q) (P Q) Q

P T T F F

Q T F T F

P F F T T

PQ T F T T

P Q T T T F

(P Q) (P Q) T F T F

(P Q) (P Q) Q T T T T

A B

A B

(A B) (A B)

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

T T F F

T F T F

F F T T F T T T T F F F T T F T (A B) (A B) B

T T T T

T T F T

3.

Tunjukkan bahwa ekspresi-ekspresi logika berikut ini ekivalen: a. (A False) (A A) A b. (A B) (A B C) A (B C) c. (( A B) B) False Tentukan mana arti ekspresi-ekspresi berikut ini yang termasuk tautology, contradiction atau contingency. a. A (B C).......................cont A B C BC A (B C) T T T T F F F F T T F F T T F F T F T F T F T F T F T T T F T T T F T T T T T T

4.

b. A A...........................tautlogy A A A A A T F T T

F a.

(B (A B)) A...........cont A B A B B (A B) (B (A B)) A T T F F T F T F T F T T T F T F T T F T

a. A T T T T F F F F B T T F F T T F F C T F T F T F T F

(A (B C)) ((A B) (A C))...............cont A B T T T T T T F F A C T T T T T F T F BC T F F F T F F F A (B C) T T T T T F F F (A (B C)) F F F F F T T T ((A B) (A C)) T T T T T F F F (A (B C)) ((A B) (A C)) F F F F F F F F