TUGAS LATIHAN BAB IV HALAMAN 36 DIKTAT LOGIKA MATEMATIKA

1. Ubahlah pernyataan-pernyataan berikut menjadi proposisi majemuk :

a. b.

Jika pencuri itu waspada dan bergerak cepat, maka polisi atau warga itu tidak mampu menangkapnya. Ani membeli buah atau sayur untuk masakannya, atau dia dapat membeli rempah dapur di pasar dan membeli alat masak.

2. Beri tanda kurung pada ekspresi berikut agar tidak ambigu.

a.

A V B C ~D

b. ~A V B ~C D

3. Jika nilai A dan B adalah T, sedangkan C dan D adalah F, carilah nilai kebenaran ekspresi logika berikut :

a.

A(BVC)

b. { ( A V B ) C } V ~{ ( A V B ) ( B V D ) } c. { ~( A B ) V ~C } V { ( ( ( ~A B ) V ~D ) C }

JAWABAN 1. Ubahlah pernyataan-pernyataan berikut menjadi proposisi majemuk :

a. Diubah menjadi variabel proposional A=Pencuri itu waspada B=Pencuri itu bergerak cepat C=Polisi tidak mampu menangkapnya D=Warga tidak mampu menangkapnya Ekspresi logikanya adalah : { (A B ) ( B V D ) } b. Diubah menjadi variabel proposional A=Ani membeli buah untuk masakannya. B=Ani membeli sayur untuk masakannya. C=Ani membeli rempah dapur.

D=Ani membeli alat masak. Ekspresi logikanya adalah : { ( A V B ) V ( C D ) }

2. Beri tanda kurung pada ekspresi berikut agar tidak ambigu.

a. { ( A V B ) C ~D } b. { ( ~A V B ) (~C D ) }

3. Jika nilai A dan B adalah T, sedangkan C dan D adalah F, carilah nilai kebenaran ekspresi logika berikut :

a. = B ( B V S ) =BB = B ( proposisi nya bernilai benar )

b. = { ( B V B ) S } V ~ { ( B V B ) ( B V S ) } = { ( B ) S } V ~{ ( B ) ( B ) } = S V ~( B ) =SVS = S ( proposisinya bernilai salah )

c. = { ~( B B ) V ~S ) V { ( ( ~B B ) V ~S ) S } = {~ (B) V ~S ) V { ( ( S B ) V B ) S } = ( S V B ) V { ( (S) V B ) S } = B V { (B) S } =BVS = B ( proposisinya bernilai benar )

TUGAS LATIHAN BAB V HALAMAN 45 DAN 46 DIKTAT LOGIKA MATEMATIKA

1. Buktikan bahwa proposisi berikut TAUTOLOGI !

a.

{ ( p V q ) r } { ( p r ) ( q r) }

b. { p ( q r ) } { ( p q ) ( p r ) } c. { ( p q ) r } { ( p ~r ) ~q }

d. { ( p q ) r } { ( p r ) V ( q r ) } e. ( p r ) { ( p q ) r } { p ( q r ) } ( p q)

a. { ( p V q ) r } { ( p r ) ( q r) }

pV q B B B B B B S S

( pVq ) r

( pr ) B S B S B B B B

( qr ) B S B B B S B B

(pr)(q r) B S B S B S B B

{( p V q ) r } {(p r) (q r)} B B B B B B B B

B B B B S S S S

B B S S B B S S

B S B S B S B S

B S B S B S B B

Terbukti bahwa proposisi tersebut adalah TAUTOLOGI

b. { p ( q r ) } { ( p q ) ( p r ) }

q r

p (q r)

(pq )

( pr )

(pq)(p r)

{p(q r)}{(p q) (p r)} B B B B B B B B

B B B B S S S S

B B S S B B S S

B S B S B S B S

B S S S B S S S

B S S S B B B B

B B S S B B B B

B S B S B B B B

B S S S B B B B

Terbukti bahwa proposisi tersebut adalah TAUTOLOGI

c. { ( p q ) r } { ( p ~r ) ~q } p q r p (pq) ~r (p~ ~q ( p ~r ) {(pq)r}

q B B B B S S S S B B S S B B S S B S B S B S B S B B S S S S S S

r B S B B B B B B S B S B S B S B

r) S B S B S S S S S S B B S S B B

~q B S B B B B B B

{ ( p ~r ) ~q } B B B B B B B B

Terbukti bahwa proposisi tersebut adalah TAUTOLOGI d. { ( p q ) r } { ( p r ) V ( q r ) }

p q B B S S S S S S

(pq) r B S B B B B B B

(pr)

(qr)

(pr)V(q r) B S B B B B B B

{(pq)r}{(p r)V(qr)} B B B B B B B B

B B B B S S S S

B B S S B B S S

B S B S B S B S

B S B S B B B B

B S B B B S B B

Terbukti bahwa proposisi tersebut adalah TAUTOLOGI

e. ( p r ) { ( p q ) r } { p ( q r ) } ( p q)

(pr)

pq

(pq)

(pr)

p(qr)

(pq

{p(qr)

(pr){(p

{(pq) r} B B B B B B B B

}(pq)

q)r}{p( qr)}(p q) B B B B B B B B

B B B B S S S S

B B S S B B S S

B S B S B S B S

B S B S B B B B

B B S S S S S S

B S B B B B B B

B S S S B S S S

B S S S B B B B

B B S S B B B B

B B B B B B B B

Terbukti bahwa proposisi tersebut adalah TAUTOLOGI

TUGAS LATIHAN BAB VI HALAMAN 49 DAN 50 DIKTAT LOGIKA MATEMATIKA

Buktikan kebenaran pernyataan dari ekspresi-ekspresi logika berikut :

1. ( A B ) V ( A ~B ) A 2. ~( A B ) ~A V ~B

3. A B ( A B ) ( B A ) 4. Jika Badu rajin bekerja, maka ia di sayang ibu. Jika badu di sayang ibu, makaia di sayang nenek. Badu tidak disayang nenek. Dengan demikian Badu tidak rajin bekerja. 5. Jika laut pasang, maka tiang dermaga tenggelam. Tentukan pernyataan-pernyataan di bawah ini yang ekuivalen dengan pernyataan tersebut. a. Jika laut surut, maka tiang dermaga tidak tenggelam. b. Jika laut pasang, maka tiang dermaga tidak tampak. c. Jika tiang dermaga tampak, maka laut tidak pasang. d. Jika laut tidak pasang, maka tiang dermaga tidak tampak. e. Jika laut tidak pasang, maka tiang dermaga tampak. 6. Buktikan hukum-hukum logika yakni : a. Silogisme Hipotesis b. Silogisme Disjungsif c. Modus Ponens d. Modus Tollens Adalah ekuivalen dengan 1 atau Tautologi.

JAWABAN 1. ( A B ) V ( A ~B ) A

A B B S S

B B S B S

A B B S S S

~B S B S B

A ~B S B S S

(AB)V(A ~B ) B B S S BERNILAI EKUIVALEN

2. ~( A B ) ~A V ~B

A B B S S

B B S B S

AB B S S S

~( A B) S B B B

~A S S B B

~B S B S B

~A V ~B S B B B BERNILAI

EKUIVALEN

3. A B ( A B ) ( B A )

AB

A B)

B A

(AB)(B A)

10

B B S S

B S B S

B S S B

B S B B

B B S B

B S S B BERNILAI

EKUIVALEN

4. Diubah menjadi variabel proposional A = Badu rajin bekerja. B = Badu disayang Ibu. C = Badu disayang Nenek. Ekspresi logikanya adalah = ( A B ) ( B C ) ~( B C )

5. Diubah menjadi variabel proposional. A = Laut pasang B = Tiang Dermaga tenggelam/tidak tampak ~A = Laut surut/tidak pasang ~B = Tiang dermaga tampak

Jika laut pasang, maka tiang dermaga tenggelam =AB

Ekspresi logika dari soal adalah A = ~A B B = A B ( ekuivalen ) dengan soal.

11

C = ~B ~A D = ~A B E = ~A ~B

6. (1) = Tautologi berdasarkan { ( p q) ( q r ) } ( p r ).

p q B B S S B B B B

qr B S B B B S B B

(pq) (qr) B S S S B S B B

pr B S B S B B B B

{ ( p q) ( q r ) } (pr) B B B B B B B B

B B B B S S S S

B B S S B B S S

B S B S B S B S

(2) = Tautologi berdasarkan { ( p V q ) ~q } p. p B B B B S S S S q B B S S B B S S r B S B S B S B S ~q S S B B S S B B pVq B B B B B B S S (pVq) ~q S S B B S S S S { ( p V q ) ~q } p B B B B B B B B

12

(3) = Menyatakan bahwa jika hipotesis p dan pada implikasi p q benar, maka konklusi q benar

(4) = Tautologi berdasarkan { ~q ( p q ) } ~q.

p B B B B S S S S

q B B S S B B S S

r B S B S B S B S

~q S S B B S S B B

p q B B S S B B B B

~q ( p q ) S S S S S S B B

{ ~q ( p q ) } ~q B B B B B B B B

13