Tugas GSLC

Matematika Diskrit

Kamis, 20 Oktober 2016

Nama Anggota Kelompok:

Febrian Sulistyono 2001602612
Nandhika Pratama Putra 2001609865
Syafrudin Irawan Wicaksono 2001602764
Syihabuddin Ahmad Satisma 2001608931
Yoshua Dwiputra Sihotang 2001608995
1. Buktikan validitas prpposi berikut:
a. Jika x genap x2 genap
b. Jika x2 genap x genap
c. Beda dua bilangan genap adalah genap
d. Buktikan untuk n integer berlaku bahwa
5n 1 habis dibagi 4

2. Buktikan validitas argument berikut:

a. 1. p v (q r) b. 1. p q
2. q v r 2. p r
3. p v q 3. ~r
pq p
3. Tunjukkan apakah kedua proposisi berpasangan berikut Logical Equivalent:
p (q v r) dengan ~(q v r) v p

4. Sederhanakan gate berikut:

 Jawaban:

1. a. x = 2n untuk suatu n
x2 = (2n)2 = 4n2
= 2(2n)2
Ambil m = 2n2 ,mR
2 2
Maka x = 2m x genap
Jadi, proposisi di atas BENAR bahwa jika x genap maka x2 genap

b. x2 genap maka x2 = 2n , n R
x = 2n , x tidak dapat disimpulkan genap atau ganjil
kontrapositif : jika x ganjil maka x2 ganjil
x ganjil x = 2n + 1 , n R
x2 = (2n + 1)2 = 4n2 + 4n + 1
= 2 (2n2 + 2n) + 1
Ambil m = 2n2 + 2n
Maka x2 = 2m + 1 x2 ganjil
Jadi, proposisi di atas BENAR bahwa jika x2 genap maka x genap

c. (2n + 2) 2n = 2 , n R
2 adalah bilangan genap
Jadi, proposisi di atas BENAR bahwa bila beda dua bilangan genap adalah genap

d. 1. Untuk n = 1;
51 1 = 4
4=4 (benar)
2. Untuk n = k+1;
5k+1 1 = 51 . 5k 1
= (4 + 1) . 5k 1
= 4 . 5k + (5k - 1)
4 . 5 dan 5 1 habis dibagi 4 maka 5k+1 1 habis dibagi 4
k k

Jadi, 5n 1 habis dibagi 4 BENAR untuk semua bilangan bulat positif n

2.
2. a.
p q r p v (q r) qvr pvq pq
B B B B B B B
B B S B B B B
B S B B B B S
S B B B B B S
B S S B S B S
S B S S B B S
S S B B B S B
S S S B S S B
 Argumen di atas TIDAK VALID

p q r pq pr ~r b.
B B B B B S
B B S B S B
B S B S B S
S B B B B S
B S S S S B
S B S B B B
S S B B B S
S S S B B B
Argumen di atas TIDAK VALID

p q r p (q v r) ~(q v r) v p 3.
B B B B B
B B S B B
B S B B B
S B B B dengan S
B S S S B
S B S B B
S S B B S
S S S B B
Tidak menunjukkan Logical Equivalent
4. (~(A B) v ~A) v (A v (~(~(A v C) B)))
(~(A B) v ~A) v (A v (A v C) v ~B) De Morgan
((~A v ~B) v ~A) v (A v (A v C)v ~B) De Morgan
((~A v ~A) v ~B) v ((A v A) v C v ~B) Asosiatif , Asosiatif
(~A v ~B) v (A v C v ~B) Idempoten , Idempoten
~A v A v ~B v ~B v C Asosiatif
T v ~B v C Komplemen , Idempoten
TvC Identitas
T Identitas